luca.geatti@uniud.it

Nome

Luca

Cognome

Geatti

Afferenza

DMIF — Dipartimento di scienze matematiche, informatiche e fisiche

Presentazione

Research Areas:

Automata Theory
Temporal Logic
Reactive Synthesis
Formal Verification

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

(Più info su Cercapersone)

(Privacy) (Cookies)

Copyright © 2026 UniUd - All rights reserved

Developed & Designed by FB