Università della Svizzera italiana
search.usi
Logo USI
Strumenti
Links
English
search.usi
Ricerca di contatti, progetti,
corsi e pubblicazioni

Persone

Formazione

Ricerca

Organizzazione

    Martin Blicha

    http://usi.to/yzo

    Ricerca

    • Formal verification
    • SAT/SMT solvers
    • Interpolation

     

    Contatti

    martin.blicha@usi.ch

    tel +41 58 666 4455 ext. 2311

    Campus Est, settore D, Ufficio D4.16 (Livello P4)
    Via la Santa 1, 6962 Lugano-Viganello

    Ruoli

    Posizione
    Collaboratore scientifico - Facoltà di scienze informatiche

    Afferenze
    Istituto Dalle Molle di studi sull’intelligenza artificiale (IDSIA USI-SUPSI)

    Aggiorna dati

    Università della
    Svizzera italiana
    Via Buffi 13
    6900 Lugano, Svizzera
    tel +41 58 666 40 00
    fax +41 58 666 46 47
    e-mail info@usi.ch
    Altri contatti
    Feedback sul sito

    Indicazioni

    Resta in contatto

    © Università della Svizzera italiana
    swissuniversities.ch