Resultados para “'Verificação de Modelos'”

George Sobral Silveira

docente IFPB - Campus Campina Grande

Doutorado pela Universidade Federal de Campina Grande na área de Engenharia Elétrica (2012). Mestre em Ciências da Computação pela Universidade Federal de Campina Grande (2008). Graduado em Ciências da Computação pela Universidade Federal de Campina Grande (2006). Possui experiência na área de Ciência da Computação, com ênfase em Desenvolvimento de Sistemas Digitais, atuando principalmente nos seguintes temas: Verificação funcional e desenvolvimento de IP-Cores, System-on-Chip e Sistemas embarcados.

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.

Felipe De Brito Freitas

docente IFMG - Campus Avançado Ipatinga

Possui graduação em Engenharia Elétrica pelo Centro Universitário do Leste de Minas Gerais (2007) e mestrado em Engenharia Industrial pelo Centro Universitário do Leste de Minas Gerais (2010). Tem experiência na área de Engenharia Elétrica, com ênfase em Controle e Automação, atuando principalmente nos seguintes temas: instalações elétricas, controle estatístico de processos, modelagem e simulação de sistemas, modelos polinomiais, redes industriais e automação industrial. Desenvolve pesquisas em nas áreas de Controle e Automação de sitemas. Possui conhecimentos em modelos de sitemas em rede tais como modelos epidemológicos, modelos de dispersão de conhecimento e rumores, sistemas complexos, entre outros. Possui conhecimentos em sistemas caóticos (Caos), processos estocásticos e estatística avançada. Já ministrou aulas de Cálculo (1 a 5), Física (1 a 4) bem como suas aulas práticas, Geometria Analítica e Álgebra Linear e Cálculo Numérico. além de disciplinas afins dos cursos de Engenharia Elétrica e Engenharia de Controle e Automação. Possui conhecimentos em programação de computadores. Vasto conhecimento em pacote Office com profundo conhecimento em Excel. Tem experiência comprovada como orientador de projetos, coordenador de cursos e orientação de estágios. Professor com aproximadamente 10 anos de experiência no ensino superior.

Rafael Garlet De Oliveira

docente IFC - Campus Luzerna

Possui graduação em Engenharia de Controle e Automação Industrial pela Universidade Federal de Santa Catarina (2009), Mestrado em Engenharia de Automação e Sistemas pela Universidade Federal de Santa Catarina (2011) e Doutorado em Engenharia de Automação e Sistemas pela Universidade Federal de Santa Catarina (2024). Atualmente atua como professor efetivo no Instituto Federal Catarinense (IFC) - campus Luzerna.

Valério Gutemberg De Medeiros Júnior

docente IFRN - Campus Parnamirim

É professor do IFRN com doutorado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte. Após a conclusão do doutorado, realizou estágio supervisionado pela universidade francesa de Aix-Marseille em parceria com a companhia ClearSy. Têm experiência na área de desenvolvimento de software, com ênfase em sistema de informação, atuando principalmente em problemas da industria. Atualmente suas áreas de interesses são: Engenharia de Software, Verificação de Software e Teste de Software. Casado, possui um amável filho e adora programar desafios em seu tempo livre.

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.

Igor De Oliveira Costa

docente

Possui graduação em Sistemas de Informação pela Faculdade Sete de Setembro (2008), especialização em Engenharia de Software com Ênfase em Software Livre e mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2015). Atualmente é professor do Instituto Federal da Bahia. Tem experiência na área de Ciência da Computação, com ênfase em Modelos Analíticos e de Simulação, atuando principalmente nos seguintes temas: banco de dados, desenvolvimento de software, desenvolvimento ágil, java e mobile cloud computing.

Marcos Alves Vieira

docente IFGoiano - Campus Iporá

Professor do Instituto Federal Goiano (IF Goiano) - Campus Iporá. É Bacharel em Informática pelo Instituto Federal de Goiás (IFG), Mestre e Doutor em Ciência da Computação pelo Instituto de Informática (INF) da Universidade Federal de Goiás (UFG). Durante o mestrado, desenvolveu pesquisa com foco em Espaços Inteligentes para Computação Ubíqua, aliado à Engenharia Baseada em Modelos. No doutorado, aplicou técnicas de Engenharia Baseada em Modelos para desenvolver um metamodelo permitindo a instanciação de modelos de Proveniência de Dados em conformidade com o padrão W3C PROV, que foi usado como base para a construção de uma ferramenta para modelagem gráfica de proveniência.

Michele Alda Rosso Guizzo

docente IFSC - Câmpus Criciúma

Doutora pelo programa de Pós-Graduação em Informática na Educação da Universidade Federal do Rio Grande do Sul (2021). Possui graduação em Ciências da Computação pela Universidade do Sul de Santa Catarina (1999) e mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2004). Professora efetiva dos cursos técnicos e superiores do Instituto Federal de Santa Catarina Câmpus Criciúma (IFSC). Pesquisadora do Núcleo de Tecnologia Digital Aplicada à Educação (NUTED) sob a orientação e coordenação da Profa. Dra. Patricia Alejandra Behar. Desenvolve pesquisas sobre Modelos Pedagógicos para EaD, Sistemas de Recomendação Educacionais e Tecnologias Educacionais. Atuou na coordenação de projetos para o desenvolvimento e implantação de sistemas ERP, catálogo eletrônico, Intranet e Extranet.

Juliano Alves De Deus

docente IFRO - campus Cacoal

