Fabrício Sanches Paranhos

Mestre em Fundamentos da Computação (2022) e graduado em Ciência da Computação (2020) pelo INF-UFG e Bacharel em Química (2015) pelo IQ-UFG. Desde 2022 atua como Engenheiro de Verificação Formal na Nethermind aplicando métodos formais à Web3/Blockchain, desde a verificação formal de contratos inteligentes, verificação de algoritmos criptográficos e de zero conhecimento.

Informações coletadas do Lattes em 23/12/2025

Acadêmico

Formação acadêmica

Mestrado em Ciência da Computação

2020 - 2022

Universidade Federal de Goiás
Título: Towards a Formalization of Nominal Sets in Coq, Ano de Obtenção: 2022
Daniel Lima Ventura.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: verificação formal; técnicas nominais; Coq.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: Computabilidade e Modelos de Computação. Grande Á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. Setores de atividade: Pesquisa e desenvolvimento científico.

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

2016 - 2020

Universidade Federal de Goiás
Título: Investigando comunicações acústicas para transmissão de dados
Orientador: Kleber Vieira Cardoso
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Graduação em Química

2010 - 2015

Universidade Federal de Goiás
Título: Dinâmica Born-Oppenheimer de ionização de camada interna e região de valência do ácido formico trans
Orientador: Freddy Fernandes Guimarães
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Formação complementar

2021 - 2021

Moodle Básico para Educadores. (Carga horária: 30h). , Instituto Federal de Mato Grosso do Sul, IFMS, Brasil.

2019 - 2019

Foundations of quantum programming languages. (Carga horária: 4h). , Departamento de Matemática (UnB), MAT-UNB, Brasil.

2012 - 2012

Introdução à simulação de sólidos. (Carga horária: 4h). , Universidade de Brasília, UnB, Brasil.

2012 - 2012

Previsão teórica de espectros de RMN, UV-Vis e IR. (Carga horária: 4h). , Universidade de Brasília, UnB, Brasil.

2011 - 2011

Introdução às partículas elementares. (Carga horária: 6h). , Universidade Federal de Goiás, UFG, Brasil.

2010 - 2010

Aplicações em Métodos Instrumentais para Análises. (Carga horária: 20h). , Universidade Federal de Goiás, UFG, Brasil.

Idiomas

Inglês

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

Chinês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Espanhol

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Portuguê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: Verificação Formal.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Lógicas e Semântica de Programas.

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

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

Organização de eventos

SANZ, W. ; VENTURA, D. ; SILVESTRE, B. ; CONIGLIO, M. ; DOTTAVIANO, I. ; PARANHOS, F. S. . XVIII Brazilian Logic Conference. 2017. (Congresso).

Participação em eventos

16º Congresso de Pesquisa, Ensino e Extensão. Verificação Formal da Propagação das Substituições Explícitas Marcadas pela Função xc do Cálculo λ[ex]. 2019. (Congresso).

15º Congresso de Pesquisa, Ensino e Extensão. Especificação e Verificação Formal da Função XC para o Cálculo λex. 2018. (Congresso).

EBL 2017 - XVIII Brazilian Logic Conference. 2017. (Congresso).

XII Workshop em Física Molecular e Espectroscopia.Dinâmica Born-Oppenheimer de Ionização na Região de Valência do Ácido Formico. 2014. (Oficina).

IV Simpósio de Estrutura Eletrônica e Dinâmica Molecular.Estudo teórico das transições eletrônicas dos oligômeros do MEH-PPV. 2012. (Simpósio).

34ª Reunião Anual da Sociedade Brasileira de Química. 2011. (Congresso).

63º Reunião Anual da SBPC. 2011. (Encontro).

Congresso de Pesquisa, Ensino e Extenção. 2010. (Congresso).

Produções bibliográficas

