About Me  |  CV  |  Research Interests  |  Publications  |  Teaching  | 

About me

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.

Curriculum Vitæ

Here you can download the most updated version of my cv.

Research Interests

My main research interests are:

• Type Theory
• Functional Programming
• Programming Language Semantics
• Category Theory
• Theorem Provers

Publications

• Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz and Mark Marron: From Relational Verification to SIMD Loop Synthesis. PPoPP2013. Best Paper Award.[PDF|BIB]
• Gilles Barthe, Juan Manuel Crespo and César Kunz. Beyond 2-safety: asymmetric product programs for relational program verification. LFCS 2013: 29-43.[PDF|BIB]
• Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas: Secure Multi-Execution through Static Program Transformation. FMOODS/FORTE 2012: 186-202.[PDF|BIB]
• Juan Manuel Crespo, Cesar Kunz: A machine-checked framework for relational separation logic. SEFM 2011: 122-137.[PDF|BIB]
~
• Gilles Barthe, Juan Manuel Crespo, Cesar Kunz: Relational Verification Using Product Programs. FM 2011: 200-214.[PDF|BIB]
• Juan Manuel Crespo, Gustavo Betarte, Carlos Luna: A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. TYPES 2008: 49-63.[PDF|BIB]

Teaching

At Rosario I used to be Teaching Assistant. From July of 2006 to April 2009 I was involved in the following courses:

• Data Structures
• Programming Language Analisys II (Functional Programming).
• Formal Construction of Programs (Type Theory).
• Discrete Mathematics