Daniele Gorla

Assistant Professor
Personal site: 

Short Biography: 

Daniele Gorla was born in 1976. He got his master's degree with honours in Computer Science from the University of Rome “La Sapienza” (December 2000). He got his Ph.D. in Computer Science from the University of Florence (February 2005) under the supervision of Rocco De Nicola and Rosario Pugliese. Since March 2006 he is assistant professor at the Computer Science Department of the University of Rome "La Sapienza".

His research focuses on formal methods in computer science, mostly for concurrent programming languages and calculi, with application to security. He published papers in main journals and conferences in theoretical computer science. He acted as reviewer for most journals and conferences of his area.

In 2003 he was invited speaker at the workshop SecCo’03 affiliated with ICALP. He visited the University of Sussex at Brighton in 2003 with a “Marie Curie” grant, where he was appointed research associate in 2005. In 2008 he was visiting professor at the laboratory PPS of the University Paris VII. In September 2012, he was a visiting fellow at the University of Technology Sidney (Australia). He gave seminars in different European Universities, including the Imperial College of London and the Ecòle Polytechnique of Paris.

He acted as program committee member for relevant scientific international events (EXPRESS’07-’08-’09, SecCo’07, PLDI’08, MFPS’09, CONCUR'10), often acting also as chairman (SecCo’07, EXPRESS’08-’09). He was guest editor for the following journals: Electronic notes in computer science (Elsevier), Mathematical structures in computer science (Cambridge university press) and Journal of Computer Security (IOS Press).

In 2013 he will be the general chair of the 16th European Joint Conference on Theory and Practice of Software (ETAPS).

Projects list: 
  • "Quantified Information Flow for Process Algebras".
  • Grant of the Royal Society (UK), for bilateral exchanges between "La Sapienza" and "Kings College" of London.