Luca Geatti

Nome:

Luca

Cognome:

Geatti

Struttura di afferenza:

(Più info su Cercapersone)

Presentazione:

Research Areas:

Automata Theory
Temporal Logic
Reactive Synthesis
Formal Verification

Website: https://users.dimi.uniud.it/~luca.geatti/