Perfil Camilo Rocha
Professor Rocha's research interests are in the use of formal methods for building reliable software systems. In his research, he privileges the use of mathematical logics -- such as rewriting logic -- to study the behavior of safety-critical and highly concurrent software systems: he focuses on the formal specification and verification of data types, algorithms, and concurrent computation. More recently, Professor Rocha is working on developing techniques and tools for the formal verification of infinite-state and open systems such as robotic systems, security protocols, and web technology.
His theoretical areas of interest also include mathematical logic, algorithms, and software engineering.