Životopis
Pedagogická činnost
Získaná ocenění
- Cena Zdeny Rábové 2009
- Diplomová práce roku 2010
- Cena Antonína Svobody pro nejlepší disertační práci roku 2015 2016
- The Best Paper award of CADE-27 2019
- A Distinguished Paper Award at OOPSLA'23 2023
- A Distinguished Paper Award at PLDI'23 2023
- The Best Paper award of FM'23 2023
- Pamětní medaile FIT VUT (bronzová medaile) 2025