Contact image
Phone:
+420-22435-7395
Email:
This email address is being protected from spambots. You need JavaScript enabled to view it.
Position:
Post-doc researcher
Room:
E-129

 

Current Projects:   Symbrion and Replicator
Research Interest:  

Motion planning , SLAM, Formal Methods, Safety Critical Systems,

Education:  

2005 - RNDr. from Theoretical Informatics, Charles University, Faculty of Mathematics and Physics

2002 Ph.D. from Artifical Intelligence and Biocybernetics, Czech Technical University, Faculty of Electrical Engineering

1994 - Mgr. from Theoretical Informatics, Charles University, Faculty of Mathematics and Physics

Teaching:  

Current

A4B33OSS and AE4B33OSS Operating systems and newtworks

A3B33OSD and AE3B33OSD Operating Systems and Databases