I'm Ernesto. I'm a Computer Scientist/Software Engineer living in Fortaleza, Brazil. I got a MSc and a Ph.D in computer science during my time on DIMAp/UFRN (and HHU for almost a year). During my time in academia I did research on software testing and formal methods.
I'm currently living in São Paulo (Brazil) and working as software engineer at Bluesoft.
Bellow you will find a list of my published papers and other academic work. If you are interested in more information about my academic profile, visit my Lattes page.