Adam Rogalewicz

• 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

• ARTMC - prototypový nástroj pro verifikace programů s ukazateli
• Forester - nástroj pro verifikaci programů s ukazateli
• Slide - entailment checking v separační logice založený na automatech
• INCLUDER - prototypový nástroj pro ověření trace incluze na data word automatech

Horolezení
Tramping a hory
Lyžování
Vaření
Kytara