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:
|