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

Resultados para “'Validação Formal de Software'”

Rede Integra

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

Fabiana Gomes Marinho

docente IFCE - Campus Maracanaú

Fabiana Gomes Marinho é graduada, mestre e doutora em Ciência da Computação pela Universidade Federal do Ceará (UFC), com doutorado-sanduíche na Universidade Federal do Rio de Janeiro (UFRJ), com bolsa CNPq. Atuou como Coordenadora de Qualidade e Processos no Instituto Atlântico (2002-2008) e como docente em diversas instituições de ensino superior. Atualmente, é professora e coordenadora do curso de Bacharelado em Ciência da Computação no IFCE campus Maracanaú, onde também participa de comissões institucionais como NUGEDS, CISSP, CPPD e Gestão da Qualidade. Sua área de atuação inclui Qualidade e Engenharia de Software, com foco em certificações ISO e CMMI, reuso, linhas de produtos de software e verificação e validação.

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.

Edson Angoti Júnior

docente IFTM - Campus Uberlândia Centro

Professor efetivo do Instituto Federal do Triângulo Mineiro - Campus Uberlândia Centro. Possui mestrado em Engenharia Elétrica na área de concentração Processamento da Informação / Inteligência Artificial, pela Universidade Federal de Uberlândia (1996). Graduação em Engenharia Elétrica (ênfase eletrônica) pela Universidade Federal de Uberlândia (1993). Tem experiência na área de Programação Orientada a Objetos, com ênfase em desenvolvimento de software para Web e Mobile, atuando principalmente nos seguintes temas: Android, React Native, Java, Kotlin, Javascript, PHP, Spring Boot, HTML, CSS, UML. Atuou como Coordenador Geral de Administração e Planejamento - CGAP (2013-2015) e como Coordenador do Curso Superior de Tecnologia em Sistemas para Internet (2022-2025) do IFTM/Campus Uberlândia Centro. Tem experiência em desenvolvimento de software para empresas. Tem experiência em projetos pedagógicos de cursos superiores.

Sergio Henrique Silva Junior

docente IFRJ - Campus Nilópolis

Doutorando em Ensno de Ciências, Mestrado em metrologia, MBA em Gestão da Qualidade, graduação em Licenciatura em Química e Bacharel em Química Com Orientação Tecnológica . Atualmente professor efetivo dos cursos de graduação de Bacharel em Química , Tecnólogo em Gestão da produção Industrial, Especialização em Gestão Ambiental e experiência de oito anos como Diretor de Administração do IFRJ - Campus Nilópolis. Experiência 15 anos em Indústria Química, implantação e implementação de sistemas de gestão baseados nas normas ISO-9001, ISO-17025 e ISO-14001, Validação de Métodos de Ensaio e dispositivos de medição e Técnicas de Controle Estatístico de Processos. Participante das comissões para Estudo e elaboração do projeto de implementação de cursos superiores e de pós graduação nas áreas de Metrologia, Gestão da Qualidade, Marketing Farmacêutico e Licenciatura em Matemática. Participante da comissão de elaboração do Plano de Desenvolvimento Institucional (PDI). Implementador da modernização da Coordenação de Registro Escolar para conferir agilidade e confiabilidade.

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.

Lis Ângela De Bortoli

docente IFRS - Campus Sertão

Possui Graduação em Ciência da Computação pela Universidade de Passo Fundo, Especialização em Informática pela COPPE/UFRJ/UPF, Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul e Doutorado em Envelhecimento Humano pela Universidade de Passo Fundo, na linha de pesquisa Gerontecnologia. Atualmente é Professora Titular do Ensino Básico, Técnico e Tecnológico do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul. Tem experiência na área de engenharia de software, engenharia de requisitos, educação em engenharia de software, gerontologia educacional, metodologias ágeis, descarte de lixo eletroeletrônico. Atua também como pesquisadora e extensionista.

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.

Alexandre Pimenta

docente IFMG - Campus Formiga

