gustavo henrique porto de carvalho

CIN - CENTRO DE INFORMÁTICA - CIN

Perfil Pessoal

Descrição pessoal

I am Lecturer at Centro de Informática (CIn) of the Universidade Federal de Pernambuco (UFPE), Brazil.

Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)

D.Phil. in Computer Science, 2016
Universidade Federal de Pernambuco (BR)

M.Sc. in Computer Science, 2010
Universidade Federal de Pernambuco (BR)

B.Sc. in Computer Science, 2006
Universidade Federal de Pernambuco (BR)

Áreas de Interesse (áreas de interesse de ensino e pesquisa)

My main research interest is on Software Engineering, with emphasis on tests and formal methods.

Currículo Lattes:

http://lattes.cnpq.br/9603136866152813

Formação Acadêmica

Formação acadêmica não cadastrada

Contatos

Endereço profissional

não informado

Sala

não informado

Telefone/Ramal

21268430 (r: 4424)

Endereço eletrônico

ghpc@cin.ufpe.br