I am a research engineer working in the MISTIS research group at INRIA Grenoble Rhône-Alpes. I did my Ph.D under the supervision of Myriam Desainte-Catherine and Camilo Rueda at LaBRI. Prior to that, I received the engineer degree in both Computer Science and Electronics from Universidad Javeriana under the supervision of Carlos Olarte and Eugenio Tamura.
I am also a member of the AVISPA research group.
Here you can find my curriculum vitae.
My research interests include:
- Formal specification and verification of timed and reactive concurrent systems
- Interactive multimedia systems
- Concurrent constraint programming
- FPGA implementation
- Embedded systems