DIPARTIMENTO   DI   INFORMATICA
UniversitÓ di Torino

THE GROUP'S LOGO
Research on "Semantics and Logics of Computation"
"Semantics of programming languages" group

la mia foto

Simona RONCHI DELLA ROCCA

Full professor

Dipartimento di Informatica,
UniversitÓ di Torino,
Corso Svizzera 185, I-10149 Torino, Italy
Phone: +39 011 6706734
Fax: +39 011 751603
E-mail:ronchi at di.unito.it


Member of the Steering Commitee of DICE (Developments in Implicit Computational Complexity), from 2009
Member of the Steering Commitee of LCC (Logic and Computational  Complexity), from 2009
Member of the Scientific Board of EACSL (European Association for Computer Science Logic), from 2009
Member of the Steering Committee of TLCA (Typed Lambda Calculus and Applications), from 2007. Member of the Association Board of AILA (Italian Association of Logic and Applications), 2000-2006.
Member of the Accademy of Sciences of Turin (Accademia delle Scienze di Torino), from 2001.
Member of the Scientific Committee of the Interuniversity Center for Peace Studies (Centro Interateneo di Studi per la Pace), from 2000.
Member of the Organizing Committee of LICS (Logic in Computer Science), 1992-2003.
Member of EATCS (European Association of Theoretical Computer Science) and of the Italian Chapter of EATCS 

Short professional CV


RESEARCH:

Leader of the research group "Semantics of Programming Languages",
inside
the research group "Semantics and Logics of Computations"



[Group's HOME] [Research on "Semantics and Logics of Computation"] [Department's news and events] [Department's HOME]


Last update: Dec. 31, 2010