Simona Ronchi della Rocca

foto

Simona Ronchi Della Rocca
http://www.di.unito.it/~ronchi/

Simona Ronchi Della Rocca e professora ordinaria di Informatica presso l'Universitàa di Torino, dipartimento di Informatica, dal 1987. Insegna attualmente il corso di "Metodi Formali dell'Informatica" presso il corso di laurea triennale in Informatica dell'Universitàa di Torino. E' membro di alcune istituzioni scienti che nazionali e internazionali, tra cui l'Accademia delle Scienze di Torino e l'EACSL (European Association of Computer Science Logic), di cui e vice-presidente. È editore della rivista TOCL (ACM Transactions on Computational Logic). I suoi interessi di ricerca sono nell'ambito della fondazione logica dei linguaggi di programmazione, dei metodi formali dell'Informatica e della complessita implicita: su questi temi ha pubblicato una monogra a, piu di 90 articoli su riviste internazionali e atti di convegni internazionali, e ha curato come editor alcuni numeri speciali di riviste internazionali. Si interessa anche di divulgazione scienti ca.