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 and Software Engineering, more specifically on techniques for building reliable software systems.