Jorge A. Perez

 

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
  • Process Calculi: Theory, Applications
  • 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 waste time maintaining a blog.

me-skull.JPG
I am a native of Colombia, which is located in the middle of America. We speak Spanish there. You might want to read this and this about Colombia. Colombian music and nice views of its capital (Bogotá) are available in this Sidestepper video. Gli Italiani possono leggere su questo miracolo.

 


Site Meter