Mauricio Rocha

Mauricio Rocha is Assistant Professor at the Technology and Urbanim Center of the State University of Piauí (UESPI), Teresina, Brazil. He received the B.Sc. degree in Computer Science from the State University of Piauí (UESPI), Teresina, Brazil, in 2002, and the M.Sc. degree in Electrical Engineering from the Mackenzie Presbiterian University, São Paulo, Brazil, in 2008. He is Ph.D. student in computer science from the University of São Paulo (USP), São Carlos, Brazil. His research interests include model-driven engineering (MDE), software testing and formal models.