Arnaud Henri Paul 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
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
2024 - 2025
-
ALGORITMI E STRUTTURE DATI (cod. 80298)
CORSO DI LAUREA - INFORMATICA -
INTRODUZIONE ALLA PROGRAMMAZIONE - B - B (cod. 80299)
CORSO DI LAUREA - INFORMATICA -
PROGRAMMAZIONE CONCORRENTE E ALGORITMI DISTRIBUITI (cod. 80302)
CORSO DI LAUREA - INFORMATICA
Ricerca
Pubblicazioni IRIS
-
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
Anno: 2024 -
Phase-Bounded Broadcast Networks over Topologies of Communication
Anno: 2024 -
ON THE SATISFIABILITY OF LOCAL FIRST-ORDER LOGICS WITH DATA
Anno: 2024 -
QLTL Model-Checking
Anno: 2024 -
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous
Anno: 2023
- arnaud.sangnier@unige.it
Ricevimento
Ricevimento su appuntamento via mail.
