My current research is in computational social choice, algorithmic game theory and other areas of artificial intelligence such as multi-agent systems and machine learning. My Ph.D. dissertation was one of the earliest in computational social choice. Here's a lovely video introducing computational social choice; my research is mostly concerned with strategyproofness. I also sometimes explore the areas of languages, compilers, game development, computer science education and theory of computation. I serve as a research partner with MedHab, a manufacturer of electronic medical devices. Selected publications:
Other resources: