Foto del docente

Aurore Severine Gilberte Alcolei

Assegnista di ricerca

Dipartimento di Informatica - Scienza e Ingegneria

Nota biografica

Assegnista di ricerca all'Università di Bologna dal novembre 2019, svolge le sue ricerche nell'ambito dell'informatica teorica. Gli interessi di ricerca sono rivolti in particolare alla semantica e logica dei calcoli. Attualmente incentra la sua ricerca sul tema del progetto ERC DIAPASoN che punta ad esplorare le differenze tra programmi nella semantica dei linguaggi di programmazione per computer.

Vai al Curriculum

Contatti

E-mail:
aurore.alcolei2@unibo.it

Dipartimento di Informatica - Scienza e Ingegneria
Mura Anteo Zamboni 7, Bologna - Vai alla mappa

Ultimi avvisi

Al momento non sono presenti avvisi.