Francesco Dagnino
-
Ricercatore universitario a tempo determinato
-
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
-
LINGUAGGI DI PROGRAMMAZIONE (cod. 61799)
CORSO DI LAUREA - INFORMATICA -
PRINCIPLES AND PARADIGMS OF PROGRAMMING LANGUAGES (cod. 90546)
CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE -
TEORIA DEGLI AUTOMI E CALCOLABILITÀ (cod. 80303)
CORSO DI LAUREA - INFORMATICA
2024 - 2025
-
LINGUAGGI E PROGRAMMAZIONE ORIENTATA AGLI OGGETTI (cod. 61799)
CORSO DI LAUREA - INFORMATICA -
PRINCIPLES AND PARADIGMS OF PROGRAMMING LANGUAGES (cod. 90546)
CORSO DI LAUREA MAGISTRALE - COMPUTER SCIENCE
Ricerca
Pubblicazioni IRIS
-
An Effectful Object Calculus
Anno: 2025 -
Monadic Type-And-Effect Soundness
Anno: 2025 -
CAUCHY COMPLETIONS AND THE RULE OF UNIQUE CHOICE IN RELATIONAL DOCTRINES
Anno: 2025 -
QUANTITATIVE EQUALITY IN SUBSTRUCTURAL LOGIC VIA LIPSCHITZ DOCTRINES
Anno: 2025 -
Fair termination of multiparty sessions
Anno: 2024
Ricevimento
Su appuntamento per email
