Curriculum vitae

Education and academic qualification

• 2016 - Habilitation: Faculty of Information Technology, Brno University of Technology. Habilitation thesis: Symbolic Representations of Dynamic Data Structures in Program Analysis
• 2007 - Ph.D: Faculty of Information Technology, Brno University of Technology. Ph.D. thesis: Verification of Programs with Complex Data Structures
• 2003 - Mgr. (M.Sc.): Faculty of Informatics, Masaryk University Brno

Academic internships abroad

• 2004-10-01 - 2005-05-31

  Université Paris Diderot
  Laboratoire d'Informatique Algorithmique: Fondements et Applications, Université Paris Diderot, Francie
  employment type Erasmus Internship

• 2007-01-01 - 2008-09-30

  CNRS: Le Centre national de la recherche scientifique
  Verimag, Grenoble, France
  employment type PostDoc