PARANHOS, F. S. ; VENTURA, D. L. . Verificação Formal da Propagação das Substituições Explícitas Marcadas pela Função XC do Cálculo λ[ex]. In: 16º Congresso de Pesquisa, Ensino e Extensão, 2019, Goiânia. ANAIS 16º CONPEEX - XXVII Seminário de Iniciação Científica, 2019.
PARANHOS, F. S. ; VENTURA, D. L. . Especificação e Verificação Formal da Função XC para o Cálculo λex. In: 15º Congresso de Pesquisa, Ensino e Extensão, 2018, Goiânia. ANAIS 15º CONPEEX - XXVI Seminário de Iniciação Científica, 2018.
PARANHOS, F. S. ; GUIMARAES, F. F. . Estudo teórico das transições eletrônicas dos oligômeros do MEH-PPV. In: IV Simpósio de Estrutura Eletrônica e Dinâmica Molecular, 2012, Pirenópolis. Livro de Resumos do Simpósio de Estrutura Eletrônica e Dinâmica Molecular, 2012.
PARANHOS, F. S. . Especificação e Verificação Formal da Função XC para o Cálculo λex. 2018. (Apresentação de Trabalho/Congresso).
PARANHOS, F. S. ; GUIMARAES, F. F. . Estudo Teórico do Efeito do Solvente nos Espectros de Emissão do MEH-PPV. 2013. (Apresentação de Trabalho/Congresso).

Projetos de pesquisa

2016 - Atual

TIPOS POLIMÓRFICOS PARA SISTEMAS DE ORDEM SUPERIOR, Descrição: O objetivo geral de pesquisa é a exploração da aplicabilidade dos cálculos de substituições explícitas, da sintaxe nominal, da lógica nominal, da teoria de tipos e da teoria de prova no desenvolvimento de sistemas computacionais e na implementação de soluções algorítmicas corretas e eficientes aplicadas a diversas áreas. O presente projeto tem por finalidade estabelecer ações que dão continuidade às cooperações com o Grupo de Teoria da Computação da Universidade de Brasília (GTC/UnB), o Institut de Recherche en Informatique Fondamentale (IRIF) na Université Paris-Diderot VII o ULTRA Group na Heriot-Watt University, relacionadas à investigação da semântica de programas através de sistemas de tipos, onde o suporte ao polimorfismo é realizado através dos tipos com interseção. A justificativa desta abordagem, incluindo uma variação sensível aos recursos, é apresentada no texto do projeto.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Fabrício Sanches Paranhos - Integrante / Daniel Lima Ventura - Coordenador.

Histórico profissional

Endereço profissional

Nethermind. , 30 Churchill Place, E14 5EU, Londres, - Inglaterra, Telefone: (62) 32116067, URL da Homepage:

Experiência profissional

2020 - 2022

Universidade Federal de Goiás

Vínculo: Bolsista, Enquadramento Funcional: Aluno Pós-Graduação (Mestrado), Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Bolsista de Pós-Graduação em Fundamentos da Computação pelo Instituto de Informática da Universidade Federal de Goiás.

2018 - 2019

Universidade Federal de Goiás

Vínculo: Bolsista, Enquadramento Funcional: Iniciação Ciêntifica, Carga horária: 20

2017 - 2018

Universidade Federal de Goiás

Vínculo: Bolsista, Enquadramento Funcional: Iniciação Ciêntifica, Carga horária: 20

2012 - 2014

Universidade Federal de Goiás

Vínculo: Bolsista, Enquadramento Funcional: Iniciação Científica, Carga horária: 20

Atividades

08/2017
Pesquisa e desenvolvimento, Instituto de Informática.Linhas de pesquisa
08/2021 - 11/2021
Estágios , Instituto de Informática.Estágio realizado, Estágio-docência na disciplina Introdução à Computabilidade e à Complexidade Computacional (32h).
03/2021 - 06/2021
Estágios , Instituto de Informática.Estágio realizado, Estágio-docência na disciplina Introdução à Computabilidade e à Complexidade Computacional (32h).

2021 - 2021

Certified Kernel Tech LLC

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

Outras informações:
Desenvolvimento (Rust) e verificação formal (Coq) de um hypervisor.

Atividades

08/2021 - 11/2021
Estágios , Certified Kernel Tech LLC.Estágio realizado, Desenvolvimento (Rust) e verificação formal (Coq) de um hypervisor.

2019 - 2019

Rede Nacional de Ensino e Pesquisa

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

Outras informações:
Administração de sistemas/redes de ilha de experimentação RNP.

Atividades

01/2019 - 12/2019
Estágios , Instituto de Informática - UFG.Estágio realizado, Operador Ilha de Experimentação (FIBRE).

2015 - 2016

Apoio Escolar

Vínculo: Professor, Enquadramento Funcional: Professor de cursos livres

Atividades

03/2015 - 03/2016
Ensino,Disciplinas ministradas, Matemática, Física, Química

2022 - Atual

Nethermind

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Verificaão Formal, Carga horária: 44