Postdoctoral Associates
Ph.D. Students
Former Ph.D. Students
Courses
I teach in CMU's
Computer Science
undergraduate program, including courses associated with the
Software Engineering minor,
in our
Master of Software Engineering
program, and in our Ph.D. programs in
Software Engineering
and
Computer Science.
-
15-819O: Program Analysis
Spring 2013
-
15-214: Principles of Software System Construction,
Fall 2012
-
15-214: Principles of Software System Construction,
Spring 2012
-
15-214: Principles of Software System Construction,
Fall 2011
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2011 (with Eduardo Miranda)
- 15-413: Software Engineering Practicum, Spring 2010
-
15-313: Foundations of Software Engineering, Fall 2010 (with Bill Scherlis)
-
17-413: Software Engineering Reflection, Fall 2010
-
15-819M: Program Analysis, Spring 2010
-
15-413: Software Engineering Practicum, Spring 2010
-
15-313: Foundations of Software Engineering, Fall 2009 (with Bill Scherlis)
-
17-413: Software Engineering Reflection, Fall 2009
-
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2009
-
17-732: Emerging Programming Paradigms, Fall 2008
-
15-413: Software Engineering Practicum, Fall 2008
-
17-413: Software Engineering Reflection, Fall 2008
-
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2008
-
15-313: Foundations of Software Engineering, Spring 2008 (with Bill Scherlis)
-
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2007
-
15-313: Foundations of Software Engineering, Spring 2007 (with Bill Scherlis)
-
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2006
-
15-413: Introduction to Software Engineering, Fall 2005
-
17-898: Reading Seminar: Modeling Dynamic Software Architectures, Spring 2005
-
17-654/17-754: Analysis of Software Systems (MSE and Ph.D.), Spring 2005
-
15-819: Objects and Aspects: Language Support for Extensibility and Evolvability, Fall 2004
- 15-312: Foundations of Programming Languages, Fall 2003