Note

Education:

PhD in Computer Science, Pisa University

 

Profile:

Associate Professor at Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento, Italy (2005-present)

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

Standardization and Interoperability Manager at Wireless Software Competence Center, Marconi-OTE SpA, 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)

 

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