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

Resultados para “'Model Checking'”

Rede Integra

Antonio Dias Dos Santos Junior

docente IFPB - Campus Esperança

Possui graduação em Ciência da computação pela Universidade Federal de Campina Grande (2010) e mestrado em Ciência da Computação pela Universidade Federal de Campina Grande (2013). Atualmente é professor efetivo do Instituto Federal de Educação, Ciência e Tecnologia da Paraíba. Tem experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente nos seguintes temas: denotational semantics, model-driven architecture, formal methods e metamodels.

Marcos Henrique Da Silva Alves

docente IFG - Campus Valparaíso

Possui graduação em Engenharia Elétrica pela Universidade Federal do Piauí (2016) e mestrado em Engenharia Elétrica pela Universidade Federal de Minas Gerais (2020). Desde 2018 atua no projeto, desenvolvimento e integração de sistemas de controle baseado em modelo (model-based design), desenvolvimento e montagem de hardware para controle e medição em conversores de potência. Atualmente desenvolve pesquisas em controle e automação de processos, sistemas embarcados e processamento digital de sinais.

Marilia Aranha Freire

docente IFRN - Campus Natal - Central

Possui doutorado em Ciência da Computação pelo Programa de Pós-Graduação em Sistemas e Computação da UFRN (2015) e mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2001). É professora do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (desde 2006) atuando no curso superior de Tecnologia em Análise e Desenvolvimento de Sistemas. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Experimental Software Engineering, Model-Driven Development, Software Process Monitoring, Software Process Lines, Software Process Improvement, Software Testing. Consultoria em PD&I - ITNC

Eliandra Silva Model

tecnico IFRS - Campus Canoas

Doutora em Educação pela Pontifícia Católica do Rio Grande do Sul - PUCRS (2026). Mestra em Educação pela Pontifícia Católica do Rio Grande do Sul - PUCRS (2022), com especialização em Psicopedagogia Clínica e Institucional pelo Centro Universitário La Salle (2008) e graduada em Pedagogia na Universidade do Vale do Rio dos Sinos - UNISINOS (2006). Membro do Grupo de Estudos Educação, Gênero e Trabalho Artesanal. Atualmente é pedagoga no Instituto Federal do Rio Grande do Sul - IFRS, no campus Canoas. Tem experiência na área da Educação, Educação e Gênero, Educação de Jovens e Adultos e Educação Profissional e Tecnológica.

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).

Marcelo Roger Dos Santos Reis

docente IFPE - Campus Igarassu

Possui graduação, mestrado e doutorado em Ciências Econômicas pela Universidade Federal de Pernambuco - PIMES. Tem experiência na área de Economia, atuando principalmente nos seguintes temas: Economia da Educação, Análise Envoltória de Dados(DEA), Eficiência Pública, Economia dos Esportes, Microeconomia, Macroeconomia, Métodos Quantitativos, Model...

Gilberto Speggiorin De Oliveira

docente IFC - Campus Fraiburgo

Graduação em Bacharel Em Ciência da Computação pela Universidade de Passo Fundo (1989); Mestrado em Computação pela Universidade Federal do Rio Grande do Sul (2000). Experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente nos seguintes temas: modelo OO, modelo clássico e mapeamento. Especialização em Sistemas de Informação pela UPF-COPPE-UFRJ (1994) e Pós Graduação em Administração de Empresas pela FGV (2011). Graduação em Formação Pedagógica pelo Instituto Federal de Educação Ciência e Tecnologia do RS Campus Sertão. Professor carreira IFC Fraiburgo. Coordenador de curso técnico em Informática do IFC. Diretor de Ensino, Pesquisa e Extensão do Instituto Federal de Ciência e Tecnologia campus Fraiburgo. .

Luciana Brasil Rebelo Dos Santos

docente IFSP - Campus Jacareí

Doutora em Computação Aplicada pelo INPE - Instituto Nacional de Pesquisas Espaciais (2015), Mestre em Engenharia Eletrônica e Computação pelo ITA - Instituto Tecnológico de Aeronáutica (2009) e Bacharel em Sistemas de Informação pela UNESP - Universidade Estadual Paulista Júlio de Mesquita Filho (2001). É docente no Instituto Federal de Educação, Ciência e Tecnologia de São Paulo, lotada no campus Jacareí, cargo do qual está afastada para realizar Pós-doutorado no Gran Sasso Science Institute (GSSI), Itália. Atuou também como colaboradora no programa de Pós-Graduação em Computação Aplicada no INPE. Suas pesquisas atuais envolvem estudo de técnicas\métodos que maximizem encontrar defeitos em sistemas de software. Tem investigado arquiteturas de software na área espacial e também engenharia de software aplicada à robótica. Suas áreas de interesse incluem Engenharia de Software, Arquitetura de Software, Robótica e Tecnologia Assistiva.

Sandro Santos Andrade

docente

