The information in this page may be outdated, as Juan Manuel Crespo is currently not a member of the Institute.
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.
Programming Language Semantics, Type Theory, Functional programming, Category Theory, Logic and Software Verification.