THIAGO CARVALHO DE SOUSA

Possui doutorado em Engenharia de Computação pela Universidade de São Paulo (2013), com estágio doutoral (sanduíche) na University of Southampton (2011). É também mestre (2007) e bacharel (2002) em Ciência da Computação pela Universidade de São Paulo. Atualmente é Professor Adjunto do Centro de Tecnologia e Urbanismo da Universidade Estadual do Piauí (UESPI) - Campus Teresina. Foi Superintendente Estadual de Ciência e Tecnologia (SEDET), além de Diretor do Núcleo de Processamento de Dados (NPD) da Universidade Estadual do Piauí (UESPI). Já foi também Professor da Faculdade de Atividades Empresariais de Teresina (FAETE), do Centro de Ensino Unificado de Teresina (CEUT) e do Centro Universitário de Osasco (UNIFIEO). Já atuou como Gerente de Projetos, Analista de Processos e Engenheiro de Requisitos na Oracle/Hyperion, Johnson & Johnson/CIS, Goodyear/CIS, NET/Embratel/CIS, Grupo Claudino/Sucesso e Alstom/Grupo AeS. Tem experiência na área de Engenharia de Software e Informática na Educação, atuando principalmente nos seguintes temas: métodos formais, sistemas críticos, sistemas embarcados, MDA/MDD, engenharia de requisitos, programação infantil, STEAM e ética na computação.

graduate at Ciência da Computação from Universidade de São Paulo (2002) and master's at Computer Science from Universidade de São Paulo (2007). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: revisão de crenças, verificação formal, inconsistência and engenharia de requisitos.