João Arthur Brunet Monteiro is a PHD student at Federal University of Campina Grande (UFCG), Brazil. He received a BS and Master degrees in Computer Science at the same university in 2007 and 2010, respectively. He has been involved with research and development activities since 2005 when he has started his research activities with an undergraduate research fellowship granted by Brazilian Research Council (CNPq), Brazil. He has worked as research assistant and developer in the DesignChecker and AutoTest projects at the Formal Methods Groups and Distributed Systems Lab at UFCG, respectively.

Curriculum Vitae.