PhD Student (XXII Ciclo) under the supervision of prof. Davide Sangiorgi
Department of Computer Science
University of Bologna
Bologna, Italy
Email: lastname@cs.unibo.it Previous position:
Research Assistant at the AVISPA Research Group,
Universidad Javeriana at Cali (Colombia) Present Research Interests - Concurrency Theory: Semantics, Verification Techniques
- Semantics of Programming Languages
- Declarative Approaches for Concurrency. In particular, Concurrent Constaint Programming (CCP)
You might be thinking (I do it sometimes): What is this Theory Good for? I also invest (waste) time maintaining a blog. | 
|