Insegna ”Metodi Formali dell’Informatica II” e ”Complementi di Logica” presso il corso di laurea magistrale in Informatica dell’Università di Torino.
È membro di alcune istituzioni scientifiche nazionali e internazionali, tra cui l’Accademia delle Scienze di Torino e il comitato scientifico dell’EACSL (European Association of Computer Science Logic).
È editore della rivista TOCL (ACM Transactions on Computational Logic). I suoi interessi di ricerca sono nell’ambito della semantica formale dei linguaggi di programmazione e della complessità implicita: su questi temi ha pubblicato una monografia, più di 70 articoli su riviste internazionali, e ha curato come editor alcuni numeri speciali di riviste internazionali.
Si interessa anche di divulgazione scientifica, e fa parte del consiglio delle responsabili dell’associazione ”Donne e Scienza”.
—
Vi ricordiamo poi, che per l’evento abbiamo bisogno del vostro aiuto. La cifra non è enorme ma può permetterci di realizzarlo al meglio. Se volete darci una mano, allora seguite il link qui sotto.
Un vivissimo “grazie a tutti” dallo staff.
