I am a Professor at the Department of Computer Science of the Federal University of Ceara, Brazil. I work with automated Software Engineering and am passionate about investigating new/better ways of representing, building, verifying and maintaining programs/models and their related artifacts.
Until July 2016, I was a Research Fellow at the School of Computer Science of the University of Birmingham UK, where I applied model-based techniques into practical problems in Medicine – ranging from formal verification of business (medical) processes to graph representation and reasoning over constraints.
I did my PhD within the DiverSE research group at Inria, Rennes, France. In a nutshell, I focused on assisting the safe design of Product Lines. We wanted to understand how can we better derive/transform assets (e.g., models, programs) after a product configuration, considering the syntax and semantics of their corresponding language.
João Bosco Ferreira Filho 