Fausto Carvalho Marques Silva

Possui graduação em Ciência da Computação pela Universidade Católica de Brasília (2004). Atualmente é Analista do MPU/Tecnologia da Informação e Comunicação/Desenvolvimento de Sistemas na Procuradoria-Geral da Justiça Militar. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software.

Informações coletadas do Lattes em 14/05/2026

Acadêmico

Formação acadêmica

Mestrado em Ciência da Computação

2023 - 2025

Universidade de Brasília, UnB
Título: SmartChat: Exploring LLMs for Initial Seed Generation in Smart Contract Fuzzing with Vulnerability-Guided Prioritization, Ano de Obtenção: 2025
Rodrigo Bonifácio de Almeida.Palavras-chave: fuzzing; smart contract; llm.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.

Especialização em Governança de TI

2013 - 2014

Instituto Euro-Americano de Educação, Ciência e Tecnologia
Título: GESTÃO DE SERVIÇOS NA SEÇÃO JUDICIÁRIA DO DISTRITO FEDERAL DO TRF DA 1ª REGIÃO
Orientador: Edna Dias Canedo

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

1999 - 2004

Universidade Católica de Brasília
Título: Adicionando Semântica à Descoberta de Web Services
Orientador: Fernanda Lima

Curso técnico/profissionalizante em Técnico em Eletrônica

1999 - 2002

Escola Técnica de Brasília

Formação complementar

2014 - 2014

Programação para ANDROID. (Carga horária: 40h). , ENGDTP & MULTIMÍDIA COM. E PREST. DE SERVIÇOS DE INFORMÁTICA, EMCPSI_FORN, Brasil.

2014 - 2014

Curso Web rica com JSF 2, Primefaces 4 e CDI. (Carga horária: 34h). , Caelum, CAELUM, Brasil.

2014 - 2014

Curso Java para Desenvolvimento Web. (Carga horária: 40h). , Caelum, CAELUM, Brasil.

2014 - 2014

Programação para Apple iOS e iPhone. (Carga horária: 40h). , ENGDTP & MULTIMÍDIA COM. E PREST. DE SERVIÇOS DE INFORMÁTICA, EMCPSI_FORN, Brasil.

2012 - 2012

Workshop Projetando Sistemas Embarcados. (Carga horária: 16h). , Comunip Soluções de Mídia em Tempo Real S/A, COMUNIP, Brasil.

2008 - 2008

Gerência de Configuração se Software. (Carga horária: 24h). , Pronus, PRONUS, Brasil.

Idiomas

Inglês

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

Áreas de atuaçã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.

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: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

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

Produções bibliográficas

BONIFACIO, RODRIGO ; CARVALHO, FAUSTO ; RAMOS, GUILHERME N. ; KULESZA, UIRA ; COELHO, ROBERTA . The use of C++ exception handling constructs: A comprehensive study. In: 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2015, Bremen. 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2015. p. 21.
FACHINETO, Arthur Knebel ; SILVA, Fausto Carvalho Marques ; KISAKA, Lauro Borges ; LIMA, F . Adicionando Semântica à Descoberta de Web Services. In: WebMedia & LA-Web 2004 Joint Conference, 2004, Ribeirao Preto.. Proceedings of the WebMedia&La-Web 2004 Joint Conference, 2004. v. 2. p. 328-330.
FACHINETO, Arthur Knebel ; SILVA, Fausto Carvalho Marques ; KISAKA, Lauro Borges ; LIMA, F . Adicionando Semântica à Descoberta de Web Services. In: V Workshop de Tecnologia da Informação, 2004, Brasília. Anais do V Workshop de Tecnologia da Informação, 2004. p. 17-18.
SILVA, Fausto Carvalho Marques ; LIMA, S. A. . UENUX: software livre nas urnas eletrônicas. 2009. (Apresentação de Trabalho/Congresso).
SILVA, Fausto Carvalho Marques ; LIMA, S. A. . Palestra UENUX: software livre nas urnas eletrônicas. 2009. (Apresentação de Trabalho/Congresso).

Prêmios

2019

Certificado de profissionalismo e protagonismo no Processo Eleitoral Brasileiro, Tribunal Superior Eleitoral.

Histórico profissional

Endereço profissional

Procuradoria-Geral da Justiça Militar. , Quadra EQS 414/415, Asa Sul, 70297400 - Brasília, DF - Brasil, Telefone: (61) 32557451

Experiência profissional

2007 - 2017

Tribunal Superior Eleitoral

Vínculo: Servidor público, Enquadramento Funcional: Técnico Judiciário - Programação., Carga horária: 35

Outras informações:
Anterior: Programador C/C++ em Linux para hardware embarcado. Atual: Programação Java para Web.

2005 - 2007

Tribunal Superior Eleitoral

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Outras informações:
Programador C/C++ em Linux para hardware embarcado.

2003 - 2005

Padrão iX Sistemas Abertos

Vínculo: Celetista, Enquadramento Funcional: Programador de Computador, Carga horária: 40

Outras informações:
Programador C/C++

2017 - Atual

Procuradoria-Geral da Justiça Militar

Vínculo: Servidor público, Enquadramento Funcional: Analista do Mpu/ Tecnologia da Informação, Carga horária: 35

2022 - 2022

Plurilock Security

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