Sérgio Barza

Possui graduação em Ciência da Computação pelo Centro de Informática da Universidade Federal de Pernambuco (2011) e mestrado em Ciência da Computação também pelo Centro de Informática da Universidade Federal de Pernambuco (2015). Atualmente é engenheiro de sistemas do Centro de Estudos e Sistemas Avançados do Recife. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software. Possui intersse na área de métodos formais, compiladores e linguagens de programação com foco em verificação de modelos - model checking - e semântica formal de programas.

graduation at Ciência da Computação from Universidade Federal de Pernambuco (2011) and master's at Computer Science from Universidade Federal de Pernambuco (2015). Has experience in Computer Science, focusing on Software Engeneering