I am a PhD. Student in the IT University of Copenhagen, under direction of professor Thomas Hildebrandt.

From Sept. 2010 until Jan. 2011 I was visiting researcher at the Department of Informatics, University of Lisbon, working with professor Vasco Vasconcelos.

In a nutshell, my main area of research is the development of theoretical foundations (ie. concurrency theory, specification logics, type systems) in Service Oriented Computing and Business Process Management.

I’m affiliated to the Programming, Language and Semantics research group, the FIRST graduate school and the AVISPA research group.

Previous positions:

Since 2006 till 2008 I was working at the Department of Engineering and Information Science of the University of Trento under supervision of professor Fabio Massacci. Our main interests were developing concurrency models for requirements engineering methodologies and business processes.

Since 2004 till 2006 I was working with the AVISPA Research Group, in the Pontificia Universidad Javeriana - Cali. We analysed the application of concurrency models in special classes of communication protocols (P2P systems).

Erdos Number: 4