[ Profile ] [ Service ] [ Teaching ] [ Recent Committees ] [ Tools for Scows ] [ Publications ]

Profile

Associate Professor at Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento, Italy

Previously:

Research Associate at Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy (2002-2005)

Standardization and Interoperability Manager at Wireless Software Competence Center, Marconi Plc, Pisa, Italy (2001-2002)

System Engineer at Aethra Telecommunications SpA, Ancona, Italy (1999-2001)

Marie Curie Fellow at BRICS, Computer Science Department, Aarhus University, Denmark (1997-99)

Research Associate at Computer Laboratory, Cambridge University, U.K. (1996-97)

[toc]

Service

ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA), Member

6th FP European Integrated Project IST-016004 SENSORIA (September 2005 - February 2010), Site and Workpackage leader

Italian PRIN 2006 Project BISCA - Sistemi e calcoli di ispirazione biologica e loro applicazioni (February 2007 - January 2009), Site leader

II level International Master in Computational and Systems Biology (a.y. 2006/07), Dean

International Doctorate School in Information and Communication Technology, Deputy Dean 2004-2007

Journal of Higher-Order and Symbolic Computation, Springer, Associate Editor

[toc]

Teaching 2011--2012

Concurrency, Laurea Magistrale in Informatica (2nd semester, 6 ECTS)

Formal languages and compilers, Laurea Triennale in Informatica (2nd semester, 12 ECTS)

[toc]

Recent Committees

ICFP 2011, 16th ACM SIGPLAN International Conference on Functional Programming (Tokyo, Japan, September 19-21, 2011), PC Member
proceedings

CMSB 2010, 8th Conference on Computational Methods in Systems Biology (Trento, Italy, September 29 - October 1, 2010), PC Chair
proceedings

TGC 2010, 5th Symposium on Trustworthy Global Computing (München, Germany, February 24-26, 2010), PC Member
proceedings

FBTC 2010 (From Biology to Concurrency and back) (satellite workshop of ETAPS 2010, Paphos, Cyprus, March 27, 2010), PC Co-Chair
proceedingss

YR-CONCUR 2009 (Young Researchers Workshop on Concurrency Theory) (satellite workshop of CONCUR 2009, Bologna, Italy, September 5, 2009), PC Member

EXPRESS 2009, (satellite workshop of CONCUR 2009, Bologna, Italy, September 5, 2009), PC Member
proceedings

[toc]