I am currently a post-doc at IST Austria, working with Tom Henzinger. I obtained a PhD in Computer Science in May, 2013, at the Department of Computer Science, University of Toronto, Canada. My advisor was Fahiem Bacchus. Areas of Research Experience Combinatorial search and optimization, integer programming, constraint programming, model counting, computational social choice, hardware verification. Honors and Awards AAAI 2011 Outstanding Paper Award for “Complexity of and Algorithms for Borda Manipulation” National Sciences and Engineering Research Council of Canada (NSERC) Michael Smith Foreign Study Supplement, 2010 ($6000) NSERC Alexander Graham Bell Canada Graduate Scholarship, 2007–2010 ($35000/year) NSERC Postgraduate Scholarship, 2006–2007 ($17300)