Skip to main content

Pedro Antonino

Personal photo - Pedro Antonino

Pedro Antonino

Doctoral Student

Robert Hooke Building, Parks Road, Oxford OX1 3PR


I'm interested in systems verification in general. So far I have worked on techniques to alleviate the state explosion problem arising in the verification of concurrent systems. I'm particularly focused on techniques that are based on the explicit analysis of only small parts (i.e. some components) of a given concurrent system. Most of my work has been carried out using the CSP (Communicating Sequential Processes) process algebra, a very flexible formal notation, and its communicating-labelled-transition-systems operational semantics.


I did my undergraduate and masters degree in Computer Science under the supervision of Prof. Augusto Sampaio at the Universidade Federal de Pernambuco, Brazil. Currently, I'm in the 3rd year of my PhD in CS at the University of Oxford, being supervised by Prof. Bill Roscoe.

Selected Publications

View AllManage publications