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

Resultados para “'correctness by construction'”

Rede Integra

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.

Igor Lebedenco Kitagawa

docente IFSP - Campus Birigui

Licenciado em Física pela Faculdade de Ciências e Tecnologia - Unesp - Pres. Prudente/SP (2006), Mestre (2009) e Doutor (2021) em Ciência e Tecnologia de Materiais pelo Programa de Pós-graduação em Ciência e Tecnologia de Materiais (POSMAT) na FC/Unesp - Bauru . Professor efetivo do Ensino Básico, Técnico e Tecnológico (EBTT) de Física do Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP), campus Birigui. Tem experiência no desenvolvimento de recobrimentos via técnica 'Layer-by-Layer" para implantes dentários com foco na caracterização físico-química através das técnicas espectroscopia micro-Raman e Microscopia de Força Atômica (AFM).

Victor Meireles Aires

docente IFC - Campus Fraiburgo

Docente dos cursos Técnicos Subsequente em Administração, Edificações e Segurança do Trabalho, do Instituto Federal Catarinense - Campus Fraiburgo. Coordenador do Curso Técnico Subsequente em Edificações. Coordenador Adjunto dos cursos Técnico Subsequente em Administração e Segurança do Trabalho. Diretor de Ensino, Pesquisa e Extensão Substituto do IFC Campus Fraiburgo. Pesquisador do Grupo de Pesquisa Interdisciplinar Educação, Sociedade e Tecnologias (GESTEC) e do Grupo de Estudos e Pesquisas em Práticas Educativas em Educação Profissional e Tecnológica do Instituto Federal Catarinense. Engenheiro Civil pela UFSM, Tecnólogo em Processos Gerenciais pelo IFRS, MBA em Gerenciamento de Projetos pela FGV, MBA em Gestão Empresarial e Empreendedorismo pelo IFRS, com Formação Pedagógica em Matemática e Física. Técnico em Administração e Técnico em Infraestrutura Escolar pelo IFSul. Mestre em Educação Profissional e Tecnológica - PROFEPT. Autor do livro Gestão de Projetos e Lean Construction - Uma abordagem prática e integrada e do livro Aprendizagem Crítica na EPT: A aplicação dos três momentos pedagógicos em um curso subsequente.

Yugo Lemos Kawano

docente IFRO - campus Porto Velho Calama

Engenheiro civil atuante no mercado de construção modular e soluções de engenharia ágeis (Lean construction).Professor de engenharia civil nas disciplinas de Mecânica dos sólidos, Resistência dos Materiais 1 e 2, Análise de Estruturas 1 e 2, estruturas metálicas e Físicas 1, 2 e 3.Mestre em Ensino de Física na Universidade Federal de Rondônia.Experiência de 1 ano na coordenação do curso de Engenharia Civil na Faculdade de Ouro Preto do Oeste - UNEOURO.Já ministrou as disciplinas de Mecânica dos Fluidos e Introdução à Engenharia Civil.Possui pós-graduação em Docência do Ensino Superior e é graduado em Engenharia Civil pela Universidade Presbiteriana Mackenzie (2015).Possui experiências em construção civil de empreendimentos residenciais (Ed. Éclat com 25 andares e 3 subsolos - Pinheiros - São Paulo - SP) e em serviços de recuperação estrutural (Empresas Concremat).Iniciou a carreira docente ministrando aulas particulares para ensino médio nas disciplinas de matemática, física e geografia.

Rui Eduardo Brasileiro Paiva

docente IFCE - Campus Fortaleza

Graduado em Matemática pela Universidade Estadual do Ceará (UECE), Especialização em Ensino de Matemática pela UECE, Mestrado em Matemática pela Universidade Federal do Ceará (UFC). Doutor em Ciência da Computação com ênfase em Matemática Aplicada pela Universidade Federal do Rio Grande do Norte (UFRN). Pós-Doutorado em Teoria Algébrica dos Números, pelo departamento de Matemática da UFC (2019 - 2021), Pós-Doutorado em Matemática Aplicada, pela Universidade Pública de Navarra (UPNA), em Pamplona - Espanha (2022 - 2023). Professor do Instituto Federal de Educação, Ciência e Tecnologia do Ceará - IFCE, com experiência na área de Matemática Computacional, atuando principalmente nos seguintes temas: Álgebra Universal, Teoria dos Reticulados, Teoria das Categorias, Matemática Fuzzy, Teoria da Ordem, Geometria Diferencial e Topologia, Conexões de Galois, Matemática Intervalar e Lógica Algébrica.

Marcela Dos Santos Sá

