System Modelling and Simulation Research Group

Team members

Češka Milan, prof. RNDr., CSc., UITS FIT VUT
	Formal Languages Theory Formal Specifications Petri Nets Theory System Modelling and Simulation
Gach Marek, Ing., student, UITS FIT VUT
Hrubý Martin, Ing., Ph.D., UITS FIT VUT
	Modelling and Simulation Geographic information systems Game Theory and its application in modelling of various markets Programming and Simulation languages Compilers
Janoušek Vladimír, doc. Ing., Ph.D., UITS FIT VUT
	Modeling, simulation, prototyping, pure object orientation, reflective architectures, simulation-driven developlement.
Kočí Radek, Ing., Ph.D., UITS FIT VUT
	modelling and simulation formal models and simulation in system design software engineering simulation and operating systems architectures project PNtalk
Novosad Petr, Ing., student, UITS FIT VUT
Peringer Petr, Dr. Ing., UITS FIT VUT
	Modelling and Simulation Program Verification (symbolic execution, separation logic) Object-oriented programming, Design patterns C and C++ programming languages
Richta Tomáš, Ing., student, FIT VUT