I am an associate professor at Czech Technical University in the Faculty of Information Technology doing research at PRL, a programming language research lab. I work on program analysis, compilers and virtual machines.
Before I was a postdoc in the PRL group at Northeastern University and at INRIA in the SPIRALS team. I did my PhD at CNRS in the MODALIS team where I worked on the integration of control-theoretical models into software systems.
I also did work in industry: LaceWork (2022-2023), ORACLE (2015-2016), TomTom (2007-2009), Sun Microsystems (2005-2007), Accenture (2004).
CONTACT
github :: flickr :: linkedin :: google scholar :: dblp :: cv
CZECH TECHNICAL UNIVERSITY
Faculty of Information Technology
Office: #1258
Thákurova 8
16000 Prague
CZECH REPUBLIC