Curriculum
Education and academic qualification
-
17.09.1996 - 28.06.2000
Brno
2000 - MSc. in v oboru Computer Science and Engineering, FEI BUT -
01.09.2000 - 27.10.2004
Brno
2004 - Phd. in Information Technology, FIT BUT -
01.09.2000 - 31.12.2001
Brno
PhD. student in Computer Science and Informatics at FEI BUT -
01.01.2002 - 27.10.2004
Brno
PhD. student in Information Technology at FIT BUT -
01.12.2004 - 31.12.2025
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