Hélio Carneiro Ferreira

Possui graduação em Matemática pela Universidade de Brasília (2002) e mestrado em Matemática pela Universidade de Brasília (2005). Atualmente é professor da Secretaria de Estado e Educação do Distrito Federal - SEEDF. Tem experiência na área de Matemática, com ênfase em Matemática Aplicada, atuando principalmente no seguinte tema: reescrita categorias terminação modularidade term.

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

Acadêmico

Formação acadêmica

Mestrado em Matemática

2003 - 2005

Universidade de Brasília
Título: Análise de Mecanismos para Combinar Passos de Beta-contração em Cálculos de Substituições Explícitas, Ano de Obtenção: 2005
Mauricio Ayala Rincón.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: beta-contração; lambda cálculo; Substituições Explícitas.Grande área: Ciências Exatas e da Terra

Graduação em Matemática

1999 - 2002

Universidade de Brasília, UnB

Formação complementar

2016 - 2016

PCD - Plano de Carreira Docente. (Carga horária: 1h). , Kroton Educacional de Belo Horizonte, KROTON, Brasil.

2015 - 2016

KLS 2.0. (Carga horária: 26h). , Kroton Educacional de Belo Horizonte, KROTON, Brasil.

Idiomas

Inglês

Lê Razoavelmente.

Português

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.

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

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

Participação em eventos

Congresso de Iniciação Científica. 8° Congresso de Iniciação Científica. 2002. (Congresso).

Orientou

Gisele Maria Gonçalves & Matheus Henrique K

de Oliveira; Taxa SELIC determinante ou não na formação do crédito pessoal; ; 2018; Trabalho de Conclusão de Curso; (Graduação em Administração) - Faculdade ICESP de Brasília; Orientador: Hélio Carneiro Ferreira;

Produções bibliográficas

FERREIRA, H. C. ; Ayala-Rincón . On Combining of Beta-contraction in calculi of explicit substitutions. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia - RJ. Itatiaia, 2006.
FERREIRA, H. C. . Teorias de Categorias e Reescrita de Termos - Prova categórica da modularidade e da terminalidade da união disjunta de sistemas de reescrita. In: 8º Congresso de iniciação científica, 2002, Brasília-DF. Brasília, 2002.
FERREIRA, H. C. . Análise de Mecanismos para Combinar passos de Beta-Contração em Cálculos de Substituições Explícitas. 2005 (Dissertação) .

Histórico profissional

Endereço profissional

Centro de Ensino Fundamental 201 - Santa Maria, SEDF. , Quadra QR 201 Conjunto A, Santa Maria, 72501401 - Brasília, DF - Brasil, Telefone: (61) 39014569, URL da Homepage:

Experiência profissional

2007 - 2011

Faculdade JK Valparaíso

Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 3

Atividades

03/2007 - 12/2011
Ensino, Administração, Nível: GraduaçãoDisciplinas ministradas, Estatística, Matemática, Matemática Financeira

2006 - 2022

Faculdade de Negócios e Tecnologia da Informação

Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 6

Atividades

02/2022 - 12/2022
Ensino, Engenharia Elétrica, Nível: GraduaçãoDisciplinas ministradas, Cálculo Diferencial e Integral I, Cálculo Diferencial e Integral II, Física Geral e Experimental - Mecânica, Física Geral e Experimental - Energia
02/2019 - 12/2022
Ensino, BSI, Nível: GraduaçãoDisciplinas ministradas, Contabilidade Introdutória, Lógica Matemática e Computacional, Matemática Discreta
03/2012 - 12/2015
Ensino, Engenharia Elétrica, Nível: GraduaçãoDisciplinas ministradas, Cálculo I, Cálculo II, Engenharia Econômica, Estatísitca
02/2013 - 12/2013
Ensino, BSI, Nível: GraduaçãoDisciplinas ministradas, Matemática Aplicada
02/2010 - 06/2011
Ensino, Telecom, Nível: GraduaçãoDisciplinas ministradas, Álgebra Linear, Estatística
07/2006 - 12/2009
Ensino, Administração, Nível: GraduaçãoDisciplinas ministradas, Análise de Investimentos, Estatística, Matemática, Matemática Aplicada, Matemática Financeira

2009 - Atual

Secretaria de Estado e Educação do Distrito Federal

Vínculo: , Enquadramento Funcional: Professor, Carga horária: 40

Atividades

07/2009
Ensino,Disciplinas ministradas, Matemática

2006 - 2009

Colégio Madre Carmen Sallés

Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 24

2005 - 2006

Universidade de Brasília, UnB

Vínculo: Professor Substituto, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Atividades

06/2005
Pesquisa e desenvolvimento, Departamento de Matemática.Linhas de pesquisa
04/2005
Ensino, Engenharia e Matemática, Nível: GraduaçãoDisciplinas ministradas, Cálculo Numérico, Cálculo 1, Cálculo 1 Semi - Presencial, Introdução a Matemática Superior

2006 - 2006

Universidade Católica de Brasília

Vínculo: Temporário, Enquadramento Funcional: Professor Temporário, Carga horária: 6

Atividades

05/2006
Ensino, Física e Matemática, Nível: GraduaçãoDisciplinas ministradas, Cálculo 2

2012 - Atual

Faculdade ICESP de Brasília

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 8

Atividades

07/2015
Ensino, Administração, Nível: GraduaçãoDisciplinas ministradas, Administração Financeira e Orçamentária, Matemática Financeira, Estatística, Métodos Quantitativos
08/2012
Ensino, Contabilidade, Nível: GraduaçãoDisciplinas ministradas, Administração Financeira Orçamentária Empresarial, Contabilidade Atuarial, Contabilometria, Estatística e métodos Quantitativos, Matemática Financeira, Mercado de Capitais

2023 - 2024

Iinstituto Federal de Goiás - CAMPUS LUZIANIA

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 20

Atividades

04/2023
Ensino, Licenciatura em Química, Nível: GraduaçãoDisciplinas ministradas, Cálculo I, Cálculo II