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
Jan Vitek, EHS: High-throughput Real-time Stream Processing in Java, National Science
Foundation, 9/1/2007-8/31/2010.
Jan Vitek, SHF: Small: Collaborative Research: Verifying and Validating Safety Critical
Java, National Science Foundation, 7/15/2009-6/30/2012.
Jan Vitek and Pascal Meunier, Develpoment of a Safe, Virtual Imaging Instrument for Logically
Destructive Experiments, National Science Foundation, 9/1/2004-8/31/2010.
Jan Vitek and Suresh Jagannathan, CPA-SEL-T: Collaborative Research: Unified Open Source
Transactional Infrastructure, National Science Foundation, 9/15/2008-8/31/2011.
Jan Vitek and Tony Hosking, CPA-CPL Certified Garbage Collection for Highly Responsive
Systems, National Science Foundation, 8/1/2008-7/31/2011.
Tony Hosking, Jan Vitek, Suresh Jagannathan, and Ananth Y. Grama, Microsoft: Language and Runtime
Support for Safe and Scalable Programs, Microsoft Corporation, 6/16/2008.
Last Updated: September 02, 2009 02:59pm
