Associate professor at the Faculty of Information Technology, Czech Technical University in Prague, doing research at PRL on program analysis, compilers, and virtual machines.
Download the full CV as PDF.
Employment
- Associate professor, Czech Technical University, CZ — 2022–present
- Contractor, Lacework, US (remote) — 2022–2023
- Assistant professor, Czech Technical University, CZ — 2017–2021
- Postdoctoral fellow, Northeastern University, US — 2016–2017
- Staff engineer, ORACLE, CZ — 2015–2016
- Assistant professor (part time), Czech Technical University, CZ — 2015–2016
- Postdoctoral fellow, Inria Lille, FR — 2013–2015
- PhD student, CNRS, FR — 2009–2013
- Team lead, TomTom International, NL — 2009
- Software engineer, TomTom International, NL — 2007–2008
- Software engineer, Sun Microsystems, US — 2005–2007
- Software engineer, Accenture Central Europe, CZ — 2004–2005
Education
- PhD in Computer Science, 2013 — CNRS / Université Nice - Sophia Antipolis, France (highest honor). Advisers: Philippe Collet, Johan Montagnat. Defended 22 Nov 2013.
- Master of Science, 2009 — Czech Technical University in Prague, Czech Republic (best master thesis award). Adviser: Petr Moos. Defended 27 Jan 2009.
Awards
- 10-Year Most Influential Paper Award — SEAMS 2025
- Best Artifact Award — ISSTA 2018
- Prof. Vlček Award for Best Master Thesis — CTU 2009
Community service
- General chair, OOPSLA 2027, Prague (confirmed)
- Steering committee, OOPSLA — from 2025
- Organizing committee, MoreVMs 2025
- Organizing committee, REBASE — from 2020
- Organizing committee, Curry-On — 2017–2019
- Organizing committee, Transformation Tool Contest (TTC) — 2015–2019
- Web co-chair, SPLASH 2018
- Steering committee, Super and Distributed Computing Summer Camp (SC-CAMP) — from 2011
Program committees
- MPLR 2026
- ISSTA 2021 — Artifact Evaluation
- CARLA (Latin America High Performance Computing Conference) — 2018–2021
- SEAMS 2018 — Artifact Evaluation
- ECOOP 2017 — Artifact Evaluation
- ICSE 2017 — Demonstration Track
- MODELS 2017 — Tools and Demos
- SEsCPS (Software Engineering for Smart Cyber-Physical Systems) — 2015–2017
- CTSE 2015 (Control Theory for Software Engineering)
- Modularity 2015 — Demonstrations and Posters
- CLCAR 2012 (Latin American Conference on High Performance Computing)
Reviewing
- Future Generation Computer Systems — 2017, 2018, 2020
- Journal of Visual Languages and Computing — 2018
- IEEE Transactions on Network and Service Management — 2014
- Conferences: ECSA 2015, CBSE 2015, SCRAMBL 2015, MIDDLEWARE 2015, SEAMS 2014, ECMFA 2014, DAIS 2014
Theses
- Large-scale Program Analysis for Language Evolution — Habilitation, defended 11 Nov 2021 at Czech Technical University, Czech Republic. pdf
- Domain-Specific Modeling Language for Self-Adaptive Software System Architectures — PhD thesis, defended 22 Nov 2013 at University of Nice-Sophia Antipolis, France. pdf
- Complex Analysis of Traffic Information — Master thesis, defended 27 Jan 2009 at Czech Technical University, Czech Republic. pdf
Selected talks
- Everything you ever wanted to know about Scala implicits, but weren't sure how to ask — scala.io 2018, Lyon
- genthat — R meetup 2017, Boston
- Towards the use of runtime models for infrastructure management and self-adaptation — Shonan Seminar 077 2016, Shonan Village, Japan
- System-Level Abstractions for Integrating Control Mechanisms into Software Systems — Dagstuhl Seminar 14433 2014, Dagstuhl, Germany
- System-Level Abstractions for Integrating Control Mechanisms into Software Systems — Dagstuhl Seminar 14382 2014, Dagstuhl, Germany
- Domain-Specific Modeling Language for Self-Adaptive Software Systems — D3S seminar, Charles University 2014, Prague, Czech Republic
- Model Manipulation Using Embedded DSLs in Scala — Scala Workshop 2013, Montpellier, France
- Enriching EMF Models with Scala — EclipseCON 2012 Europe, Modeling Symposium, Ludwigsburg, Germany