Arnaud Sangnier
-
Professore associato
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
Sezione interscuola di scienze matematiche, fisiche e naturali del DIBRIS
-
Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
INFO-01/A - Informatica
Didattica
Insegnamenti
2026 - 2027
-
FORMAL METHODS (cod. 121619)
CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE -
PROGRAMMAZIONE CONCORRENTE E ALGORITMI DISTRIBUITI (cod. 80302)
CORSO DI LAUREA - INFORMATICA -
SISTEMI DI ELABORAZIONE E TRASMISSIONE DELL'INFORMAZIONE (cod. 80300)
CORSO DI LAUREA - INFORMATICA
2025 - 2026
-
PROGRAMMAZIONE CONCORRENTE E ALGORITMI DISTRIBUITI (cod. 80302)
CORSO DI LAUREA - INFORMATICA -
SISTEMI DI ELABORAZIONE E TRASMISSIONE DELL'INFORMAZIONE (cod. 80300)
CORSO DI LAUREA - INFORMATICA -
TEORIA DEGLI AUTOMI E CALCOLABILITÀ (cod. 80303)
CORSO DI LAUREA - INFORMATICA
Ricerca
Pubblicazioni IRIS
-
Safety Analysis in Broadcast Networks Defined by Graph Grammars
Anno: 2026 -
Clause-reachability is undecidable in legal contracts
Anno: 2026 -
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
Anno: 2025 -
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
Anno: 2025 -
Wait-Only Broadcast Protocols Are Easier to Verify
Anno: 2025
- arnaud.sangnier@unige.it
Ricevimento
Ricevimento su appuntamento via mail.
