Jorge A. Perez From Jan 2007 until Dec 2009: PhD Student in Computer Science (Ciclo XXII) |
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)
Updated Feb 6, 2008