Ing. Aleš Smrčka, Ph.D.

Vzdělání:

2010 - Ph.D., obor výpočetní technika a informatika, FIT, VUT v Brně
2003 - Ing., obor elektrotechnika a informatika, FIT, VUT v Brně

Profesionální kariéra:

• od 2011 odborný asistent na FIT VUT v Brně
• 2006-2010 asistent na FIT VUT v Brně

Odborná orientace:

• Formální analýza a verifikace
• Testování software
• Modelování a verifikace počítačových systémů

Software:

• CDCreloaded - Framework pro verifikaci asynchronních návrhů HW
• fast2armc - FAST to ARMC translator
• vhd2ca - VHDL translator to counter automata
• další viz moje osobní wiki

Další zájmy:

• datlování v C/C++, Python
• foto, fantasy, sci-fi