Jesús Mauricio Chimento


PhD STUDENT
FORMAL METHODS RESEARCH GROUP
DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING
CHALMERS UNIVERSITY OF TECHNOLOGY


About me

I'm Jesús Mauricio Chimento, PhD student in computer science at Chalmers University of Technology.

My research interests focus on studying Formal Methods, Certified Programming and Functional Programming. Regarding Formal Methods, I am keen on studying Program Specification and Program Verification (in particular Theorem Proving and Runtime Verification).

Publications

StaRVOORS: A Tool for Combined Static and Runtime Verification of Java

J. M. Chimento, W. Ahrendt, G. Pace, and G. Schneider
Runtime Verification 2015 (RV'15). Volume 9333 of LNCS, pages 297-305, Vienna, Austria, September 23-25 2015. Springer.

PDF Bibtex Pre-print PDF

A Specification Language for Static and Runtime Verification of Data and Control Properties

W. Ahrendt, J. M. Chimento, G. Pace, and G. Schneider
Formal Methods 2015 (FM'15), 20th International Symposium on Formal Methods. Volume 9109 of LNCS, pages 108-125, Oslo, Norway, June 24-26 2015. Springer.

PDF Bibtex Pre-print PDF

Formally verified implementation of an idealized model of virtualization

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento and Carlos Luna
19th International Conference on Types for Proofs and Programs (TYPES 2013)

PDF

Modelos de Memoria en entornos de Virtualización

J. M. Chimento, G. Betarte, J. D. Campo and C. Luna
Technical Report 12-02, Instituto de Computación, Facultad de Ingeniería, Universidad de la República, Uruguay.

PDF

Theses

Análisis de modelos de memoria en plataformas de virtualización. Formalización de un prototipo funcional de plataforma con Cache y TLB.

MSc. Thesis

Jesús Mauricio Chimento.
Universidad Nacional de Rosario, Argentina.

PDF

Teaching

I work as teaching assistant on the courses:

Besides I have the following past experience:

  • Chalmers University of Technology

    • Object Oriented Programming (TDA 547) - 2014

  • Universidad Nacional de Rosario (Argentina)

    • Analysis of Programming Languages I (2012 - 2013)
    • Communications (2012)
    • Formal Program Construction In Type Theory (2011 - 2012)
    • Introduction to Computer Science (2011)
    • Programming Languages Analysis II (2007 - 2010)
    • Data Structures (2007 - 2009)
    • Computer Architecture (2006)

Contact Information

Visiting Address: Room 5446, EDIT-building (Rännvägen 6B).
Tel (office): 031-7721694.
Email: chimento (a) chalmers.se