Università della Svizzera italiana
search.usi
Logo USI
Tools
Links
Italiano
search.usi
Search for contacts, projects,
courses and publications

People

Education

Research

Organisation

    Martin Blicha

    http://usi.to/yzo

    Research

    • Formal verification
    • SAT/SMT solvers
    • Interpolation

    Competence areas

     

    Contact

    martin.blicha@usi.ch

    tel +41 58 666 4455 ext. 2311

    East Campus, Sector D, Office D4.16 (Level P4)
    Via la Santa 1, 6962 Lugano-Viganello

    Roles

    Researcher

    Update data

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

    Maps and directions

    Stay in touch

    © Università della Svizzera italiana
    swissuniversities.ch