Tomas Petricek — Curriculum Vitae

Brief Bio

Tomas Petricek is an assistant professor Charles University. He is interested in stateful, interactive and graphical programming systems, new ways of thinking about programming that make it easier and more accessible, as well as history and philosophy of computing. Previously, he developed novel tools for data exploration and visualization, contributed to the F# language and type providers at Microsoft Research and obtained PhD from University of Cambridge for his work on coeffects, a theory of context-aware programming languages. He also wrote an F# to JavaScript compiler before it was cool.

Various CVs

• Habilitation materials - CV, dissertation and other materials in the format required for Habilitation. Also includes teaching statement, publication highlights and other reports.
• Complete version (PDF) - Complete CV with everything except for a list of publications (5 pages)
• Brief version (PDF) - Shorter version focused on teaching and academic service for admin purposes (3 pages)
• Publications list (PDF) - Full list of publications

Photos

If you need my photo, please use this one or crop the full version as needed.