Ing.

Aleš Smrčka

Ph.D.

Assistant professor

+420 54114 1186
smrcka@fit.vut.cz
Office A304

[photo]

Curriculum

Education

2010 - Ph.D. in Computer Science and Engineering (thesis: Verification of Asynchronous and Parametrized Hardware Designs), FIT, BUT
2003 - M.Sc. in Electrical Engineering and Computer Science, FIT, BUT

Professional career

  • since 2011: assistant professor at FIT BUT
  • 2006-2010: assistant lecturer at FIT BUT

Software

  • Testos - Test Tool Set
  • HADES - Hazard detection system (for microprocessors)
  • CDCreloaded - A framework for formal verification of clock-domain-crossing.
  • fast2armc - FAST to ARMC translator
  • vhd2ca - VHDL translator to counter automata

Research interests

  • Software testing, test automation
  • Modelling and verification of hardware designs
  • Dynamic analysis of concurrent programs

Awards

Back to top