Jorge A. Perez From Jan 2007 until Dec 2009: PhD Student in Computer Science (Ciclo XXII) Supervisor: prof. Davide Sangiorgi Dipartimento di Scienze dell'Informazione Alma Mater Studiorum - Universita' di Bologna Bologna Italy Email: japerezp ATT gmail DOT com (you know what to replace...)

Research interests
Concurrency Theory: Process calculi and their associated reasoning techniques
Semantics of Programming Languages
Declarative Approaches for Concurrency.

During my PhD I studied the Expressiveness of Higher-Order Calculi.

Since Apr 2010: PostDoc at CITI - FCT New University of Lisbon, Portugal.
Please go to my complete Web site for further information (redirecting there in 10 secs)