CV

Timeline

2016–now: assistant professor in the VeriFIT group at Faculty of Information Technology, Brno University of Technology, Czech Republic
2015–2016: postdoc with Yu-Fang Chen at Institute of Information Science, Academia Sinica, Taiwan, Republic of China
2010–2015: Ph.D. student under Tomáš Vojnar and Lukáš Holík in the VeriFIT group at Faculty of Information Technology, Brno University of Technology, Czech Republic
2005–2010: Bc. and MSc. student at Faculty of Information Technology, Brno University of Technology, Czech Republic

A Distinguished paper award for the paper An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits at PLDI’23.
A Best paper award for the paper Word Equations in Synergy with Regular Constraints at FM’23.
A Best paper award for the paper Automata Terms in a Lazy WSkS Decision Procedure at CADE-27 (2019).
Prize of Antonín Svoboda for the best PhD thesis in Computer Science (Czech Republic, 2016)
A co-authored separation logic solver SPEN won the division qf_shlid_ent of international Competition of Solvers for Separation Logic (SL-COMP) 2014 and was the second in divisions qf_shls_entl and qf_shls_sat in both SL-COMP 2014 and SL-COMP 2018.
First place at MSc Thesis of the Year competition (Czech Republic, 2010)
Dean’s prize for MSc thesis (FIT BUT, 2010)
Prize of Zdena Rábová (a prize for exceptional students at FIT BUT, 2009)
Two first place awards at a local student research competition (EEICT 2008, EEICT 2010)
GE Foundation Scholar-Leaders scholarship (Czech Republic, 2007)