Courses

Fall 2021

• 15-150 Principles of Functional Programming
• 15-312 Foundations of Programming Languages

Spring 2021

• 15-316 Software Foundations of Security and Privacy

Fall 2020

• 15-150 Principles of Functional Programming
• 15-295 Competition Programming and Problem Solving
• 15-317 Constructive Logic

Spring 2020

• 15-110 Principles of Computing
• 15-316 Software Foundations of Security and Privacy

Fall 2019

• 15-150 Principles of Functional Programming
• 15-295 Competition Programming and Problem Solving

Spring 2019

• 15-317: Constructive Logic
• 15-110: Principles of Computing

Fall 2018

• 15-150: Principles of Functional Programming
• 15-295: Competition Programming and Problem Solving

Spring 2018

• 15-110: Principles of Computing
• 15-312: Foundations of Programming Languages

Fall 2017

• 15-150: Principles of Functional Programming

Spring 2017

• 15-317: Constructive Logic