docente IFRR - Reitoria

Possui Mestrado em Educação Profissional e Tecnológica (PROFEPT) (2025). Especialista em Metodologia do Ensino de Língua Inglesa pela Faculdade Educacional da Lapa-FAEL (2021). Aperfeiçoamento em TEFL methods, U.S history and culture, and english skills improvement by Missouri State University- EUA (2025).Graduação em Letras pela Universidade Esta...

Gabriela Barbosa Bruno

docente IFRN - Reitoria

Possui graduação em Engenharia Civil pela Universidade Federal do Rio Grande do Norte (2011) e mestrado em Engenharia Civil pela Universidade Federal do Rio Grande do Norte (2014). Atualmente professora do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, já tendo exercido função de Coordenação do curso Integrado em Edificações e Coordenação de Pesquisa e Inovação. Atua nos temas sustentabilidade, construção civil e combate a incêndio, tendo experiência na área de durabilidade nas edificações.

Luiz Andrei Potter Tonin

tecnico IFSC - Reitoria

Mestre em Engenharia Civil pela Universidade Federal de Santa Catarina - UFSC (2017), Especialista em Gerência de Projetos (2015) e Engenheiro Civil pela Universidade do Vale do Itajaí - UNIVALI (2012). Possui uma década de experiência na área de construção civil, com ênfase em gestão atuando principalmente nos seguintes temas: construção enxuta, gerenciamento de custos, tempo e riscos de obras. Atualmente ocupa o cargo de Gestor de Custos na CECHINEL Empreendimentos e de Engenheiro Civil no Instituto Federal de Santa Catarina - IFSC. É professor de pós graduação no MBA de Gerenciamento de Obras da UNIVALI.

João Carlos Gonçalves

docente IFNMG - Campus Montes Claros

Possui graduação em Engenharia Química pela Universidade Federal Rural do Rio de Janeiro (2005), licenciatura em Química pela Universidade Salgado de Oliveira, mestrado em Engenharia Metalúrgica e de Materiais pela COPPE/UFRJ e doutorado em Engenharia Química pela Universidade Federal de Uberlândia (FEQ/UFU), com ênfase em desenvolvimento de processos químicos. Atuou como professor do curso de Engenharia Química na Faculdade de Ciências e Tecnologia de Montes Claros. Atualmente, é professor em regime de dedicação exclusiva no Instituto Federal do Norte de Minas Gerais Campus Montes Claros, na área de Engenharia Química. Leciona disciplinas como Fenômenos de Transporte, Operações Unitárias, Princípios de Balanço de Massa e Energia e Planejamento Estatístico. Desenvolve projetos voltados à otimização experimental de processos, Quality by Design (QbD), Analytical Quality by Design (AQbD) e Fluidodinâmica Computacional (CFD), utilizando softwares como ANSYS Fluent, COMSOL Multiphysics e OpenFOAM, com foco na modelagem estatística experimental e ciências de dados, simulação e análise de processos químicos e operações unitárias.

Douglas Santos Rodrigues Ferreira

docente IFRJ - Campus Paracambi

Possui graduação em Física pela Universidade Federal Fluminense (2004), mestrado em Física pela Universidade Federal Fluminense (2010) e doutorado em Geofísica pelo Observatório Nacional (2014), com período sanduíche (2012-2013) no Florida Institute of Technology - USA, sendo bolsista da CAPES durante o período de duração do doutorado sanduíche. Pós-doutorado no Grupo de Redes Complexas do Departamento de Física da Universidade de Aveiro - Portugal (2021-2022). Atualmente é Jovem Cientista do Nosso Estado (JCNE)/FAPERJ (Edital N21/2023) e professor associado do Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro (IFRJ) e Docente Permanente do Programa de Pós-graduação em Geofísica do Observatório Nacional (ON). Tem experiência na área de Geociências, com ênfase em Geofísica Aplicada, atuando principalmente nos seguintes temas: Caracterizações Estatísticas de Terremotos, Redes Complexas, Mecânica Estatística Não-extensiva, Sistemas Críticos Auto-organizados, Modelos de Deposição Solid-on-Solid e Ensino de Física.

Vinícius Carrião Dos Santos

docente IFG - Campus Goiânia

Arquiteto e Urbanista graduado na Pontifícia Universidade Católica de Goiás (2005). Mestre em Engenharia Civil:Construção Civil pela Universidade Federal de Goiás (2014). Especialista em paisagismo pela Universidade Castelo Branco (2010). Atuou como arquiteto e Gerente de Projetos do Instituto Federal de Goiás nas obras de expansão da Rede Federal (2008-2010). É professor da área de construção civil do Instituto Federal de Educação, Ciência e Tecnologia de Goiás. Doutorando em Ciências Ambientais pela Universidade Federal de Goiás

