Martin Blicha
PhD student

Contact information


Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University
Malostranské náměstí 25
118 00 Praha 1, Czech Republic
office: Malá Strana, office 309
phone:  +420 9 5155 4121
fax:  +420 9 5155 4323
e-mail:  blicha@d3s.mff.cuni.cz
Martin Blicha
Curriculum vitae

Research interests and activities

  • Code Model Checking
  • Source code verification and analysis
  • Logic

Teaching

  • Office hours by appointment via email

Labs


Publications

Warning: readfile(http://d3s.mff.cuni.cz/publications/export/html/?author=blicha&heading=3): failed to open stream: HTTP request failed! HTTP/1.1 404 Not Found in /home/blicha/WWW/index.inc.php on line 121
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2017-02-23