GIOV ore 14:30-16:00 oppure su appuntamento da concordare via email
Venneri è stata assegnista CNR, poi Ricercatrice presso il Dipartimento di Informatica dell’Università di Torino, dove è diventata Professore Associato. Da Torino si è, quindi, trasferita nell’Ateneo di Firenze: attualmente afferisce al Dipartimento di Statistica, Informatica, Applicazioni (DiSIA) dell'Ateno di Firenze.
Venneri è attualmente Professore Associato di Informatica presso il Dipartimento di Statistica, Informatica, Applicazioni (DiSIA). Ha partecipato a progetti finanziati dalla Unione Europea (progetti SENSORIA, ASCENS, BETTY) e dal Ministero dell’Istruzione, dell’Università e della Ricerca (come responsabile dell’unità di ricerca dell’Università di Firenze per i progetti EOS, EOS DUE, DISCO). E’ stata coinvolta nel Comitato Scientifico e nell’organizzazione di diverse conferenze internazionali. La sua attività di ricerca si è sviluppata nell’area dei fondamenti dei linguaggi di programmazione, in particolare su argomenti relativi alla semantica e alla teoria dei tipi. I suoi interessi più recenti si inquadrano nella ricerca sui tipi-sessione per il controllo delle comunicazioni in sistemi adattivi.
L'attività di ricerca si colloca nell’area dei fondamenti dei linguaggi di programmazione, in particolare su argomenti relativi alla semantica e alla teoria dei tipi. I suoi interessi e risultati più recenti si inquadrano in due filoni principali:
Legenda