Possui graduação em Ciência da Computação pela Universidade Federal de Uberlândia (1993), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (1998) e doutorado em Engenharia Elétrica pela Universidade Federal de Minas Gerais (2017). Atualmente é professor titular do IFMG.Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: implantação de sistemas, processo de desenvolvimento de software. Possui experiência também com desenvolvimento de sistemas computacionais que atuam no mercado de capitais. Tem interesse em pesquisas relacionadas a técnicas de aprendizagem de máquina aplicadas ao mercado financeiro. Atua como professor do curso de Mestrado Profissional em Finanças, na linha de pesquisa, Finanças Corporativas e Investimentos.Formação Sólida e Contínua: Sempre estive comprometido com a aprendizagem ao longo da vida. Obtive minha graduação, mestrado e doutorado em instituições renomadas, o que ampliou e aprofundou meu conhecimento ao longo dos anos.Liderança Institucional: No IFMG, estive a frente de várias diretorias: Diretoria de Extensão no Campus Bambui, Diretoria de TI na reitoria, Diretoria do Polo de Inovação. Nestas atividades desenvolvi habilidades de gestão, tomei decisões importantes e sempre busquei uma visão estratégica para a instituição. Mestrado em Engenharia de Software: Tenho uma forte ênfase na implementação de sistemas e no processo de desenvolvimento de software, o que me proporcionou um pensamento analítico aguçado e uma abordagem metódica para resolver problemas.Adaptabilidade no Setor de TI: Minha experiência com sistemas computacionais no mercado de capitais me ensinou a ser flexível e adaptável a diferentes segmentos da computação.Pesquisa Aplicada: Sempre fui atraído por técnicas de aprendizado de máquina voltadas para o mercado financeiro, buscando combinar teoria e prática para desenvolver soluções inovadoras.Habilidades de Mentoria e Ensino: Como professor em nível de mestrado, aprendi a transmitir conhecimentos complexos de forma compreensível, sempre visando estimular o pensamento crítico e a pesquisa entre meus alunos.Visão Interdisciplinar: Atuo na interseção da Ciência da Computação com Finanças, o que me permitiu conectar disciplinas e aplicar meus conhecimentos em áreas variadas.Colaboração e Trabalho em Equipe: Em minha trajetória, colaborei e trabalhei efetivamente com diferentes profissionais e equipes, sempre visando a sinergia e o crescimento mútuo.Ao longo da minha carreira, busquei desenvolver e aprimorar uma combinação rica de habilidades técnicas e interpersonais, o que me permitiu navegar com eficácia e inovação tanto em ambientes acadêmicos quanto empresariais.

Raiane Agustinho Lopes Tinoco

Outros IFRO - campus Colorado do Oeste

Licenciada em Ciências Biológicas pelo Instituto Federal de Educação, Ciência e Tecnologia de Rondônia (IFRO), Câmpus Colorado do Oeste. Especialista em Docência do Ensino Superior pela Faculdade de Tecnologia do Ipê. Mestra em Educação Cientifica e Tecnológica pela Universidade Federal de Santa Catarina (UFSC). Desde o início da Graduação despertou interesse em desenvolver estudos e pesquisas no âmbito da Educação, identificando-se a temas ligados a Formação de Professores; Saberes e Experiências, Educação não formal e; Processo ensino e aprendizagem.

Jonathan Ache Dias

docente IFC - Campus Araquari

possui graduação em Sistemas de Informação pela Universidade Franciscana - UFN (2003), licenciatura plena em Educação Física pela Universidade Federal de Santa Maria - UFSM (2005), mestrado em Ciência do Movimento Humano pela Universidade do Estado de Santa Catarina - UDESC (2009) na linha de biomecânica e doutorado em Educação Física pela Universidade Federal de Santa Catarina - UFSC (2015) na área de Biodinâmica do Desempenho Humano (Exercício físico e desempenho no esporte). Realizou período de estágio de pós-doutorado no PPGEF/UFSC (2024-2025). É professor no Instituto Federal Catarinense - IFC - Campus Araquari, líder do Grupo de Pesquisa em Tecnologia, Esporte e Reabilitação (GPTER), pesquisador do Laboratório de Biomecânica (BIOMEC/UFSC), sendo membro dos grupos de estudo do Movimento Humano - GEMH, Grupo de Pesquisa em Biodinâmica - GPBIO e membro do Grupo de Estudos em Musculação (GEM) da UDESC. Foi membro titular do conselho da Editora (2021-2023) e Comitê de Ética em Pesquisa com Seres Humanos (CEPSH) (2020-2024) do IFC. Atualmente (2026-2027) é conselheiro titular do segmento docente no conselho superior (CONSUPER) do IFC. É revisor ad-hoc de periódicos nacionais e internacionais. Tem experiência na área de Biodinâmica do Movimento Humano e Ciência da Computação com ênfase em Biomecânica, Fisiologia do Exercício e Desempenho no Esporte, atuando principalmente nos seguintes temas: treinamento pliométrico, força de preensão manual, desenvolvimento e validação de testes e equipamentos e engenharia de software. e-mail: jonathanache@gmail.com ou jonathan.dias@ifc.edu.br.

