Gustavo Henrique Porto de Carvalho

Possui graduação em Ciência da Computação pela UFPE (2006), especialização em testes pelo Programa de Residência em Engenharia de Software da UFPE (2007), mestrado e doutorado em Ciência da Computação pela UFPE (2010 e 2016, respectivamente), o último com período sanduíche na Universidade de York (Inglaterra). Professor adjunto do Centro de Informática (CIn) da Universidade Federal de Pernambuco (UFPE), sua principal área de interesse é Engenharia de Software, com ênfase em testes e métodos formais.

graduation at Ciência da Computação from Universidade Federal de Pernambuco (2006), master's at Ciência da Computação from Universidade Federal de Pernambuco (2010) and doctorate at Ciência da Computação from Universidade Federal de Pernambuco (2016). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: algoritmos, estruturas de dados, agentes inteligentes, inteligência artificial and simuladores.