Pedro obteve o título de mestre e doutor pela Escola Politécnica da USP, trabalhando no D-Lab. Atualmente, é professor associado do Departamento de Engenharia Mecânica da Universidade Federal de Pernambuco, Brasil. Seus interesses de pesquisa, em colaboração com o D-Lab, estão voltados para a modelagem formal de sistemas discretos, sistemas de supervisão, verificação de modelos e planejamento e programação da produção. Pedro desenvolveu um aplicativo de verificação formal com o D-Lab e é o autor do sistema Corona, desenvolvido na UFPE.

Arquivos