Faculty of Information Technology, BUT

System Modelling and Optimization Research Group

Researchers

Češka Milan, prof. RNDr., CSc.

researcher, DITS FIT BUT

  • Formal Languages Theory
  • Formal Specifications
  • Petri Nets Theory
  • System Modelling and Simulation

Hrubý Martin, Ing., Ph.D.

researcher, DITS FIT BUT

  • Modeling and Simulation.
  • Geographic information systems.
  • Game Theory and its application in modelling of various markets-
  • Combinatorial optimizations.

Janoušek Vladimír, doc. Ing., Ph.D.

researcher, DITS FIT BUT

Modeling, simulation, prototyping, pure object orientation, reflective architectures, simulation-driven developlement, discrete-event systems, distributed control systems.

Kočí Radek, Ing., Ph.D.

researcher, DITS FIT BUT

  • Modelling and simulation
  • Software engineering: formal models and simulation in system design
  • Petri nets
  • Artificial intelligence

Peringer Petr, Dr. Ing.

researcher, DITS FIT BUT

  • Modelling and Simulation
  • Program Verification (symbolic execution,  ...)
  • Object-oriented programming, Design patterns
  • C and C++ programming languages
Back to top