doc. Mgr.
Adam Rogalewicz
Ph.D.
zástupce vedoucího ústavu
Ž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čí
-
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
Laboratoř Verimag, Grenoble, Francie