Toggle navigation
USERMAP
People at CTU
Department
Login
CZ/EN
Mgr. Mikoláš Janota, Ph.D.
Show contact QR code
Profile
CTU roles
CTU position
Head / Formal Methods / Czech Institute of Informatics, Robotics, and Cybernetics
Employee / RICAIP / Czech Institute of Informatics, Robotics and Cybernetics
Contact information
Room
Praha, Jugoslávských partyzánů 1580, místnost: A-614a
Phone
+420-22435-4198
E-mail
mikolas.janota@cvut.cz
Homepage
http://people.ciirc.cvut.cz/~janotmik
Identity information
ORCID
https://orcid.org/0000-0003-3487-784X