Aleksey Nogin — Teaching

California Institute of Technology

• Fall 2005, Creator and instructor, undergraduate course Language-Based Security
• June 2004, Creator and Instructor, course Introduction into formal computer-aided reasoning and the MetaPRL theorem prover, North American Summer School in Logic, Language and Information (NASSLI) 2004 at UCLA.
• Winter 2004, Instructor, undergraduate/graduate course Programing Language Semantics
• September 2003, Co-organizer, tutorial Introduction to MetaPRL Theorem Prover given at the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003).
• Spring 2003, Creator and instructor, MetaPRL-based undergraduate/graduate course Type Theory and Formal Methods

Cornell University

• Spring 2002, TA, undergraduate course Structure and Interpretation of Computer Programs
• Fall 2000, Instructor, undergraduate course Introduction to Unix
• Spring 1998, TA, undergraduate course Structure and Interpretation of Computer Programs
• Fall 1997, TA, undergraduate course Introduction to Theory of Computing (Honors)

Back to the Home Page

Last update: Wednesday, October 26, 2005