|
Assistant Professor (ricercatore) at Dipartimento di Informatica Università di Roma "La Sapienza" Via Salaria, 113 - 3rd floor - Room 310 I-00198 Roma (ITALY) e-mail: gorla AT di.uniroma1.it (replace 'AT' with '@') tel: +39-06-4991.8434 fax: +39-06-85.41.842 |
|
I was born in Rome in 1976; I received the Master degree (summa cum laude) in Informatica
from the University of Rome "La Sapienza" (ITALY), in December 2000. During all 2001,
I had a postdegree collaboration with the Department of Sistemi ed Informatica,
University of Firenze. In 2004, I got there my PhD in "Informatica ed Applicazioni",
under the supervision of Prof. Rocco De Nicola and of Prof. Rosario Pugliese.
In 1999, I received the Conservatorium diploma in violin with the highest marks.
From October 2003 to February 2006, I was a research fellow at the Department of
Informatica of the University of Rome "La Sapienza"; in March 2006,
I became an assistant professor of the same department.
I was an invited speaker for SecCo'03, affiliated to ICALP, and
I organised its fifth edition in 2007, affiliated to CONCUR.
I was a PC member and panelist of EXPRESS'07,
and I will serve as PC co-chair for EXPRESS'08 and EXPRESS'09,
all co-located with CONCUR.
I have been guest editor for the Electronic Notes in Theoretical Computer Science
and for the Journal of Computer Security.
Detailed Curriculum vitae in
italian
and in
english.
My research interests include, among others, semantics of concurrent programming;
process calculi with distribution, mobility and/or cryptography;
formal methods for security; categorial semantics of concurrency.
See my Publications
Webpage (where you can download all my papers).
I am also part of several Research Projects.