camilorocha.info - Camilo Rocha

home > domains > camilorocha.info

Example domain paragraphs

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. More recently, I have been working on formal methods and algorithms for machine learning over graphs.

You can contact me by:

email : camilo.rocha [at] javerianacali.edu.co

Links to camilorocha.info (1)

• lsfa2022.github.io LSFA 2022