Experience
Education
Bio
Research Interest Application of formal methods to the design, specification, and verification of general-purpose and special purpose programming languages and their implementation. Applications of process algebras and type systems to communication and security. Formal methods and software engineering support for formal specification and analysis of computer systems with human operators. Professional Experience January 2015 to Present: Research Professor and Senior Lecturer. Department of Computer Science, University of Illinois at Urbana-Champagne. August 2004 to January 2015: Research Associate Professor and Senior Lecturer. Department of Computer Science, University of Illinois at Urbana-Champaign. August 2000 to July 2004: Associate Professor, Department of Computer Science, New Jersey Institute of Technology. October 1996 to July 2000: Member of Technical Staff, Bell Laboratories, Lucent Technologies. April 1990 to September 1996: Member of Technical Staff, Bell Laboratories, AT&T. October 1987 to March 1990: Post-Doctoral Research Assistant, University of Pennsylvania. November 1986 to June 1987: Research Assistant, University of Cambridge Computer Laboratory.