I'm Ernesto. I'm a Computer Scientist/Software Engineer living in São Paulo, Brazil. I got a MSc and a Ph.D in computer science during my time at 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 Loggi trying to reinvent logistics through technology.
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.