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).
I have worked in the following projects:
I work in Chalmers University of Technology as teaching assistant on the courses:
Besides I have the following past experience:
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.
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)
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.
Jesús Mauricio Chimento.
Universidad Nacional de Rosario, Argentina.
April 13, 2012.
Visiting Address: Room 5446, 5th floor EDIT building (Rännvägen 6B, Johanneberg campus ).
Tel (office): 031-7721694.
Email: chimento (a) chalmers.se