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. His research is being conducted in the Secure Software Systems (S3) Lab which he
Dr. Vitek was born in Czechoslovakia and educated in Switzerland. He authored over 100 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, RTSS and RTAS.
Proceedings of the Conference on Programming Language Design and Implementation (PLDI),
Wrigstad, Zappa Nardelli, Lebresne, Ostlund, Vitek, "Integrating Typed and Untyped Code in a
Scripting Language.", Proceedings of the Conference on Principles of Programming Languages
Pizlo, Blanton, Hosking, Maj, Vitek, Ziarek, "Schism: Fragmentation-Tolerant Real-Time Garbage
Collection", Proceedings of the Conference on Programming Language Design and Implementation
Jan Vitek, 2008 Trends in Currency Summer School, Microsoft Corporation, 11/15/2007.
Jan Vitek, CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale
Data Analytics, National Science Foundation, 7/1/2012-6/30/2015.
Jan Vitek, Microsoft SHARDS, Microsoft Corporation, 3/11/2010.
Jan Vitek, Mozilla STOP Workshop, Mozilla Corporation, 5/1/2010.
Jan Vitek, Oracle America, None, 8/8/2012.
Jan Vitek, Purdue International Summer School Award, Intel Corporation, 11/15/2007.
Jan Vitek, Software Engineering, Microsoft Corporation, 1/15/2002.
Jan Vitek and Olga Vitek, SI2-SSE: A Traccing Virtual Machine for Statistical Computing,
National Science Foundation, 9/15/2010-8/31/2013.
Jan Vitek, Ananth Y. Grama, and Suresh Jagannathan, CPS: Medium: Robust Distributed Wind Power
Engineering, National Science Foundation, 9/1/2011-8/31/2015.
Tony Hosking and Jan Vitek, ECOOP 2012 CONFERENCE, Assoc Internationale pour les Tech Objet,
Tony Hosking, Ananth Y. Grama, Jan Vitek, and Suresh Jagannathan, Microsoft: Language &
Runtime Support, Microsoft Corporation, 6/16/2008.