Ing. Aleš Smrčka

Curriculum

Education:

2003 - M.Sc. in electrical engineering and computer science, FIT, Brno University of Technology

Professional career:

• assistant lecturer at FIT BUT since 2006

Research interests:

• Formal analysis and verification
• Software Testing
• Modelling, simulation, and verification of a hardware design

Software:

• CDCreveal - Clock domain crossing analyzer
• fast2armc - FAST to ARMC translator
• vhd2ca - VHDL translator to counter automata
• for other projects cf. my personal wiki

Other interests:

• SW testing
• GNU/Linux, programming in C/C++, Python
• watermanship, skiing
• sci-fi, fantasy