Tarcisio Soares Teixeira Neto
Possui graduação em Bachelor of Science pela Ecole Polytechnique(2021), mestrado em Master of Science pela University of British Columbia(2023), ensino-fundamental-primeiro-grau pelo Colégio Militar de Fortaleza(2014) e ensino-medio-segundo-grau pelo Colégio Ari de Sá Cavalcante(2017). Atuando principalmente nos seguintes temas:Symbolic Execution, Differential Code Analysis, Software Correctness, JavaPathFinder.
Informações coletadas do Lattes em 14/01/2026
Acadêmico
Formação acadêmica
Mestrado em Master of Science
2021 - 2023
University of British Columbia
Título: Exploring Equivalence and Differences in Software Methods, Ano de Obtenção: 2024
Orientador: Reid Holmes
Palavras-chave: Symbolic Execution; Differential Code Analysis; Software Correctness; JavaPathFinder.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Graduação em Bachelor of Science
2018 - 2021
Ecole Polytechnique
Título: Automatic Synthesis of Self-Healing Android Applications
Orientador: Simon Bliudze
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.
Prêmios
2017
Medalha de Ouro na Olimpiada Brasileira de Matematica Nivel 3, SBM.
2016
Medalha de Prata na Olimpiada Brasileira de Matematica Nivel 3, SBM.
2015
Medalha de Bronze na Olimpiada Brasileira de Matematica Nivel 3, SBM.
2014
Medalha de Ouro na Olimpiada Brasileira de Matematica Nivel 2, SBM.
Histórico profissional
Experiência profissional
2020 - 2021
BRASA - Brazilian Student AssociationVínculo: Voluntario, Enquadramento Funcional: Desenvolvedor de Software, Carga horária: 15
2020 - 2020
Prada AssessoriaVínculo: Estagiario, Enquadramento Funcional: Desenvolvedor de Software, Carga horária: 40
2021 - 2023
University of British ColumbiaVínculo: Empregado, Enquadramento Funcional: Graduate Teaching Assistant, Carga horária: 20
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Tarcisio Soares Teixeira Neto e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?