Životopis

Vzdělání a akademická kvalifikace

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

  Brno
  2000 - Ing. v oboru Výpočetní technika a informatika, FEI VUT v Brně
  

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

  Brno
  student doktorského studia v oboru Výpočetní technika a informatika na FEI VUT v Brně
  

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

  Brno
  2004 - Phd. v oboru Informační technologie, FIT VUT v Brně
  

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

  Brno
  student doktorského studia v oboru Informační technologie na FIT VUT v Brně
  

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

  Brno
  zaměstnanec VUT v Brně, pracoviště FIT VUT v Brně
  

Vědeckovýzkumná činnost

• Spolehlivost
• Vestavné, kritické a kyberfyzikální (kyberfyzické) systémy
• Real-time (operační) systémy
• Modelování a analýza dynamických systémů
• Formální verifikace a ověřování modelů, statistické ověřování modelů
• Aplikace časovaných automatů

Spolupráce s průmyslem

• 2004+ správa výukových/akademických licencí od firem MentorGraphics a NXP
• 2006+ kontakty s firmami NXP a Siemens v oblasti podpory výuky formou zvaných přednášek, laboratoří apod.
• 2014-2015 práce na Inovačním voucheru JIC (Vývoj ovladače rekonfigurovatelné platformy pro FreeRTOS) pro RehiveTech s.r.o.
• 2015 korekce dokumentace, programování pro Codasip s.r.o.
• 2024 konzultace k portaci libnetconf (na FreeRTOS/ARM) pro CESNET

Ocenění vědeckou komunitou

• 2002: Cena Siemens - stipendijní podpora pro studenty doktorského studia
• 2004: Cena Prof. Ing. Jana Hlavičky, DrSc. za vynikající příspěvek na semináři PAD