Indiana Dunes National Park - Michigan City, IN This is the homepage of Camilo Rocha. Currently, I am an Associate Professor in the Department of Electronics and Computer Science at the Pontificia Universidad Javeriana, in Cali (Colombia).
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.

You can contact me by:
  • email: camilo.rocha [at]
  • email: me [at]
  • phone: +57-(2)-321-8200 ext. 8610
  • address: Calle 18 118-250, Cali, Colombia
Upcoming and Past Events