ℹ️
🇬🇧
Search
Search for people relevant for "Model Checking"
Model Checking
Person
Class
Person
Publication
Programmes
person
doc. RNDr. Pavel Parízek Ph.D.
Faculty of Mathematics and Physics
person
doc. RNDr. Jan Kofroň Ph.D.
Faculty of Mathematics and Physics
person
prof. Ing. František Plášil DrSc.
Faculty of Mathematics and Physics
person
RNDr. Ondřej Šerý Ph.D.
Faculty of Mathematics and Physics
person
Mgr. Pavel Ježek Ph.D.
Faculty of Mathematics and Physics
person
Mgr. Pavel Jančík Ph.D.
Faculty of Mathematics and Physics
person
Kristina Asimi Ph.D.
Faculty of Mathematics and Physics
person
Patrice Ossona de Mendez
Faculty of Mathematics and Physics
person
RNDr. Jiří Adámek
Faculty of Mathematics and Physics
person
RNDr. Tomáš Kalibera Ph.D.
Faculty of Mathematics and Physics
person
doc. Mgr. Libor Barto Ph.D.
Faculty of Mathematics and Physics
person
Mgr. Martin Blicha Ph.D.
Faculty of Mathematics and Physics
person
RNDr. Viliam Šimko Ph.D.
Faculty of Mathematics and Physics
person
Ing. Markéta Potůčková Ph.D.
Faculty of Science
person
RNDr. Jakub Daniel
Faculty of Mathematics and Physics
person
Aleš Plšek
Faculty of Mathematics and Physics
person
RNDr. Viliam Holub
Faculty of Mathematics and Physics
person
Mgr. David Hauzar Ph.D.
Faculty of Mathematics and Physics
person
Mgr. Tomáš Matoušek
Faculty of Mathematics and Physics
person
RNDr. Mgr. Filip Seitl Ph.D.
Faculty of Mathematics and Physics
person
RNDr. Martin Suda Ph.D.
Faculty of Mathematics and Physics
person
Mgr. Tomáš Toufar
Faculty of Mathematics and Physics
person
Mgr. Iva Karafiátová
Faculty of Mathematics and Physics
person
Milad Ashqi Abdullah
Faculty of Mathematics and Physics
person
prof. RNDr. Viktor Beneš DrSc.
Faculty of Mathematics and Physics
person
prof. RNDr. Jaroslav Nešetřil DrSc.
Faculty of Mathematics and Physics
person
RNDr. Jakub Staněk Ph.D.
Faculty of Mathematics and Physics
person
doc. RNDr. Zbyněk Pawlas Ph.D.
Faculty of Mathematics and Physics
person
RNDr. Tomáš Masařík
Faculty of Mathematics and Physics
person
prof. RNDr. Tomáš Bureš Ph.D.
Faculty of Mathematics and Physics
Loading network view...