About me

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.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s