Since August 2001, I am associate professor in the Department of Computing and Information Sciences at Kansas State University. From September 1997 to July 2001, I was assistant professor in the Department of Computer Science at the Stevens Institute of Technology. Here is New York: A Democracy of Photographs. Beware; Rhythm: A Story of Men in Macabre Movement; Ten stories the world should hear more about; Meet the Fakers

Research

• The Church Project.
• The SAnToS Laboratory.
• Dijkstra's three golden rules for successful scientific research.
• Publications.

Conferences and Seminars

• Co-organizer Dagstuhl Seminar on Language-Based Security, Schloss Dagstuhl, Germany, October 5-10, 2003.
• Departmental Seminars.
• New Jersey Programming Languages and Systems Seminar.
• New England Programming Languages and Systems Symposium.

Courses

• CIS 301: Logical Foundations of Programming, Fall 2001, Spring 2002.
• CIS 505: Programming Languages, Fall 2002, Spring 2003, Fall 2003, Spring 2004, Fall 2004, Spring 2005
• CIS 705: Programming Languages, Spring 2003
• CIS 890: Language-based Security, Fall 2003, Fall 2004
• CIS 905: Program Analysis, Spring 2005
• CIS 798: Cybersecurity, Fall 2005

Professional Activities

• Current/recent conferences: PASTE 2005 (PC), EAAI 2006 (PC), ESOP 2006 (PC)

The Miscellany

Schedule