Teaching

Spring 2018: I’m teaching two courses.  Both fulfill the first elective category in the undergraduate SE minor.

  • 17-355/17-665/17-819O, Program Analysis/Special Topics in PL: Program Analysis, with Jonathan AldrichWebsite here. For Spring 2018, this course also satisfies the Logic and Languages constrained elective category for the undergraduate CS major.
  • 17-356/17-766: Software Engineering for Startups, with Michael Hilton. Website here.

Fall 2017: 15-313 Foundations of Software Engineering (undergraduate), with Christian Kaestner. I am also a member of the core SE faculty and thus contribute to 17-808, Introduction to Software Engineering Research (and am its coordinator this Fall).

Spring 2017: 17-654, Analysis of Software Systems (with Jeff Gennari).

Fall 2016: 15-313 Foundations of Software Engineering (undergraduate), with Christian Kaestner. I am also a member of the core SE faculty and thus contribute to 17-808, Introduction to Software Engineering Research (and am its coordinator this Fall).

Spring 2016: 15-819 O: Special Topics in Programming Languages: Program Analysis (Graduate, undergraduate and Masters admitted with permission, email me explaining why you want to take it and why you think you’re qualified to do so).

Fall 2015: 15-313, Foundations of Software Engineering (undergraduate), with Christian Kaestner. I am also a member of the core SE faculty and thus contribute to 17-808, Introduction to Software Engineering Research (and coordinated this Fall).

Spring 2015/2014: 17-654, Analysis of Software Systems (with Eduardo Miranda).
Fall 2014: 15-313, Foundations of Software Engineering (with Christian Kaestner); 17-808, Introduction to Software Engineering Research.
Fall 2013: 17-808, Introduction to Software Engineering Research.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s