Professor Titular do Instituto Federal de Educação, Ciência e Tecnologia de Rondônia - Câmpus Cacoal, atuando na docência de ensino médio-técnico, graduação, especialização e mestrado profissional.Possui Doutorado (2013) e Mestrado (2009) em Física Teórica (Relatividade e Teoria de Campos) pela Universidade de Brasília, onde defendeu Tese sobre Os Modelos Cosmológicos de Bianchi no contexto da Teoria Quadrática da Gravidade.Possui Graduação em Licenciatura Plena em Física pela Universidade Federal de Rondônia (2006) onde apresentou trabalho de conclusão de curso sobre Analise Numérica-computacional do Movimento de Projéteis e desenvolveu atividades de Iniciação Científica em Ciências Ambientais.É professor colaborador/orientador do Mestrado Nacional Profissional em Ensino de Física - MNPEF/UNIR/Ji-Paraná.É pesquisador em ensino, fundamento e aplicação de Física e Ciências, orientador de projetos de iniciação científica e tecnológica, conclusão de curso e mestrado.Membro dos grupos de pesquisa GPEFACIM (líder) e GPAE.

Henrique Faria De Oliveira

docente IFNMG - Campus Teófilo Otoni

Possui graduação em Desenvolvimento de Sistemas pela Faculdade Santa Marcelina (2007) e mestrado em modelos e sistemas em agrometeorologia pela Universidade Federal de Viçosa (2010). Atualmente é professor do Instituto Federal Norte de Minas Gerais, campus Teófilo Otoni. Têm experiência na área de ciência da computação e agrometeorologia, com ênfase em engenharia de software, sistemas de apoio à tomada de decisão, banco de dados e linguagens de programação. Atua, principalmente, nos seguintes temas: Função de produção, manejo de irrigação e modelos de produtividade.

Douglas Rolins De Santana

docente IFG - Campus Goiânia

Mestre em Ciência da Computação pela Universidade Federal de Goiás (UFG). Especialista em Desenvolvimento de Sistemas Web e Bacharel em Sistemas de Informação. Professor efetivo no Instituto Federal de Educação, Ciência e Tecnologia de Goiás (IFG) desde 2010, atualmente no Câmpus Goiânia. Atuou como Diretor de Tecnologia da Informação no IFG por nove anos (2013-2022). Doutorando em Ciência da Computação na UFG, onde pesquisa técnicas de recuperação e integração de dados combinadas com grandes modelos de linguagem. Experiência em engenharia de software, desenvolvimento de sistemas, banco de dados, processamento de linguagem natural e gestão em tecnologia da informação.

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.

Priscila Roque De Almeida

docente IFSudesteMG - Campus Juiz de Fora

Possui graduação em Matemática pela Universidade Federal de Viçosa (2011), mestrado em Matemática pela Universidade Federal de Viçosa (2014) e doutorado pelo Programa de Pós-Graduação em Modelagem Computacional da Universidade Federal de Juiz de Fora (2025). Atualmente é professora efetiva do Instituto Federal do Sudeste de Minas Gerais, campus Juiz de Fora. Pesquisa na área de Modelagem Computacional, com ênfase em Biomecânica, Método de Elementos Finitos, Modelo Constitutivo e Crescimento Finito.

Edenir Luis Grimm

docente IFFar - Campus Alegrete

Possui graduação em Agronomia pela Universidade Federal de Santa Maria (2004), mestrado em Engenharia Agrícola pela Universidade Federal de Santa Maria (2007) e doutorado em Engenharia Agrícola pela Universidade Federal de Santa Maria (2010), atuando principalmente nos seguintes temas: plasticultura, olericultura, evapotranspiração máxima e modelos de previsão de doenças. Concluiu também o curso do Programa Especial de Graduação de Formação de Professores para a Educação Profissional, da Universidade Federal de Santa Maria, em 2010. Atualmente trabalha como docente no Instituto Federal Farroupilha - Alegrete.

Adão Felipe Oliveira Skonieski

docente IFRS - Campus Ibirubá

Engenheiro Metalúrgico pela Universidade Federal do Rio Grande do Sul em 2005. Mestre e Doutor Engenharia pelo PPGE3M da UFRGS (conceito 7 - CAPES) na área de Processos de Fabricação (2008 e 2013, respectivamente). Possui pós-graduações complementares em Gerenciamento de Projetos pela FGV e em Engenharia de Produção pelo IPOG Porto Alegre. Atua nas áreas de processos de fabricação de metais, gestão de processos industriais, possuindo expertise nas áreas de tratamentos térmicos e termoquímicos e deposição de filmes finos em aços. Tem ampla experiência em caracterização de materiais metálicos e desenvolvimento de superfícies. Trabalhou como pesquisador no Fraunhofer Institut-Dresden e IWT-Bremen, ambos na Alemanha, entre 2009 e 2011 por meio de doutorado sanduíche: Capes/DAAD desenvolvendo filmes de DLC pela técnica de Magnetron Sputtering. Atualmente é Professor em efetivo exercícios do Ensino Básico, Técnico e Tecnológico (EBTT) no Instituto Federal do Rio Grande do Sul desde março de 2013. Atua em diversos projetos de ensino e pesquisa em desenvolvimento de equipamentos mecânicos, caracterização e ensaios de materiais e processos de fabricação metalúrgicos. Possui experiência em Gestão Educacional tendo sido Chefe do Departamento de Ensino do Campus Rio Grande entre janeiro de 2016 e abril de 2017 além de Coordenador da Engenharia Mecânica daquele Campus entre março de 2018 e setembro de 2020. Atualmente é Professor e Coordenador do Curso de Engenharia Mecânica do Campus Ibirubá do IFRS.