IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Juan Manuel Crespo

Juan Manuel Crespo

La información de esta página podría estar desactualizada debido a que Juan Manuel Crespo no es actualmente miembro del Instituto.

Juan Manuel Crespo
BS - Universidad Nacional de Rosario, Santa Fe, Argentina
Antiguo PhD Student

Página web: https://software.imdea.org/~jmcrespo/
Tutor: Gilles Barthe

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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.

Publications

For more information visit my homepage.

Research Interests

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