Juan Manuel Crespo
BS - National University of Rosario, Santa Fe, Argentina
The information in this page may be outdated, as Juan Manuel Crespo is no longer a member of the Institute.
Former PhD Student
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
-
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices..
J. M. Crespo, C. Luna, G. Betarte. In S. Berardi,
F. Damiani, and U. de'Liguoro (Eds.): TYPES 2008,
LNCS 5497, pp. 49-63. Springer-Verlag Berlin Heidelberg 2009.
To appear.
For more information visit my
homepage.
Research Interests
Programming Language Semantics, Type Theory, Functional programming,
Category Theory, Logic and Software Verification.