Erik Zawadzki

I am advised by the following unordered pair: {Geoff Gordon, André Platzer}. Currents interests are:

• probabilistic logics
• spatial embeddings of logics
• lifted inference

I am a member of the Logical Systems Lab and the SELECT Lab

• Ph.D. in Computer Science from Carnegie Mellon University (2008 - )
• M.Sc. in Computer Science from the University of British Columbia; advised by Kevin Leyton-Brown (2007 - 2008)
• EPIC Intern, IBM Toronto (2004 - 2005)
• B.Sc. Honours in Computer Science from the University of British Columbia (2001 - 2006)

• An Instantiation-Based Theorem Prover for First-Order Programming E. Zawadzki, Geoffrey Gordon, Andre Platzer. AISTATS, April 2011.(Paper)
• Search Tree Restructuring E. Zawadzki, T. Sandholm. Technical Report, May 2010. (Paper)
• Empirically Evaluating Multiagent Learning Algorithms E. Zawadzki, A. Lipson, K. Leyton-Brown. Working Paper, November 2008. (Paper)
• Empirically testing decision making in TAC SCM, E. Zawadzki, K. Leyton-Brown. AAAI-07 Workshop on Trading Agent Design and Analysis (TADA-07), Vancouver, 2007. (Paper)
• Multiagent learning and empirical methods E. Zawadzki. Master's Thesis, 2008. (Thesis)

• Graduate Student Assembly Representative for Computer Science (2010 - )
• Student Volunteer for CS Open House (2009, 2010, 2011)
• Leader of DEC/5 (2009 - )
• Student Coordinator for CS Immigration Course (2009)
• Student Volunteer for Gwenn's Girls (2009)

CMU:

• 15-819/18-879L: Logical Analysis of Hybrid Systems (audit) with André Platzer
• 80-711: Proof Theory (audit) with Jeremy Avigad
• 15-740: Computer Architecture with Onur Multu
• 15-712: Advanced Operating Systems with Dave Andersen
• 15-750: Graduate Algorithms with Gary Miller
• 15-781: Machine Learning (audit) with Carlos Guestrin
• 15-892: Foundations of Electronic Marketplaces with Tuomas Sandholm
• 15-780: Graduate Artificial Intelligence with Tuomas Sandholm and Geoff Gordon
• 47-831: Advanced Integer Programming with Egon Balas
• 47-830: Integer Programming with Egon Balas
• 47-861: Convex Polytopes with Egon Balas
• 47-834: Linear Programming with Egon Balas
• 15-814: Type Systems for Programming Languages with Karl Crary

UBC:

• CPSC 536H: Empirical Algorithmics with Holger Hoos
• CPSC 517: Sparse Matrix Computation with Chen Greif
• CPSC 540: Machine Learning with Nando de Freitas
• CPSC 500: Fundementals of Algorithm Design and Analysis with Will Evans
• CPSC 546B: Topics in Numerical Optimization with Michael Friedlander
• ECON 522: Topics in Game Theory with Michael Peters
• CPSC 532A: Multiagent System with Kevin Leyton-Brown

• NSERC PGS M (2007-2008)
• UBC Undergraduate Scholarship Program (2001-2006)