My primary research interests include functional programming languages, embedded domain-specific languages, type systems, and combinatorics, and ways that these topics can contribute to other areas of computer science. More broadly, running through all of my research are three major themes which shape and direct my efforts: • I am highly motivated by beauty in its many forms. I learn new things...

n modern culture, beauty reigns supreme. Everywhere we look—whether it's magazines, TV shows or movies—beautiful people dominate. We aspire to be beautiful and if we're not, we are intrigued by the possibility of becoming so. Witness the popularity of shows such as "Extreme Makeover" and "Dr. 90210." Our quest for beauty isn't a modern obsession. Philosophers and poets chronicle the importance ...

Those who are physically attractive reap many benefits—from higher average wages to a wider variety of mate choices. Recent studies have investigated what constitutes beauty and how beauty affects explicit social judgments, but little is known about the perceptual or cognitive processing that is affected by aesthetic judgments of faces and why beauty affects our behavior. In this study, the aut...

Performing fast and accurate methods for modeling the electrical machines has been the subject of several studies and many authors proposed different procedures to attain this aim. Beside the accuracy, the speed of the method is of great concern. On the other hand, the capability of the method to be changed according to the need is another important issue. Finite Element method provides relativ...

Although human preference for beauty is common and compelling in daily life, it remains unknown whether such preference is essentially subserved by social cognitive demands or natural tendency towards beauty encoded in the human mind intrinsically. Here we demonstrate experimentally that humans automatically exhibit preference for visual and moral beauty without explicit cognitive efforts. Usin...