Welcome!

This is the homepage of Camilo Rocha, a PhD student interested in Formal Methods and Software Engineering, more specifically, in techniques for building reliable software systems. I work under the supervision of Prof.José Meseguer. My resume can be found here.

You can contact me by:

• email: hrochan2@cs.uiuc.edu
• phone: +1-(217)-333-5219
• address: Camilo Rocha, 2111 Siebel Center, 201 N Goodwin Ave, Urbana, IL 61801