Salta al contenuto principale
Form di ricerca
Home
Tutti i profili
Tutte le pagine
Istruzioni
Istruzioni
FAQ
Helpdesk
Login
Luca Geatti
Nome:
Luca
Cognome:
Geatti
Struttura di afferenza:
DMIF
(Più info su Cercapersone)
Presentazione:
Research Areas:
Automata Theory
Temporal Logic
Reactive Synthesis
Formal Verification
Website:
https://users.dimi.uniud.it/~luca.geatti/