Emerson Wendlingger Dantas Sales

Possui doutorado em Ciências da Computação pelo Gran Sasso Science Institute (2025), mestrado em Matemática Aplicada e Estatística pela Universidade Federal do Rio Grande do Norte (2020) e graduação em Ciência e Tecnologia pela Universidade Federal do Rio Grande do Norte (2018).

Informações coletadas do Lattes em 22/05/2025

Acadêmico

Formação acadêmica

Doutorado em Computer Science

2020 - 2025

Gran Sasso Science Institute
Título: Static Analysis of Shared-memory and Message-passing C Programs
Orientador: Omar Inverso
com Coorientador: Emilio Tuosto. Palavras-chave: Static Analysis; Concurrency; Data Race Detection; Reachability; Sequentialisation; Bounded Model Checking. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Automatic Analysis.

Mestrado em Matemática Aplicada e Estatistica

2018 - 2020

Universidade Federal do Rio Grande do Norte
Título: Modalities in Ecumenical Systems
, Ano de Obtenção: 2020.Elaine Gouvêa Pimentel.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: lógica ecumênica; lógica modal; lógica intuicionista.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.

Graduação interrompida em 2020 em Engenharia da Computação

2018 - Atual

Universidade Federal do Rio Grande do Norte
Ano de interrupção: 2020

Graduação em Ciência e Tecnologia

2015 - 2018

Universidade Federal do Rio Grande do Norte

Curso técnico/profissionalizante em Informática

2011 - 2014

Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte

Formação complementar

2019 - 2019

Hilbert-Bernays Summer School on Logic and Computation. (Carga horária: 50h). , University of Tübingen, TUEBINGEN, Alemanha.

2015 - 2017

Programa de Iniciação Científica e Mestrado (PICME). (Carga horária: 100h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Italiano

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Organização de eventos

MOREIRA, D. A. ; SALES, E. . PRIMEIRO SIMULADÃO DE CÁLCULO II DA ECT. 2017. (Concurso).

Participação em eventos

26th International Symposium on Formal Methods (FM'24).Accurate Static Data Race Detection for C. 2024. (Simpósio).

11th Competition on Software Verification (SV-COMP'22). A Prototype for Data Race Detection in CSeq 3. 2022. (Olimpíada).

Advances in Modal Logic (AiML).Ecumenical Modal Logic. 2020. (Outra).

27th Conference on Automated Deduction (CADE). 2019. (Outra).

28ª Semana de Matemática da UFRN. 2018. (Outra).

ENCONTRO INTEGRADO DOS PROGRAMAS DE ENSINO DA UFRN: IMPACTOS NA FORMAÇÃO DOCENTE.Monitoria de Cálculo 2: Espaço de desenvolvimento do processo de ensino-aprendizagem. 2017. (Encontro).

Produções bibliográficas

SALES, E. ; INVERSO, O. ; TUOSTO, E. . Accurate Static Data Race Detection for C. Lecture Notes in Computer Science. 26ed.: Springer Nature Switzerland, 2025, v. 14933, p. 443-462.
COTO, A. ; INVERSO, O. ; SALES, E. ; TUOSTO, E. . A Prototype for Data Race Detection in CSeq 3. Lecture Notes in Computer Science. 1ed.: , 2022, v. 13244, p. 413-417.
MARIN, S. ; PEREIRA, L. C. ; PIMENTEL, E. ; SALES, E. . A Pure View of Ecumenical Modalities. Lecture Notes in Computer Science. 1ed.: , 2021, v. 13038, p. 388-407.
MARIN, S. ; PEREIRA, L. C. ; PIMENTEL, E. ; SALES, E. . Ecumenical Modal Logic. In: International Workshop on Dynamic Logic, 2020, Praga. Dynamic Logic. New Trends and Applications. Berlim: Springer, 2020.

Prêmios

2022

One silver medal in the 11th Intl. Competition on Software Verification (SV-COMP) at the 28th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22), European Joint Conference on Theory and Practice of Software (ETAPS).

2014

Medalha de Prata na 10ª Olimpíada Brasileira de Matemática de Escolas Públicas, OBMEP - CNPq - IMPA.

Histórico profissional

Experiência profissional

2017 - 2017

Universidade Federal do Rio Grande do Norte

Vínculo: Bolsista, Enquadramento Funcional: Monitor do componente curricular Cálculo II

2025 - Atual

Fondazione Gran Sasso Tech

Vínculo: Celetista, Enquadramento Funcional: Software Developer, Carga horária: 40