Mgr. Tomáš Petříček, Ph.D.

Department of Distributed and Dependable Systems
Cell phone
+420 604 722 886
Home page
Supervised theses
Assigned theses
Room / building
S 309, 3rd floor, Malá Strana, Malostranské nám. 2/25, Praha 1

Tomas Petricek is an assistant professor at the Department of Distributed and Dependable Systems. He is interested in understanding the nature of programming and finding new and better ways of doing it. He uses various methods ranging from theoretical programming langauge research, applied work resulting in open-source software, as well as interdisciplinary approaches that look at programming through the perspectives of history and philosophy.

Tomas holds PhD from University of Cambridge, where he worked on theory of context-aware programming. Before joining the Faculty of Mathematics and Physics, he worked on the F# programming langauge at Microsoft Research in Cambrige, tools for data exploration at The Alan Turing Institute in London and as a lecturer lecturer (assistant professor) at University of Kent in Canterbury.

He has a departmental web at: and a personal page with blog & more projects:


Charles University, Faculty of Mathematics and Physics
Ke Karlovu 3, 121 16 Praha 2, Czech Republic
VAT ID: CZ00216208

HR Award at Charles University

4EU+ Alliance