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 working as software engineer at Gocase, helping to develop web applications that sustain the company's fast-paced growth.
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.