Martín Ochoa

  Universidad del Rosario
  Cl. 12c #6-25, Bogotá, Colombia

I'm a profesor principal (≈ assistant professor) at the Applied Mathematics and Computer Science (MACC) department of the Universidad del Rosario. I am interested in various foundational and applied aspects of Software Security, including: Information Flow Analysis, Security Testing, Software Diversity, Location privacy and Cyber-Physical Systems.

Short bio

I studied Systems Engineering in San José, CR (ULatina) and Mathematics in Rome (La Sapienza). I continued my math studies in Munich (LMU) and Sophia-Antipolis (INRIA). Afterwards I completed a PhD in Computer Science with a thesis on model-based security (TU Dortmund) and have worked as a consultant and researcher for Siemens Corporate Technology in Munich. Before joining the Universidad del Rosario, I was a post-doc at the Chair for Software Engineering of the TU München and assistant professor at the Singapore University of Technology and Design.





  • Detection of Malicious and Deceived Insiders (PI, 2016-2017)
  • RESILIoT (co-PI, 2016-2017)
  • CYPRO (co-PI, 2015-2016)


I currently externally co-supervise the following researchers at SUTD: