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.