Simona Ronchi Della Rocca `e laureata in Fisica, ed `e dal 1987

Simona Ronchi Della Rocca è laureata in Fisica, ed è dal 1987 professore
ordinario di Fondamenti dell’informatica presso l’Università di Torino, Facoltà
di Scienze M.F.N.
• Attività scientifica.
I suoi interessi di ricerca sono nel campo dell’Informatica Teorica, in particolare su temi di semantica formale dei linguaggi di programmazione, logica della programmazione e teorie dei tipi, tipi intersezione, complessità
computazionale implicita. Su questi temi è autore di più di 80 pubblicazioni, su riviste e atti di congressi internazionali. Ha inoltre scritto
diverse pubblicazioni di carattere scientifico-divulgativo.
E’ membro di:
– EACSL (European Association for Computer Science Logic) Scientific Board, dal 2009.
– Accademia delle Scienze di Torino, dal 2001.
– TLCA (Typed Lambda Calculus and Applications) Steering Committee, dal 2007.
– Consiglio Scientifico dell AILA (Associazione italiana di Logica e sue
applicazioni), dal 2000 al 2008.
– LICS (Logic in Computer Science) Organizing Committee, dal 1992
al 2003.
Progetti di ricerca:
– Coordinatore italiano del progetto INRIA Equipe Associe CRISTAL
(Contrle des Ressources par Interprtations Smantiques et Thorie de
la dmonstrAtion Linaire), in collaborazione con INRIA EPI Carte
(Loria, Nancy) (2009 - 2012).
– Responsabile locale del progetto PICS (Logique linaire et applications) in collaborazione con LIP-Lyon, LIPN-Villetaneuse, PPS-Paris,
Università di Bologna, Università di Torino, Università di Roma Tre
(2009 - 2012).
– Coordinatore nazionale del progetto MIUR Controllo e certificazione
dell’uso delle risorse (CONCERTO) (2007-2009)
– Coordinatore nazionale del progetto MIUR Logical Foundations of
Abstract Programming Languages (FOLLIA) (2004 - 2006)
– Coordinatore nazionale del progetto MIUR From Proofs to Computation Through Linear Logic (PROTOCOLLO)(2002 - 2004)
– Coordinatore locale del progetto MIUR Linear Logic and Behind (coordinatore nazionale Andrea Asperti)(2000-2002)
– Coordinatore locale del progetto europeo TMR Linear Logic (coordinatore generale Laurent Regnier, Marseille)(1996-2000)
1
– Coordinatore locale del progetto europeoTyped Lambda Calculus
(coordinatore generale Jean Yves Girard) (1987-1995)
Appartenenza a comitati di programma e inviti a conferenze internazionali
(dal 1992):
– LICS 92, Logic Colloquium 94, Logic Colloquium 95, TLCA 99,
FLOC 99, TLCA 01, ICTCS 01, AILA 05, MFPS 06, Logic Model
and Computer Science 06, LSFA 07, TLCA 07, LSFA 08, ICALP 09,
MFCS 09, LSFA 09, ICALP 09, MFPS 09, DICE 10 (ETAPS workshop), LCC 10 (LICS workshop), CSL 10, CAI 11, FOPARA 11,
LSFA 11, DICE 12 (ETAPS workshop), LINEARITY 2012 (ETAPS
workshop), DICE 13 (ETAPS workshop) (chair), CSL 13 (chair).
Inviti per periodi di ricerca:
– Paris PPS 2012 (1 mese), Paris PPS 2010 (1 mese), Marseille IML
2004 (1 mese), Marseille IML 1993 (3 mesi).
Attività editoriale:
– Membro dell Editorial Board del giornale ACM Transactions on Computational Logic (TOCL).
– Editore di un numero speciale di TOCL su “Implicit Computational
Complexity”, con Patrick Baillot e Jean Yves Marion, volume 10 (4),
2009)
– Editore di un numero speciale di LMCS (Logical Methods in Computer Science) su “Typed Lambda Calculus and Applications” (con
Paula Severi).
– Editore di un numero speciale di MFCS (Mathematical Structures
in Computer Science) su “Intersection Types - new insights”, con
Mariangiola Dezani-Ciancaglini (Volume 13 (1), 2003).
– Editore del volume 4583 di LNCS “ Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007”.
– Editore del volume 2202 di LNCS “ Theoretical Computer Science
- 7th Italian Conference, ICTCS 2001”, con Antonio Restivo e Luca
Roversi.
• Attività didattica.
Attualmente è titolare dei corsi “Complementi di Logica“ ’e “Metodi
Formali dell’Informatica II”, quest’ultimo insieme alla prof. Mariangiola Dezani, per la laurea magistrale in Informatica, indirizzo Metodi e
Modelli.
Ha insegnato presso il corso di Laurea in Informatica sin dalla sua fondazione (1970), tenendo i corsi di “Sistemi per il trattamento dell’Informazione
I e II”, “Teoria e Applicazione delle Macchine Calcolatrici”, “Teoria degli
Algoritmi e Calcolabilità”, “Programmazione”. Attualmente è titolare
2
del corso di “Fondamenti di Informatica” per la laurea triennale in Informatica e “Logica della Programmazione e Teoria dei Tipi” per la laurea
magistrale in Metodologie e Sistemi Informatici.
Ha insegnato anche presso altri corsi di laurea dell’ateneo torinese: “Logica” per il corso di laurea in Psicologia, “Sistemi per il trattamento dell’Informazione”
per il corso di laurea in Comunicazione Scientifica, “Informatica” presso
il corso di laurea in Scienze Strategiche.
E’ stata membro del Comitato Scientifico della scuola di Dottorato in
Scienza e Alta Tecnologia dell Università di Torino, indirizzo Informatica,
e ha tenuto, per i dottorandi, corsi di “Semantica”, “Teoria dei domini”
e “Logica Computazionale”. Ha tenuto corsi di Informatica teorica per
scuole di dottorato a Chambery, Aussois, Marsiglia, Pisa, Udine.
• Incarichi organizzativi:
– E’ stata presidente del consiglio di Corso di Laurea in Informatica,
vice-preside della Facoltà di Scienze M.F.N., rappresentante in Senato Accademico dell’area Matematica-Informatica. E’ attualmente
presidente della Scuola Universitaria interfacoltà in “Scienze Strategiche” (S.U.I.S.S.).
• Altri interessi:
– Membro del Comitato scientifico del Centro Interuniversitario degli
Studi per la Pace (Torino).
– Membro dell’associazione nazionale “Donne e Scienza”.
3