Životopis

Vzdělání a akademická kvalifikace

• 2016 - Doc.: Vysoké učení technické v Brně - Fakulta informačních technologií. Habilitační práce: Symbolic Representations of Dynamic Data Structures in Program Analysis
• 2007 - Ph.D: Vysoké učení technické v Brně - Fakulta informačních technologií. Disertační práce: Verification of Programs with Complex Data Structures
• 2003 - Mgr.: obor Informatika, Masarykova univerzita v Brně - Fakulta informatiky, specializace paralelní a distribuované systémy

Akademické stáže v zahraničí

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

  Université Paris Diderot
  Laboratoire d'Informatique Algorithmique: Fondements et Applications, Université Paris Diderot, Francie
  úvazek Stáž v rámci programu Erasmus

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

  CNRS: Le Centre national de la recherche scientifique
  Laboratoř Verimag, Grenoble, Francie
  úvazek PostDoc výzkumník