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


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

Research interests:

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


  • 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

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]