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

2016 (1)

Master Theses

PDF Blicha M.: Methods for reduction of Craig's interpolant size using partial variable assignment,
Master Thesis, advisor: Jan Kofroň, September 2016
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