Francisco Augusto Lima Manfrini

docente IFSudesteMG - Campus Juiz de Fora

Doutor em Modelagem Computacional pela UFJF, Mestre pelo departamento de Engenharia Nuclear - UFMG, Especialista em InteligênciaArtificial e Big Data pelo Instituto de Ciências Matemáticas e de Computação - USP, graduação em Engenharia Elétrica -UFJF e Licenciatura Plena em Física (UTRAMIG). Atualmente é Professor Titular do Instituto Federal Sudeste de Minas Gerais - campus Juiz de Fora. Tem experiência na área de Instrumentação Nuclear, Inteligência Computacional e Hardware evolutivo, atuando principalmente nos seguintes temas: projeto de circuitos eletrônicos, Programação Genética Cartesiana (CGP), microcontroladores e FPGAs.

Klunger Arthur Éster Beck

docente IFRS - Campus Rio Grande

Professor and researcher at the Federal Institute of Education, Science and Technology of Rio Grande do Sul (IFRS). Graduated in mechanical engineering and technical by Federal Technological University of Paraná (UTFPR). Postgraduate in electrical engineering (UTFPR). Doctorate student in Mechanical Engineering area of Solid Mechanics and Mechanical Project (UNICAMP). Reviewer of the scientific journal International Journal of Mechanical Engineering Education. Member in Brazilian Society of Mechanical Sciences and Engineering (ABCM) and Brazilian Society for the Advancement of Science (SBPC).

Alexandre Ribeiro Silva Júnior

docente IFTM - Campus Avançado Uberaba Parque Tecnológico

Doctor Degree in Visual Computing by Federal Fluminense University UFF (2018), Master of Science Degree from Uberlândia Federal University - UFU, Graduate at Computing, Full degree from Faculdades Associadas de Uberaba (2006), Professor of Computer Science at the Instituto Federal do Triângulo Mineiro - IFTM, where he has been since January 2010. Has experience in Computer Science, acting on the following subjects: Virtual Environments, Computer Graphics, Virtual and Augmented Reality. Research interests include Games, Computer Vision , Visual Navigation, Human Motion Capture, Virtual and Agumented Reality, with an emphasis on Real-Time Implementations.

Eric Bartulici

docente IFMG - Campus Ouro Branco

Professional with master's degree in Metallurgical Engineering from the Federal University of Minas Gerais (2005), and a degree in Metallurgical Engineering completed by Escola de Minas / UFOP (1997/2), Specialist in statistics from UFMG (2024), with an MBA completed by INSPER -SP in Business Management and Specialist in Industrial Management from Fundação Getúlio Vargas-RJ. Currently work as professor of the Metallurgical Engineering course at the Federal Institute of Education, Science and Technology of Minas Gerais-IFMG, in Ouro Branco-MG. Worked as a technical consultant on strategic projects at Gerdau, implementing the logistics management model (SAP) at Gerdau units in Argentina, Chile, Uruguay and Brazil, and as remote support for the implementation project in the USA. As a Technical Consultant for SOP (Sales and Operation Planning) lead Planning and Programming implementation projects for the new Flat Products Rolling Mill, leader of the SEIS SIGMA project to improve working capital and control inventories of final products and in transformation, such as also in internal logistics management, as manager and technical logistics consultant (shipments and billing), Head of Finishing Area, also working as Production Process Engineer in the PBT Lamination Management and technical process development. He is currently a PhD student at the Federal University of Ouro Preto, in the area of Materials Analysis and Selection, with an emphasis on severe plastic deformation.

Francisco Dantas Nobre Neto

docente IFPB - Campus João Pessoa

É professor e pesquisador do Instituto Federal da Paraíba (IFPB), na área de Computação, desde 2012. Atua como docente do Mestrado Profissional em TI do IFPB, e tem interesse de pesquisa nos temas de Sistemas Inteligentes de Transporte, Inteligência Artifical (com foco maior em predição) e Processamento de Linguagem Natural. Já trabalhou como analista de TI na Empresa de Tecnologia e Informações da Previdência Social (Dataprev), unidade Paraíba e foi Professor Assistente do Centro Universitário de João Pessoa (Unipe). Atuou, no período de 2018 a 2022, como diretor de Pesquisa sistêmico do Instituto. É pai de duas meninas pequenas, e aproveita o tempo livre com a família.

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