Curriculum vitae

Education and academic qualification

• 1996-09-17 - 2000-06-28

  Brno
  2000 - MSc. in v oboru Computer Science and Engineering, FEI BUT
  

• 2000-09-01 - 2004-10-27

  Brno
  2004 - Phd. in Information Technology, FIT BUT
  

• 2000-09-01 - 2001-12-31

  Brno
  PhD. student in Computer Science and Informatics at FEI BUT
  

• 2002-01-01 - 2004-10-27

  Brno
  PhD. student in Information Technology at FIT BUT
  

• 2004-12-01 - 2025-12-31

  Brno
  employee at FIT BUT
  

Scientific activities

• Dependability
• Embedded, critical and cyber-physical systems
• Real-time (operating) systems
• Modeling and analysis of dynamic systems
• Formal verification and model checking, statistical model checking
• Application of timed automata

Industry cooperation

• 2004+ managment of educational/academic licences from MentorGraphics, NXP
• 2006+ cooperation with NXP, Siemens with regard to providing hosted lectures, laboratories etc. for our students
• 2014-2015 realization of the Innovation voucher JIC (Development of FreeRTOS driver for reconfigurable platform) for RehiveTech s.r.o.
• 2015 documentation corrections, programming for Codasip s.r.o.
• 2024 consultations to porting libnetconf (onto FreeRTOS/ARM) for CESNET