Pular para o conteúdo
Gov.br — Ministério da Educação (abre em nova aba)
in-Chat

Resultados para “'Metodos Formais'”

Rede Integra

Thiago De Almeida Bastos

tecnico IFGoiano - Campus Urutaí

possui graduação em Ciência da Computação pela Universidade Federal de Goiás - Regional Catalão (2012) e mestrado em Modelagem e Otimização pela Universidade Federal de Goiás - Regional Catalão (2018). Atualmente é técnico em tecnologia da informação do Instituto Federal Goiano - Campus Urutaí. Tem experiência na área de Modelagem de Sistemas, com ênfase em métodos formais, atuando principalmente nos seguintes temas: lógica, redes de Petri, validação de sistemas

Bruno Emerson Gurgel Gomes

docente IFRN - Campus Parnamirim

Possui graduação em Ciência da Computação pela Universidade Federal do Rio Grande do Norte (2005), mestrado em Sistemas e Computação (2007) e Doutorado em Ciência da Computação pela mesma instituição (2012). Em sua tese de doutorado criou um método para o desenvolvimento de aplicações para smart cards, na linguagem Java Card, a partir de refinamentos em sua especificação formal descrita no formalismo B. Atuou como professor substituto vinculado ao Departamento de Informática e Matemática Aplicada da UFRN (2007-2008). Desde 2010 é professor do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (IFRN). Tem interesse nas áreas de Engenharia de Software, Métodos Formais, desenvolvimento de software para Web e mobile e no estudo da Educação Profissional e Tecnológica (EPT). É membro dos grupos de pesquisa NUPEP (Núcleo de Pesquisa em Educação Profissional) e NITEC (Núcleo de Inovação em Tecnologias Educacionais).

Danilo Douradinho Fernandes

docente IFSP - Campus Campinas

Professor Adjunto do Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP) Campus Campinas. Possui doutorado em Administração pela Faculdade de Economia, Administração, Contabilidade e Atuária da Universidade de São Paulo (2025). É mestre em Engenharia Eletrônica e de Computação pelo Instituto Tecnológico de Aeronáutica (2011), bacharel em Ciência da Computação pela Universidade Estadual de Londrina (2006) e possui MBA em Big Data Analytics pela Fundação Instituto de Administração FIA Business School (2019).Seus interesses acadêmicos e profissionais incluem Inteligência Artificial, Aprendizado de Máquina, Big Data, Processamento de Linguagem Natural e Métodos Formais. Possui ampla experiência em ensino, pesquisa, desenvolvimento de software, gestão acadêmica e inovação em políticas públicas. Atua em comissões institucionais, colabora no desenvolvimento curricular e exerce a função de avaliador externo de cursos de graduação junto ao Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (INEP/MEC), órgão vinculado ao Ministério da Educação.

José Dihego Da Silva Oliveira

docente

Professor Titular do Instituto Federal de Educação, Ciência e Tecnologia da Bahia - IFBA .Formação: Graduado (2008), Mestrado (2010) e Doutorado (2016) em Ciência da Computação, todos na UFPE. Interesse em algoritmos, desenvolvimento de software, criptografia e métodos formais aplicados.

Sérgio Silva Filgueira

docente IFG - Campus Anápolis

Possuo graduação em Física pela Universidade Federal de Goiás (2004), mestrado em Educação em Ciências e Matemática pela Universidade Federal de Goiás (2009) e doutorado em Ensino de Ciências e Educação Matemática pela Universidade Estadual de Londrina (2019). Atuei como docente efetivo no então Câmpus Jataí da UFG, de 2009 a 2010. Atualmente sou docente do Instituto Federal de Goiás, sob o regime de dedicação exclusiva. Atuei como membro da equipe multidisciplinar da EaD do IFG, de 2014 a 2016. Tenho experiência na área de Ensino de Ciências, atuando principalmente nos seguintes temas: física moderna e contemporânea no ensino médio, lúdico e ensino de física, saberes docentes e formação de professores, ensino de ciências em espaços não formais de educação.

Anderson Pereira Das Neves

docente IFMS - Campus Corumbá

Mestre em informática pela universidade federal do Parana (2013) graduado em Sistemas de Informação pela Universidade Estadual de Mato Grosso do Sul (2010). Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Informação, atuando principalmente nos seguintes temas métodos formais, IA, programação de computadores .

Bruno Ferreira

docente IFMG - Campus Formiga

possui graduação em Ciência da Computação pelo Centro Universitário de Formiga (2003), pós graduação em Redes de Computadores pelo Centro Universitário do Sul de Minas (2004), mestrado em Modelagem Matemática e Computacional pelo CEFET-MG (2008) e doutorado em Ciência da Computação pela UFMG (2016). Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, Linguagens de Programação e Engenharia de Software. Atualmente é professor efetivo do Instituto Federal de de Minas Gerais - (IFMG - Campus Formiga).

