search.usi
Search for contacts, projects,
courses and publications
Italiano

Martin Blicha

http://usi.to/yzo

Research

  • Formal verification
  • SAT/SMT solvers
  • Interpolation

 

Contact

martin.blicha@usi.ch

tel +41 58 666 4455 ext. 2311

Roles

Position
Ph.D. Student - Faculty of Informatics

Update data

Università della
Svizzera italiana
Via Buffi 13
6900 Lugano, Switzerland
tel +41 58 666 40 00
fax +41 58 666 46 47
e-mail info@usi.ch
Other contacts
Feedback on the website

Maps and directions

Stay in touch

© Università della Svizzera italiana
Disclaimer Credits
swissuniversities.ch
logo