Jan Vitek

Professor of Computer Science

Joined department: 1999
Education
BS, University of Geneva, Computer Science (1989)
MS, University of Victoria, Computer Science (1995)
PhD, University of Geneva, Computer Science (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. His research is being conducted in the Secure Software Systems (S3) Lab which he co-founded.

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.

Selected Publications
Richards, Lebresne, Burg, Vitek, "An Analysis of the Dynamic Behavior of JavaScript Programs", Proceedings of the Conference on Programming Language Design and Implementation (PLDI), 2010
Wrigstad, Zappa Nardelli, Lebresne, Ostlund, Vitek, "Integrating Typed and Untyped Code in a Scripting Language.", Proceedings of the Conference on Principles of Programming Languages (POPL), 2010
Pizlo, Blanton, Hosking, Maj, Vitek, Ziarek, "Schism: Fragmentation-Tolerant Real-Time Garbage Collection", Proceedings of the Conference on Programming Language Design and Implementation (PLDI), 2010