Adam Rogalewicz

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

• 01.10.2004 - 31.05.2005

  Université Paris Diderot
  Laboratoire d'Informatique Algorithmique: Fondements et Applications, Université Paris Diderot, Francie

• 01.01.2007 - 30.09.2008

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

Awards

• CADE-24: Best Paper Award 2013
• The Commemorative Medal of FIT BUT (The Bronze Medal) 2015
• The Commemorative Medal of FIT BUT (The Silver Medal) 2019