Curriculum Vitae

Curriculum Vitae

Research Activities

• Static analysis of programs, focused especially (though not only) on programs with pointers and dynamic data structures, concurrency, performance analysis, or applications in compilers.
• Formal analysis and verification, especially for parametric and infinite-state systems, or high-level specifications and models of embedded systems.
• Dynamic analysis and testing, particularly for concurrent programs and performance analysis.
• Automata, logics and their decision procedures, logic programming – for verification and beyond.
  Publications – records extended with additional information and links
  Publications at DBLP
  Record at Google Scholar
  ha-index: 83
  

Education and Academic Qualification

• 2012: full professor of computer science and engineering, at FIT, Brno University of Technology.
• 2007: associate professor of computer science and engineering, at FIT, Brno University of Technology.
• 2001: PhD in computer science and cybernetics, DCSE FEECS, Brno University of Technology.
• 1996: MSc in computer science and engineering, DCSE FEECS, Brno University of Technology.
• 1991: Secondary School in Karviná.
  

Working Experience

• 2024, September – now: department head at the Department of Computer Systems and Communications, FI MU.
• 2024, September – now: researcher (part time) at FIT BUT.
• 2024, June – now: professor at FI MU (part-time till August 2024).
• 2020–24, February: vice-dean for science and research at FIT BUT.
• 2023: candidacy for the dean of FIT BUT.
• 2019–23: membership in the panel P103 of the Czech Science Foundation.
• 2015, June: invited lecturer of the PhD course Automata-Theoretic Methods for Infinite-State Verification at the Faculty of Informatics at the Faculty of Informatics, TU Vienna.
• 2013, June/July: invited professor at LIAFA (now IRIF), Université Paris Diderot (now Université Paris Cité)/CNRS, Paris, France.
• 2012–2024, September: full professor at FIT BUT.
• 2007–2012: associate professor at FIT BUT.
• 2005–2008: researcher (part time) at the CESNET association within the Liberouter project.
• 2005, June/July: invited researcher at LIAFA (now IRIF), Université Paris Diderot (now Université Paris Cité)/CNRS, Paris, France.
• around 2005: establishment of the research group VeriFIT.
• 2003–2007: assistant professor at FIT BUT.
• 2001–2003: postdoc at LIAFA (now IRIF), Université Paris Diderot (now Université Paris Cité)/CNRS, Paris, France.
• 1999–2001: junior assistant professor at FEECS BUT.
  

Awards and Recognition by the Community

• Invited talks: ETAPS’22 "unifying speaker" (Munich), ECOOP'15 Summer School (Prague), SAS'14 (Munich), INForum'14 (Porto), TTATT'13 (Hanoi), SOFSEM'11 (Nový Smokovec), INFINITY'10 (Singapore).
• Best theory paper award of ETAPS'10, awarded by the European Association for Theoretical Computer Science (EATCS).
• Best papers at CADE’19 and CIAA’08, best tool papers at ISSTA’18 and RV’12.
• 10 gold, 6 silver, 7 bronze medals from the International Software Verification Competition SV-COMP’12–24 with the tools Predator, 2LS, and Symbiotic.
• Bronze medal within the Human-Competitive Awards – “Humies” for the method of automated design of approximate arithmetic circuits based on a combination of genetic algorithms and formal methods.
• A Gödel prize from the FLoC 2014 Olympic Games for successes of the Predator analyser in SV-COMP.
• 1 gold and 3 silver medals with the SPEN and SLIDE tools at the 1st International Competition of Separation Logic Decision Procedures SL-COMP'14 organised within SMT-COMP'14.
• Prize of Siemens for outstanding Ph.D. thesis, 2001.
  

Programme Committees of Conferences and Other Similar Committees

• Memberships in PCs of conferences/workshops.
• Editorial board of the STTT journal, Springer, area Competitions and Challenges, since 12/2021.
• Co-chairing (with Lijun Zhang) of the PC of TACAS'19 – 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czechia, 2019.
• Co-chairing the 13th Alpine Verification Meeting – AVM'19, Brno, Czechia, 2019.
• Chair of the SV-COMP 2018: 7th International Competition on Software Verification.
• Workshop Chair at CAV'10 – 22nd International Conference on Computer-Aided Verification, FLoC 2010, Edinburgh, UK.
• PC co-chair (with Peter Habermehl) of INFINITY'08 – 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada.
• Editorial board of the CAI journal, since 2/2005.
• Steering Committee Chair of MEMICS – Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Czechia, till 2016.
  

Free Time

• Back-country skiing, mountains, trying to learn how to dance :).

2024/09/17

Another Variant: Czech(1)