This is the homepage of Camilo Rocha. Currently, I am in the Department of Informatics at the Escuela Colombiana de Ingeniería, in Bogotá (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. During my graduate studies at the University of Illinois, I worked under the supervision of Prof. José Meseguer and I was a Research Assistant in the Formal Methods and Declarative Languages Laboratory. 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: