IMDEA Software

IMDEA initiative

Home > People > Juan Manuel Crespo

Juan Manuel Crespo

The information in this page may be outdated, as Juan Manuel Crespo is currently not a member of the Institute.

Juan Manuel Crespo
BS - National University of Rosario, Santa Fe, Argentina
Former PhD Student

Home Page:
Adviser: Gilles Barthe

Brief Introduction

I’m a PhD. student at IMDEA Software under the supervision of Gilles Barthe.
I received my degree (Licenciado) in Computer Science on April of 2009 from Universidad Nacional de Rosario, Argentina. It is a five year degree with thesis, roughly equivalent to a Master degree in the EU system.


For more information visit my homepage.

Research Interests

Programming Language Semantics, Type Theory, Functional programming, Category Theory, Logic and Software Verification.