Courses

• CSC347: Concepts of Programming Languages (Sp'24)

Past

• SE350: Object-Oriented Software Development (Wi'24)
• CSC447: Concepts of Programming Languages (Wi'24)

• CSC347: Concepts of Programming Languages (Fa'23)
• CSC447: Concepts of Programming Languages (Fa'23)

• 15-424/624/824: Logical Foundations of Cyber-Physical Systems (Fa'22)