Ruslán Ledesma Garza

I am a doctoral student working in the Verification Systems Group at the Max Planck Institute for Software Systems. I received a BEng degree in Computer Science from Universidad de las Américas, Puebla in January 2009. My work is being developed under the supervision of Andrey Rybalchenko.

Contact

Max Planck Institute for Software Systems
Campus
Building Wartburg
Room #302
D-66123 Saarbruecken
Germany

Telephone: +49 681 9303-677
Fax: +49 681 9303-699

Email:

Research

As a undergraduate student my research interests were focused towards basic research in the area of non-classical belief revision. Right now I am interested in type systems and abstract interpretation techniques for resource bounds computation.

Publications

Brief study of the relation between AGM postulates (-7) and (+7) under non-classical logics, LANMR'08, 2008.

Theses

Sobre las relaciones de implicación entre los postulados AGM bajo lógicas no clásicas (undegraduate thesis, in Spanish only), Universidad de las Américas, Puebla, 2009.
(Awarded first place at the undergraduate/informatics category in the XXII National Contest of Informatics and Computing Theses of the National Association of Education Institutions in Information Technologies, ANIEI, Mexico.)