Ing.

Josef Strnadel

Ph.D.

Assistant professor

+420 54114 1211
strnadel@fit.vut.cz
Office L332

[photo]

Curriculum

Education

  • master degree in Computer Science and Engineering, FEECS BUT in Brno, 2000
  • Ph. D. in Information Technology, FIT BUT in Brno, 2004

Professional career

Awards

  • 2004: Jan Hlavička Award for Best Paper Presented at PAD
  • 2002: Siemens Award Support for Postgraduate Students

Research interests

  • 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

Awards

Memberships

 -

Other interests

  • (Bike)tourism, canoeing, air-riffle sport shooting
  • Reading, radio
  • Language studying - English (active conversational level), French (got to lower quality level), Russian and Latin (passive level)
  • Fine arts - painting, sculpture, design, computer graphics, 3D scene/animation creation and rendering
  • (La)TEX
  • Amiga computers - history, portal 1, portal 2, Aminet, The Amiga Web Directory

My favorite links

Back to top