Paola Quaglia's homepage

Address:
DISI, University of Trento
via Sommarive 14
38123 Povo (TN)
Italy

+39 0461 283905
quaglia at disi dot unitn dot it

Location - pragmatically:
"POVO 0" i.e. old builging of the Faculty of Science,
take the stairs close to the porter's lodge (upwards),
turn to the right,
latest office on the right

[ 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-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)

[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]

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

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

[toc]