Mgr. Adam Rogalewicz, Ph.D.

Education:

• 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

Projects:

• ARTMC - a prototype implementation of our technique for verification of programs with dynamic data structures

Other interests:

Rock climbing
Crosscountry skiing
Hiking
Cooking
Guitar

My favorite links:

• My unofficial page (in Czech)
• Some my photos