Courses

CS 15-312: Foundations of Programming Languages, Carnegie Mellon University (Qatar Campus), Spring 2007.
CS 15-212: Principles of Programming, Carnegie Mellon University (Qatar Campus), Spring 2007.

CS 15-212: Principles of Programming, Carnegie Mellon University (Qatar), Fall 2006.
ISA 767/INFS 667: Secure Electronic Commerce, George Mason University, Spring 2006.

Invited lecture [part 1, part 2, part 3] (3 hours), course on Internet Security Protocols (by Duminda Wijesekera), Department of Information and Software Engineering, George Mason University, Fairfax, VA 6 December 2005.

Invited lecture on Computer Security (4 hours), graduate course on Cryptography and Computer Security (by Philip Rogaway), Department of Computer Science, Chiang Mai University, Thailand, 13 July 2003.
Course on linear logic and security [lectures 1, 2, 3, 4, 5, 6, 7, 8] (6 hours), Summer School on Foundations of Security, Eugene, OR - USA, 15-26 June 2003.

Graduate Course on Computer Security [lectures 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10] (12 hours), Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, 3-7 December 2001.
Course on Security Protocol Specification Languages (4 hours), International School on Foundations of Security Analysis and Design - FOSAD'01, Bertinoro, Italy September 20-21 2001.

CS 359: Seminar on Linear Logic and Applications, Stanford University, Winter 1999.

Fall 1996: Teaching assistant of Fundamental Principles of Computer Science II (instructor Frank Pfenning), Carnegie Mellon University
Spring 1995: Co-organizer of the seminar on Linear Logic and Applications (instructor Frank Pfenning), Carnegie Mellon University
Fall 1991: Teaching assistant of Supercompilers (instructor ), University of Houston
Summer 1991: Teaching assistant of Distributed Databases (instructor Marek Rusinkiewicz), University of Houston

Last modified: Mon Jan 29, 07