Juan C.  Jaramillo

Full name: Juan Camilo Jaramillo Londoño

I am a PhD candidate at RUG (Groningen, The Netherlands), supervised by Jorge A. Pérez and Dan Frumin. My research focuses on the logical foundations of type systems for concurrency.

I also Co-Organize the NetTCS seminar, a joint initiative of research groups in theoretical computer science in The Netherlands.

My research interest include: 

• Logical Foundations of Concurrency;

• Session-typed π-calculi;

• Rewriting Logic and Maude.

For full details, please see  my CV.