Jonathan Aldrich - Teaching

Ph.D. Students

Kyle Liang
Luís Gomes (co-advised with Vincent Hellendoorn and Rui Abreu)
Ian McCormack (co-advised with Joshua Sunshine)
Catarina Gamboa (co-advised by Alcides Fonseca)
Hemant Gouni
Long Nguyen
Juli O'Connor
Mikail Khan (co-advised with Ben Titzer)

Ph.D. Graduates

Donna Malayeri (Google)
Neel Krishnaswami (co-advised with John Reynolds; Associate Professor, University of Cambridge)
Marwan Abi-Antoun (Motional)
Kevin Bierhoff (Google)
Nels Beckman (Google)
Ciera Jaspan (Google)
Thomas LaToza (co-advised with Brad Myers; Associate Professor, George Mason University)
Sven Stork (coadvised with Paulo Marques; Duolingo)
Joshua Sunshine (Assistant Professor, Carnegie Mellon University)
Filipe Militão (coadvised with Luís Caires; Feedzai)
Michael Maass (co-advised with William Scherlis; Motional)
Cyrus Omar (Assistant Professor, University of Michigan)
Ligia Nistor (Oracle)
Darya Melicher (Google)
Michael Coblenz (co-advised with Brad Myers; Assistant Professor, University of California, San Diego)
Jenna Wise DiVincenzo (co-advised with Joshua Sunshine; Assistant Professor, Purdue University)
Selva Samuel

Past Postdoctoral Associates

Rob Bocchino (JPL)
Stephanie Balzer (Assistant Professor, Carnegie Mellon University)
Du Li (Microsoft)

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.

17-214: Principles of Software System Construction, Spring 2024 (with Charlie Garrod and Jeremy Lacomis)
17-363: Programming Language Pragmatics, Fall 2023 (with Ben Titzer)
17-214: Principles of Software System Construction, Spring 2023 (with Bogdan Vasilescu)
17-363: Programming Language Pragmatics, Fall 2022
17-363: Programming Language Pragmatics, Fall 2021
17-355: Program Analysis, Spring 2021 (with Rohan Padhye)
15-400: Research Practicum in Computer Science, Spring 2021 (with Bogdan Vasilescu)
15-300: Research and Innovation in Computer Science, Fall 2020 (with Bogdan Vasilescu)
17-396/17-696/17-960: Language Design and Prototyping, Spring 2020
15-400: Research Practicum in Computer Science, Spring 2020 (with Bogdan Vasilescu)
15-300: Research and Innovation in Computer Science, Fall 2019 (with Bogdan Vasilescu)
17-355: Program Analysis, Spring 2019
15-400: Research Practicum in Computer Science, Spring 2019 (with Todd Mowry)
15-300: Research and Innovation in Computer Science, Fall 2018 (with Todd Mowry)
17-355: Program Analysis, Spring 2018
15-400: Research Practicum in Computer Science, Spring 2018 (with Todd Mowry)
15-300: Research and Innovation in Computer Science, Fall 2017 (with Todd Mowry)
17-355: Program Analysis, Spring 2017
15-400: Research Practicum in Computer Science, Spring 2017 (with Todd Mowry)
15-300: Research and Innovation in Computer Science, Fall 2016 (with Todd Mowry)
15-400: Research Practicum in Computer Science, Spring 2016 (with Todd Mowry)
15-214: Principles of Software System Construction, Fall 2015 (with Charlie Garrod)
15-214: Principles of Software System Construction, Fall 2014 (with Charlie Garrod)
15-413: Software Engineering Practicum Spring 2014
15-214: Principles of Software System Construction, Fall 2013 (with Charlie Garrod)
15-819O: Program Analysis Spring 2013
15-214: Principles of Software System Construction, Fall 2012 (with Charlie Garrod)
15-214: Principles of Software System Construction, Spring 2012 (with Bill Scherlis)
15-214: Principles of Software System Construction, Fall 2011

Spring 2011

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