Research Interests

SAT (Satisfiability), SAT Modulo Theories (SMT), Multi-Agent Systems, Computational Economics, Preference Elicitation, Applied Machine Learning, Decision Making under Uncertainty

I am widely interested in applying KR or OR techniques to interesting problems. I have been particularly interested in combining AI and game theoretic techniques to model and investigate real-world markets. My PhD research focused specifically on matching markets, such as labor markets (i.e., stable matching problems).

Download CV »


I currently work at Intel, focusing on applying KR techniques like SAT or SMT to interesting problems in FPGA design software.

At the University of Toronto I was co-advised by Allan Borodin and Kate Larson, and focused on computational economics and multi-agent systems problems. I received my Masters Spring 2013, advised by Craig Boutilier, at which point I began pursuing my PhD. My undergraduate research advisor at the University of Pittsburgh was Diane Litman.

View details »