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

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

Research interests:

  • Formal analysis and verification
  • Software testing
  • Modelling, simulation, and verification of hardware designs

Software:

Other interests:

  • programming in C/C++, Python
  • photography, fantasy, sci-fi

Your IPv4 address: 38.107.179.220
Switch to IPv6 connection

DNSSEC [dnssec]