This is the homepage of Camilo Rocha. I am a Professor in the Department of Electronics and Computer Science at the  Pontificia Universidad Javeriana, in Cali (Colombia).  Starting February 2020, I have been appointed Dean of Engineering and Sciences.

I earned a B.S. and a M.Sc. degree in Informatics from the Universidad de los Andes (Bogotá), and a M.Sc. degree in Mathematics and a Ph.D. degree in Computer Science from the University of Illinois at Urbana-Champaign. My main research interests are in formal methods, algorithms, and software engineering, more specifically on techniques for building reliable software systems. More recently, I have been working on formal methods and algorithms for machine learning over graphs.

You can contact me by:

New: I am the PC Chair of the 16th International Workshop on Rewriting Logic and its Applications to be held in Torino, April 11-12  2026, as a satellite event of ETAPS 2026. Check out the workshop's webpage at https://wrla2026.github.io/


 CV  |  DBLP  |  Google Scholar  |  Profile in Javeriana  |  ORCID  |  uHunt