Marcus Rodrigues de Araújo

Possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (2015) e mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (2017). Tem experiência na área de Ciência da Computação, com ênfase em Compiladores, Linguagens de Programação e Engenharia de Software. Além disso, possui experiência no mercado com desenvolvimento web e Android.

Informações coletadas do Lattes em 07/09/2025

Acadêmico

Formação acadêmica

Mestrado em Ciências da Computação

2016 - 2017

Universidade Federal de Minas Gerais
Título: Execução de Funções Parciais em Linguagem de Programação C
, Ano de Obtenção: 2017.Fernando Magno Quintão Pereira.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra

Graduação em Ciência da Computação

2010 - 2015

Universidade Federal de Minas Gerais
Título: Arcabouço de Teste para Código Parcialmente Disponível
Orientador: Fernando Magno Quintão Pereira
com Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Ensino Médio (2º grau)

2006 - 2008

Centro Federal de Educação Tecnológica de Minas Gerais

Idiomas

Inglês

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Compiladores.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande á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.

Participação em eventos

XX Simpósio Brasileiro de Linguagens de Programação.Compilação Parcial de Programas Escritos em C. 2016. (Simpósio).

Produções bibliográficas

MELO, LEANDRO T. C. ; RIBEIRO, RODRIGO G. ; DE ARAÚJO, MARCUS R. ; PEREIRA, FERNANDO MAGNO QUINTÃO . Inference of static semantics for incomplete C programs. Proceedings of the ACM on Programming Languages , v. 2, p. 1-28, 2017.
ARAÚJO, M. R. ; MELO, L. T. C. ; PEREIRA, F. M. Q. . Inferência de Tipos Dependentes em C. In: 21st Brazilian Symposium on Programming Languages, 2017, Fortaleza. Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017.
CARVALHO, JOÃO F. N. ; SOUSA, BRUNO L. ; ARAÚJO, MARCUS R. ; BIGONHA, MARIZA A. S. . The Register Allocation and Instruction Scheduling Challenge. In: the 21st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 21st Brazilian Symposium on Programming Languages - SBLP 2017, 2017. p. 1.
RIBEIRO, R. G. ; MELO, L. T. C. ; ARAÚJO, M. R. ; PEREIRA, F. M. Q. . Compilação Parcial de Programas Escritos em C. In: XX Simpósio Brasileiro de Linguagens de Programação, 2016, Maringá. Proceedings of the XX Simpósio Brasileiro de Linguagens de Programação, 2016.

Histórico profissional

Experiência profissional

2013 - 2015

Facta TI

Vínculo: Estagiário, Enquadramento Funcional: Desenvolvedor, Carga horária: 20

2009 - 2009

Empresa de Tecnologia Nacional

Vínculo: Estagiário, Enquadramento Funcional: Desenvolvedor, Carga horária: 40, Regime: Dedicação exclusiva.

2022 - 2024

SIDI RECIFE

Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor de Software Sr, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Unidade Sidi Campinas