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).
Bio
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.