Engenheiro de Software e Arquiteto experiente, com sólida formação em desenvolvimento de software, processos de garantia de qualidade, design/análise de arquitetura e implementação de sistemas, com especialização em tecnologias Modern C++, Qt/QML, KDE e CMake.Possui doutorado em Ciência da Computação, mestrado em Mecatrônica e bacharelado em Ciência da Computação pela Universidade Federal da Bahia (UFBA). Atuou por mais de 10 anos como desenvolvedor e gerente de comunidade nas comunidades de software livre Qt e KDE, é Especialista Certificado em Qt (Qt Foundations + Essential Qt + Core C++ for Qt Developers) e ex-membro do Conselho Diretor da KDE e.V. (http://ev.kde.org).Ao longo dos últimos 25 anos, esteve envolvido em serviços profissionais, consultoria, treinamentos e pesquisa em design/análise de arquitetura de software, desenvolvimento multiplataforma, sistemas de alto desempenho e sistemas distribuídos de grande escala em áreas como sistemas de pagamento digital, sistemas de TI para atacado/varejo, simulação, jogos e sistemas embarcados. Possui interesse especial na integração entre arquitetura de software, garantia de qualidade e práticas de DevOps.Altamente experiente no projeto e desenvolvimento de sistemas complexos de UI/UX multiplataforma com arquiteturas de back-end distribuídas, além de possuir conhecimento no uso de stacks gráficos 3D multiplataforma para desenvolvimento de jogos e simulação.

Eduardo Soares Rodrigues

docente IFTM - Campus Uberaba

Possui graduação com Bacharelado em Física pela Universidade Federal Fluminense (1988), e graduação com Licenciatura em Física pela Universidade Federal Fluminense (1997), mestrado em Física São Carlos pela Universidade de São Paulo (1993) e doutorado em Física pela Universidade Federal Fluminense (2000). Foi professor da Universidade Católica de Brasília de 2000 a 2007 e atualmente é professor do Instituto Federal do Triângulo Mineiro, campus de Uberaba. Tem experiência na área de Física, com ênfase em Física de Semicondutores e em Simulação Computacional, atuando principalmente nos seguintes temas: Anderson model, Low Dimensional Disordered Systems, Wave Packet Propagation in Disordered Dystems. Trabalha também com a influência da interação entre portadores na propagação em sistemas de baixa dimensionalidade.

Thiago Matos Pinto

docente IFRJ - Reitoria

Thiago Matos Pinto é Professor do Ensino Básico, Técnico e Tecnológico do Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro (IFRJ), PhD em Ciência da Computação, com ênfase em Neurociência Computacional, pela University of Hertfordshire, Reino Unido, Mestre em Ciências Computacionais pela Universidade do Estado do Rio de Janeiro (UERJ) e pós-doutor em Neurociência Computacional pela Universidade de São Paulo (USP). Possui MBA Executivo em Gestão de Negócios pelo Ibmec/RJ e graduações em Informática e Tecnologia da Informação pela UERJ e em Psicologia pela Universidade Estácio de Sá. É professor visitante da University of Hertfordshire e, desde 2026, Reitor do IFRJ, para o mandato 20262030. Atua nas áreas de Ciência da Computação, Neurociência Computacional e Engenharia Biomédica, com experiência em modelagem matemática e computacional de sistemas biológicos. Desenvolveu pesquisas sobre plasticidade sináptica, mecanismos de aprendizagem e memória, sinalização intracelular no cerebelo, ativação da proteína quinase dependente de cálcio/calmodulina (CaMKII) e modelagem do potencial elétrico em membranas neuronais. Sua tese de doutorado abordou modelos computacionais de sinalização intracelular e indução de plasticidade sináptica no cerebelo. Entre suas publicações científicas estão trabalhos em periódicos internacionais como Scientific Reports e PLOS ONE. Mantém atuação acadêmica internacional na University of Hertfordshire, nos departamentos de Ciência da Computação e Engenharia, com atividades de ensino e orientação de estudantes de graduação e mestrado, em cursos presenciais e a distância. Sua trajetória acadêmica combina ensino, pesquisa e formação de recursos humanos nas interfaces entre computação, neurociência e engenharia. No Instituto Federal do Rio de Janeiro, desenvolveu também trajetória na gestão da educação pública federal, tendo exercido a função de Diretor de Ensino Médio e Técnico do Campus Nilópolis e, posteriormente, a Direção-Geral do campus, entre 2018 e 2026. Em 2026, assumiu como 5 Reitor do IFRJ, para o mandato 20262030. Sua formação em Psicologia ampliou sua atuação para as interfaces entre neurociência, comportamento humano, tecnologia, educação e saúde mental. Seus campos atuais de interesse incluem Neurociência, Psicologia, Inteligência Artificial, Saúde Mental, Tecnologias Educacionais, Transformação Digital, Gestão Pública e Políticas Públicas de Educação, com especial atenção à educação profissional, científica e tecnológica.

Hélder Seixas Lima

docente IFNMG - Campus Januária

Docente do Instituto Federal de Educação, Ciência e Tecnologia do Norte de Minas Gerais (IFNMG) Campus Januária, desde 2010, atuando nos cursos de Bacharelado em Sistemas de Informação, Bacharelado em Engenharia Civil e Licenciatura em Matemática. Bacharel em Sistemas de Informação (2008) e mestre em Informática (2018) pela Pontifícia Universidade Católica de Minas Gerais (PUC Minas). Concluiu, em 2025, doutorado em Engenharia Elétrica na Universidade Federal de Minas Gerais (UFMG), na linha de pesquisa em Inteligência Computacional. Seus interesses acadêmicos e profissionais incluem epidemiologia computacional, ciência de dados e estudos interdisciplinares que integrem pesquisa e extensão, com foco no desenvolvimento econômico e social.

Felipe José De Sousa Vasconcelos

Outros IFCE - Campus Cedro

Possui Doutorado Engenharia Elétrica pela Universidade Federal do Ceará (UFC), mestrado em Engenharia Elétrica pela Universidade Federal de Campina Grande (UFCG) e graduação em Engenharia de Mecatrônica pelo Instituto Federal de Ciência, Educação e Tecnologia do Ceará (IFCE). Durante a graduação, estudou no Seneca College, no Canadá, no primeiro semestre de 2015. Tem experiência em manutenção industrial, gestão da manutenção, projetos elétricos navais e projetos de sistemas de automação utilizando controladores lógicos programáveis, sistemas supervisórios (Elipse E3) e Instrumentação. Possui experiência em eletrônica de potência, em especial fontes chaveadas de baixa potência e conhecimentos nas áreas de robótica industrial, programação orientada a objetos e sistemas embarcados. No mestrado, atuou na estimação de parâmetros em modelos dinâmicos de válvulas cardíacas para dispositivos de assistência ventricular (DAVs). Atualmente é doutorando em Engenharia Elétrica na Universidade Federal do Ceará (UFC), na linha de pesquisa de controle de processos com parâmetros variantes e com atraso de transporte. Seus atuais interesses de estudo estão relacionados a modelagem, estimação e identificação de sistemas, inteligência computacional aplicada e controle robusto e não linear de sistemas dinâmicos.

Marcos Rogério De Oliveira Azevedo

Outros IFRO - Reitoria

- Formação de graduado em Sistemas de Informação pelo Instituto Luterano de Ensino Superior - (ILES/ULBRA) Porto Velho (2005). - Pós-Graduação em Segurança em Redes e Sistemas Computacionais, UNIRON, (2010). - Mestrando Profissional em Ciência da Computação - Gestão de TI, no CIN/UFPE (2022). - Estagio de TI, no Núcleo Estadual do Ministério da Saúde de Rondônia - NES/RO ( 2002 -2004). - Técnico em processamento de dados, CTIS (2004-2007). - Técnico em processamento de dados Stefanini (2008-2009). - Analista de desenvolvimento de sistemas Sênior, Stefanini (2009). - Analista de Suporte Computacional, Prefeitura de Porto Velho-RO (2010-2014). - Analista de Tecnologia da Informação do Instituto Federal de Educação Ciência e Tecnologia de Rondônia (IFRO), (2014-2023). - Coordenador Técnico de Suporte e Redes, no IFRO, (2021-2023). - Desenvolvedor De Sw IV - SOFTWARE PL - MODEL, no SIDIA - PVH, (2023). - Experiência de 21 anos na área de Ciência da Computação.

Cristian Adolfo Alvez

docente IFSC - Câmpus Chapecó

Possui graduação em Engenharia Eletrônica pela Universidade Nacional de Misiones (2012), mestrado em Engenharia de Sistemas Dinâmicos e Energéticos pela Universidade Estadual do Oeste do Paraná (2015), e Doutorado em Engenharia Elétrica pela Universidade Federal de Itajubá (2019). Atuou como Professor em cursos de nivel básico e superior, e participou no desenvolvimento e implementação de projetos tecnológicos. Tem experiência em pesquisas relacionadas com Otimização Aplicada a Sistemas de Potência, Modelagem de Incertezas em Sistemas de Potência, Redes Inteligentes, Recursos Energéticos Distribuídos, e Colapso de Tensão em Redes Elétricas.

Jacyara Lopes Pereira

tecnico IFF - Reitoria

Zootecnista e Mestra em Ciência Animal, pela Universidade Estadual do Norte Fluminense Darcy Ribeiro - UENF. Atualmente é aluna de Doutorado em Zootecnia na Universidade Federal de Viçosa - UFV, com ênfase em Melhoramento Animal. Possui interesse nas áreas de Produção e Reprodução Animal; Métodos Estatísticos e Genética Quantitativa Aplicados aos Animais Domésticos; e Fenotipagem Digital. Atua também como Técnica de Laboratório/ Área: Química no Instituto Federal Fluminense.

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