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

Resultados para “'Probabilistic Model Checking'”

Rede Integra

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

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.

Denilson Fagundes Barbosa

docente IFSC - Câmpus Canoinhas

Possuo graduação em Tecnologia em Sistemas de Informação pela Universidade Tecnológica Federal do Paraná (UTFPR-CP, 2010), especialização em Sistemas de Telecomunicações pela Escola Superior Aberta do Brasil (ESAB, 2012), especialização em Docência para a Educação Profissional (IFSC, 2020), mestrado em Computação Aplicada com ênfase em Inteligência Computacional (UTFPR-CP, 2015) e doutorado pelo Programa de Pós-Graduação Associado em Bioinformática (PPGAB - UFPR/UTFPR-CP, 2025). Atualmente, possuo vínculo profissional como Professor do Ensino Básico, Técnico e Tecnológico no Instituto Federal de Santa Catarina, no Eixo de Informação e Comunicação, câmpus Canoinhas.

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.

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

Andressa Medianeira Model Carlos

docente IFC - Campus Concordia

Graduada em Química Licenciatura Plena pela Universidade Federal de Santa Maria (UFSM). Durante a graduação participou, como bolsista, do Programa Institucional de Bolsas de Iniciação à Docência (PIBID) promovendo oficinas temáticas para o ensino de química nas escolas públicas da cidade de Santa Maria. Mestra e doutora pelo Programa de Pós-Graduação do Instituto de Química da Universidade Federal do Rio Grande do Sul (UFRGS), c tendo como área de atuação síntese orgânica, com ênfase em catálise assimétrica. Atuou como professora de química do ensino médio regular na Escola Municipal Theóphilo Sauer (Taquara/RS), e também como professora de química na Escola Municipal Taquarense de Jovens e Adultos -ESTAJA.Atualmente é professora efetiva do Instituo Federal Catarinense, campus Concórdia.

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.

Emmanuel Savio Silva Freire

docente IFCE - Campus Morada Nova

Professor efetivo (Regime de Dedicação Exclusiva) do Instituto Federal de Educação, Ciência e Tecnologia do Ceará (IFCE/Campus Morada Nova). Doutor em Ciência da Computação pela Universidade Federal da Bahia - UFBA (2023), mestre em Ciência da Computação pela Universidade Estadual do Ceará - UECE (2012) e tecnólogo em Telemática pelo Instituto Federal de Educação, Ciência e Tecnologia do Ceará - IFCE/Campus Fortaleza (2009). É pesquisador do Technical Debt Research Team (https://www.tdresearchteam.com/home) na Virginia Commonwealth University e do Systems and Software Engineering Laboratory (https://sites.google.com/view/labes2/home) na UFBA. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente em: Engenharia de Software Orientada a Agentes (Agent-Oriented Software Engineering), Engenharia de Requisitos, Gerenciamento de Projetos, Manutenção de Software, Teste de Software e Análise e Desenvolvimento de Sistemas. Tem preferência pelas linhas de pesquisa relacionadas à Dívida Técnica (Technical Debt), à Engenharia de Software Experimental, aos Fatores Humanos em Engenharia de Software, à Engenharia de Software Orientada a Agentes e aos Sistemas Multi-Agente (Multi-Agent Systems).

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.

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.

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.