Claudio Roberto De Lima Martins

docente

Mestre em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2003), graduação em Tecnologia em Processamento de Dados (1990) e especialização em Análise de Sistemas (1999), ambos pela Universidade Federal do Pará (UFPA) . Atualmente é professor do IFPA (Instituto Federal de Educação, Ciência e Tecnologia do Pará). Atuei na Universidade da Amazônia (UNAMA), entre 2004 e 2010, ministrando disciplinas na área de Engenharia de Software, e empresas públicas com Prodepa (Governo do Pará) e Cinbesa (Prefeitura de Belém). Na Companhia de Tecnologia da Informação de Belém (Cinbesa), por 33 anos atuei como analista, gerente e desenvolvedor de sistemas com foco em projetos estratégicos para a Prefeitura de Belém. Dedica-se à área da Ciência da Computação, em especial à engenharia de software e inteligência computacional, atuando principalmente nos seguintes temas: ciência de dados, engenharia de software e arquitetura de software.

Flávio Santos Medeiros Da Fonseca

docente IFNMG - Campus Montes Claros

Mestrado em Saúde, Sociedade Ambiente pela Universidade Federal dos Vales do Jequitinhonha e Mucuri - UFVJM com o trabalho Aplicativo para Vigilância Epidemiológica com uso do Prontuário Eletrônico do Cidadão - Panóptico. Especialista em Produção de Software com Ênfase em Software Livre pela Universidade Federal de Lavras-MG, possui graduação em Sistemas de Informação pelas Faculdades Santo Agostinho. Atualmente faz parte do corpo docente do Instituto Federal de Educação, Ciência e Tecnologia do Norte de Minas Gerais - IFNMG Campus Montes Claros, onde ministra disciplinas de tecnologia da informação nas varias modalidades disponíveis. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Desenvolvimento de Software, Qualidade de Software, Software Livre, open Hardware e Software embarcado.

Daniel Vitor De Lucena

docente IFG - Campus Luziânia

Pesquisador em Inteligência Artificial aplicada a Saúde e professor do Instituto Federal de Educação, Ciência e Tecnologia de Goiás (IFG). Doutor e Mestre em Ciências da Computação pela Universidade Federal de Goiás, Especialista em Qualidade e Gestão de Software pela Pontifícia Universidade Católica de Goiás e Especialista em Processamento de Linguagem Natural pela UFG, Bacharel em Engenharia de Computação pela Pontifícia Universidade Católica de Goiás. Sólida experiência profissional em Engenharia de Software nas funções de CTO, Gerente de Projetos, Arquiteto de Software, Gerente de Processo, Implementador do modelo MPS.BR. Consultor em P,DI com participação em projetos de inovação da Saúde preventiva, medicina baseada em evidência e automação de protocolos clínicos por IA. Experiência acadêmica em computação científica aplicada desde 2003 empregando conceitos como Machine Learning e Deep Learning, Imagem Hiperespectral, Computação Evolutiva, Otimização Multiobjetivo, Análise Multivariada e inferência estatística em projetos de P,DI.

Thiago Cassio Krug

docente IFFar - Campus Uruguaiana

Possui graduação em Engenharia de Software pela Universidade Federal do Pampa (2013). Atualmente é professor do ensino básico, técnico e tecnológico do Instituto Federal Farroupilha. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: entidades nomeadas, inspeção de software, refatoração, e padrões de projeto.

Fernando Luiz De Carvalho E Silva

docente IFF - Campus Campos Centro

Doutor em Engenharia de Materiais (UENF, 2017), mestre em Engenharia de Produção (UENF, 2011), Pós-Graduado em Produção e Sistemas pelo (CEFET-Campos, 2009), Tecnólogo em Desenvolvimento de Software (CEFET-Campos, 2007). Tem experiência em Lean (Pensamento Enxuto), Ciência da Computação, tendo interesse nas seguintes áreas: Ciência dos Materiais, Mecânica da Fratura, Engenharia de Produção, Reconhecimento de padrões, Geoprocessamento, Sensoriamento Remoto e Ecologia da Paisagem. Experiência profissional em Consultoria, Gerenciamento de Tecnologia da Informação e Desenvolvimento de Software. Professor no IF Fluminense http://www.iff.edu.br desde 2010.

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