 This is the homepage of Camilo Rocha, a Ph.D. student in Formal Methods and Software Engineering, interested in techniques for building reliable software systems. I work under the supervision of Prof. José Meseguer. I am also an Instructor in the Department of Informatics at Escuela Colombiana de Ingeniería, in Bogotá (Colombia). You can contact me by:
|