Erica De Lima Gallindo

Outros IFCE - Campus Aracati

Possui graduação em Ciência da Computação (1995), Mestre em Informática (1998) pela Universidade Federal da Campina Grande (UFCG) e Especialização em Formação Pedagógica para Docência na Educação Profissional e Tecnológica (2017) pelo Instituto Federal do Ceará (IFCE). Desde 1998, atua como administradora de redes e possui efetiva experiência na gerência de projetos de desenvolvimento distribuído de software. Foi docente do Instituto Federal do Rio Grande do Norte (IFRN), de 2006 a 2012, em disciplinas como Perícia Forense Computacional, Arquitetura TCP/IP, Administração de Redes Linux. De 2012 a 2015 esteve cedida ao Ministério da Educação (MEC) participando da implantação Programa Nacional de Acesso ao Ensino Técnico e Emprego (Pronatec) e de outras políticas públicas desenvolvidas pela Secretaria de Educação Profissional (Setec).De junho de 2015 até maio de 2018 atuou na Pró-Reitoria de Ensino (Proen) do IFCE, em regime de cooperação técnica, trabalhando com visualização de dados educacionais com ênfase na criação de indicadores para acompanhamento da vida acadêmica dos estudantes no intuito da permanência e êxito discente. Entre 2021 e 2024 atuou como Diretora de Desenvolvimento Institucional do IFCE. Atualmente atual como docente do Campus Aracati (IFCE) lecionando as disciplinas de sistemas distribuídos e sistemas operacionais. É avaliadora e supervisora de IES pelo Ministério da Educação, desenvolve estudos sobre educação profissional junto à Setec/MEC. É membro do Basis/INEP e coordenadora do sub-colegiado de TIC da Comissão Técnica de Acompanhamento da Avaliação (CTAA/INEP). Nos últimos anos vêm se especializado na área de Ciência de Dados, especialmente por meio da construção de mineração e visualizações de dados públicos.

Daniel Farias Mega

docente IFC - Campus Concordia

É doutor em Ensino de Física pela Universidade Federal do Rio Grande do Sul (UFRGS), onde concluiu sua tese intitulada ''Comunidades de Prática como Espaços Integradores nos Institutos Federais'' em setembro de 2021. Este trabalho oferece uma contribuição significativa para (re)pensar os cursos técnicos integrados ao ensino médio ofertados pelos Institutos Federais, especialmente através da valorização dos espaços não formais de educação.Possui Licenciatura em Física pela Universidade Federal de Pelotas (2008) e Mestrado em Física pelo Instituto Tecnológico de Aeronáutica (ITA) (2012). Desde 2013, exerce a função de professor do Ensino Básico, Técnico e Tecnológico no Instituto Federal Catarinense (IFC) - Campus Concórdia, onde se destaca por sua dedicação à formação de novos profissionais na área de Física.Entre suas contribuições institucionais, atuou como coordenador de área do subprojeto de Física do Programa Institucional de Bolsa de Iniciação à Docência (Pibid - IFC) de março de 2016 a março de 2017. Além disso, foi coordenador do curso de Licenciatura em Física no IFC - Campus Concórdia nos anos de 2021, 2022 e 2023, período em que desempenhou um papel crucial no fortalecimento e desenvolvimento do curso. Atualmente exerce novamente a coordenação de área do Pibid no subprojeto na área de Física.

Antonio Jose Veloso Júnior

tecnico IFMA - Campus Codó

Mestre em Educação Profissional e Tecnológica (ProfEPT), ofertado em Rede Nacional, do Instituto Federal de Educação, Ciência e Tecnologia do Maranhão (IFMA), com Área de Concentração em Ensino, Linha de Pesquisa em Práticas Educativas em Educação Profissional e Tecnológica, e Macroprojeto em Inclusão e Diversidade em espaços formais e não formais ...

Odair Pinheiro Da Silva

docente IFF - Campus Itaperuna

Possui Doutorado (2018) e Mestrado (2014) em Modelagem Computacional pela Universidade do Estado do Rio de Janeiro (UERJ) e graduação em Matemática pela Universidade Federal Rural do Rio de Janeiro (UFRRJ, 2011). Atualmente é Professor e Pesquisador no Instituto Federal Fluminense (IFF). Tem experiência na área de Matemática Aplicada e Computacional, com ênfase no desenvolvimento de métodos numéricos. Suas investigações atuais focam em Otimização Topológica via Método de Elementos Finitos (MEF), explorando as abordagens SIMP, ESO/BESO e Level-set. Anteriormente, desenvolveu trabalhos relevantes em modelagem de transporte de partículas e métodos espectronodais. Tem interesse em modelagem matemática, simulação computacional e desenvolvimento de software científicos.

Gabriela Ventura Da Silva Do Nascimento

docente IFRJ - Campus Avançado Mesquita

