Associate Professor of Computer Science
Joined department in 1999
Education:
BS, Computer Science
University of Geneva (1989)
MS, Computer Science
University of Victoria (1995)
PhD, Computer Science
University of Geneva (1999)
Professor Vitek works in foundations and implementation of programming languages and has an interest
in program analysis, real time systems, object-oriented software engineering, and information
security. He is leading the Open Virtual Machines project to develop a framework for configurable and
secure virtual machines for object-oriented languages. This research is being conducted in the Secure
Software Systems (S3) Lab founded in early 2000 by Professors Vitek, Hosking, and Palsberg.
Dr. Vitek was born in Czechoslovakia and educated in Switzerland. He authored over 30 papers and
edited books on mobile objects and secure Internet programming. He served on program committees for
international conferences such as PLDI, OOPSLA, ECOOP, POPL, ESOP, ICALP, and SACMAT.
Selected Publications
T. Zhao, J. Palsberg, J. Vitek, "Type-based Confinement", Journal of Functional Programming,
2006.
A. Armbuster, J. Baker, A. Cunei, C. Flack,D.Holmes,F.Pizlo, E. Pla, M. Prochazka, J. Vitek, "A
Real-Time Java Virtual Machine with Applications inAvionics", ACM Transactions on Embedded
Systems, 2006.
C. Andrea, Y. Coady, C. Gibbs, J. Noble, J. Vitek, T. Zhao, "Scoped Types and Aspects for Real-Time
Systems", Proceedings of the European Confrence on ObjectOriented Programming (ECOOP), 2006.
Funding Administered by Computer Science
Antonio Cunei and Suresh Jagannathan, CT-ER: Controlled Declassification with Software
Transactional Memory, National Science Foundation, 9/1/2007-8/31/2009.
Jan Vitek, 2008 Trends in Currency Summer School, Microsoft Corporation, 11/15/2007.
Jan Vitek, Assured Software Composition For Real-Time Systems, National Science Foundation,
9/15/2003-8/31/2008.
Jan Vitek, CSR/EHS: Aspectual Configuration of Real-time Embedded Middleware, National
Science Foundation, 9/1/2005-8/31/2008.
Jan Vitek, EHS: High-throughput Real-time Stream Processing in Java, National Science
Foundation, 9/1/2007-8/31/2010.
Jan Vitek, Purdue International Summer School Award, Intel Corporation, 11/15/2007.
Jan Vitek, Software Engineering, Microsoft Corporation, 1/15/2002.
Jan Vitek and Pascal Meunier, Develpoment of a Safe, Virtual Imaging Instrument for Logically
Destructive Experiments, National Science Foundation, 9/1/2004-8/31/2009.
Suresh Jagannathan and Jan Vitek, CSR/AES: Fault Determination and Recovery in Cycle-Sharing
Infrastructures, National Science Foundation, 4/1/2008-3/31/2009.
Suresh Jagannathan and Jan Vitek, CSR/AES: Fault Determination and Recovery in Cycle-Sharing
Infrastructures, National Science Foundation, 9/1/2005-8/31/2009.
Last Updated: June 13, 2008 04:23pm