Professora Titular do Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro - IFRJ. Doutora em Educação em Ciências e Saúde pela Universidade Federal do Rio de Janeiro (NUTES)/UFRJ. Mestre em Ciências pela Fundação Oswaldo Cruz / Instituto Oswaldo Cruz. Licenciada em Ciências Biológicas pela UFRJ. Líder do grupo de pesquisa Diálogos sobre a Educação Profissional e Tecnológica em espaços formais e não formais de educação. Atualmente é coordenadora local do Programa de Mestrado em Rede em Educação Profissional e Tecnológica (ProfEPT/IFRJ/Campus Mesquita). Docente da Especialização em Divulgação Científica - modalidade EAD do Campus Mesquita/IFRJ e docente da Especialização em Neuroducação do Campus Mesquita/IFRJ. Coordenadora do Núcleo de Estudos Afro-brasileiros e indígenas (NEABI)/Campus Mesquita. Integrante do Núcleo de Acompanhamento de Egressos (NAE) /Campus Mesquita. Desenvolve pesquisa, ensino e extensão nas áreas da Educação Ambiental crítica, Educação em Ciências, Divulgação Científica e Educação Profissional e Tecnológica. Mãe da Luísa, do Miguel, da Isabela e da Laura.

Kayron Campos Beviláqua

docente IFSC - Câmpus São José

Doutor em Letras (Estudos Linguísticos) pelo Programa de Pós-graduação em Letras da Universidade Federal do Paraná (UFPR). É Mestre em Letras (Estudos Linguísticos) também pela mesma universidade. Bacharel e licenciado em Letras Língua Portuguesa e Literaturas de Língua Portuguesa pela Universidade Federal de Santa Catarina (UFSC). Atua na área de Semântica, com utilização de métodos formais, experimentais e psicolinguísticos, investigando principalmente os seguintes objetos de pesquisa: nominais nus, a distinção contável-massivo, parâmetros semânticos, comparação e quantificação. Também pesquisa na área de ensino de língua materna. No ensino, atua como professor da área de Português do Instituto Federal de Santa Catarina (IFSC), câmpus São José, ministrando disciplinas em cursos superiores, técnico-integrados e PROEJA, tendo como princípios a formação leitora e a educação linguística e investigativa.

Vera Lúcia Milani Martins

docente IFRS - Campus Porto Alegre

Professora de Estatística no IFRS-POA, professora e pesquisadora no Mestrado em Propriedade Intelectual e Transferência de Tecnologia para Inovação - PROFNIT, e coordenadora adjunta do PROFNIT. Possui graduação em ESTATÍSTICA pela Universidade Federal do Rio Grande do Sul - UFRGS (2008), Mestrado em Engenharia de Produção - UFRGS (2011), Doutorado em Engenharia de Produção - UFRGS (2014) e Pós-doutorado em Engenharia de Produção - UFRGS (2019) . Possui interesse nas áreas de Métodos Quantitativos, Forecasting, Combinação de Previsões, IA aplicada em choice experiments, Análise conjunta, Estudos de identificação de atributos de valor/valoração e Disposição a pagar (WTP), em especial voltados para cenários de Indicações Geográficas.

Deidson Vitorio Kurpel

docente IFTM - Campus Patrocínio

Possui graduação em Matemática pela Universidade Tecnológica Federal do Paraná (2012), mestrado em Métodos Numéricos em Engenharia pela Universidade Federal do Paraná (2015) e doutorado em Métodos Numéricos em Engenharia pela Universidade Federal do Paraná (2020). É professor de Ensino Básico, Técnico e Tecnológico do Instituto Federal de Educação, Ciência e Tecnologia do Triângulo Mineiro. Atualmente, ocupa a função de Coordenador do Curso Técnico em Contabilidade Integrado ao Ensino Médio. Tem experiência nas áreas de Matemática e Pesquisa Operacional, atuando principalmente nos seguintes temas: Matemática Discreta e Combinatória, Modelagem Matemática, Programação Linear, Mista e Dinâmica e Problemas de Corte e Empacotamento.

Leísa Pires Lima

docente IFSudesteMG - Campus Avançado Ubá

Professora Efetiva do Instituto Federal de Educação, Ciência e Tecnologia do Sudeste de Minas Gerais - Campus Ubá. Doutora e mestre em Estatística Aplicada e Biometria pela Universidade Federal de Viçosa (2015 - 2020). Possui graduação em Matemática pela Universidade Federal de Viçosa (2014). Atuou como Professora nas disciplinas de Estatística Básica no Departamento de Estatística na Universidade Federal de Viçosa de março de 2018 até julho de 2019. Foi monitora nível II da disciplina de EST 105 - Iniciação à Estatística na UFV (2015 - 2018). Tem experiência na área de Métodos Estatísticos Aplicados a Seleção e Associação Genômica Ampla.

Rede Integra © 2023-2026 Setec - Ministério da Educação — Desenvolvido pelo IFRS.