Resultados para “'Verificação Formal'”

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.

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.

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.

Gislene Souza De Oliveira De Camargo

docente

Possui graduação em Letras Vernáculas -Campus VI- Caetité -BA pela Universidade do Estado da Bahia (2004). Atualmente é prof. de constituição das línguas românicas da Universidade do Estado da Bahia, concurso da Escola Municipal Maria das Graças Assis Correia - Brumado, professora de ensino fundamental e médio - Colégio Estadual Getúlio Vargas e efetivo - IFBA - campus Ubaitaba. Tem experiência na área de Letras, com ênfase em Letras, atuando principalmente nos seguintes temas: leitura - escrita - interpretação, competencia - escrita - coerência, variação linguística - educação formal, gênero - discurso- analise e língua portuguesa. Atualmente, atua no campus Eunápolis.

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.

Claiton Marques Correa

docente IFFar - Campus São Borja

Possui graduação em Sistemas de Informação (2010), Mestrado em Ciência da Computação (2013) e Doutorado em Ciência da Computação (2023) todos pela PUCRS. Desde 2014 é docente da área de computação no Instituto Federal Farroupilha - IFFar, atuando na modalidade Técnico em Informática integrado ao ensino médio, no curso de bacharelado em Sistemas de Informação e no curso de especialização em Informática Aplicada à Educação. Tem experiência na área de desenvolvimento de sistemas, análise e verificação formal de sistemas. Foi coordenador do curso de bacharelado em Sistemas de Informação do IFFar SB de Setembro de 2016 a Dezembro de 2018. Desenvolve pesquisas na área de Interação Humano-Computador e visualização de dados. Participou do Programa de Doutorado-sanduíche no Exterior (PSDE) por 6 meses na Dalhousie University, Canadá. Nesse período, recebeu bolsa do programa PrInt-CAPES.

Wellington Vinicius Dos Santos

docente IFF - Campus Cabo Frio

Doutorando em Alimentos e Nutrição na UNICAMP (2022) e aluno do 8 semestre do bacharelado em Nutrição. Mestre em Nutrição e Alimentos na Unisinos (2017), possui graduação em Gastronomia pela Faculdade Cambury (2005), especialização em Gestão de Negócios em Serviços da Alimentação pelo Centro Universitário SENAC (2010) com ênfase em serviços de buffet e atenção ao consumidor. Especialização em Gastronomia Brasileira pela Faculdade Metropolitana(2020),especialização em nutrigenômica e nutrigenética pela Instituição Unyleya (2022).Docente da Rede federal de Ensino desde 2010, atualmente faz parte do quadro permanente do Instituto Federal Fluminense - Câmpus Campus Cabo Frio. Tem experiência em ensino fundamental, médio (Subsequente e Integrado), PROEJA e superior nas seguintes disciplinas: Cozinha Brasileira, Dietas Especiais, Gastronomia Funcional, Garde Manger, Cozinha de Criação, Estudo Experimental de Alimentos, Desenvolvimentos e Aplicação de Cardápio de Cozinha Industrial, Administração da Alimentação Coletiva, Técnicas Dietéticas e Planejamento, Produção de Cardápio e Fundamentos de Pesquisa. Atua em pesquisas relacionadas a educação popular, educação não formal, antropologia da alimentação , identidade e memória dos indivíduos. Atuou como conteudista do PRONATEC, produzindo materiais da área da gastronomia. Atual entre o ano de 2003 ao ano de 2010, como gestor e consultor de restaurantes e treinamentos de equipe de alimentação coletiva.

Cristiane Teixeira De Oliveira

tecnico IFRJ - Campus Rio de Janeiro

Doutoranda em Ciências da Educação, na Universidade de Évora, Portugal. Foi aluna convidada na Technische Universität Chemnitz, na Alemanha, durante o ano letivo 2019/2020 no âmbito do Doutoramento. Possui mestrado em Ciência da Informação, pela Universidade Federal Fluminense. É especialista em Gestão Eletrônica de Documentos, pelo Centro Universitário Augusto Motta e bacharel em Biblioteconomia e Documentação, pela Universidade Federal Fluminense. Ocupa o cargo de Bibliotecária e Documentalista no Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro desde 2007. Possui experiência na área de Ciência da Informação, com ênfase em Biblioteconomia, Gestão de Bibliotecas, Gestão da Informação e do Conhecimento. É membro da Comissão Brasileira de Bibliotecas das Instituições da Rede Federal de Educação Profissional, Científica e Tecnológica - Gestão 2019/2021. Tem interesse nas áreas de educação não-formal em bibliotecas, educação e estudos inter-relacionais em Ciências da Informação e Ciências da Educação.

Gilberto Mazoco Jubini

docente IFES - Campus Ibatiba

Doutor em Cognição e Linguagem e Mestre em Engenharia de Produção pela Universidade Estadual do Norte Fluminense Darcy Ribeiro(Uenf). Pós graduado em Especialização em Práticas Pedagógicas para Professores, pelo Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo(Ifes). Especialização em Matemática pela Universidade do Grande Rio(UNIGRANRIO). Professor titular (Ifes campus Ibatiba). Membro dos Grupos de Pesquisa: NÚCLEO DE ESTUDOS E PESQUISAS EM PSICOLOGIA, FENOMENOLOGIA E FILOSOFIAS DA EXISTÊNCIA (NEPPFFE - dgp.cnpq.br/dgp/espelholinha/55315388438299341315510) e Grupo de Estudos Caparaó (dgp.cnpq.brdgpespelholinha/35690489397401081352187). Linhas de pesquisa: Formação de Professores; Educação Matemática e Fenomenologia. Busca em seus estudos recentes reconhecer as variáveis contemporâneas da equação civilizatória, de modo provocar reflexões sobre o papel social do educador e da educação formal e não formal.

David Gomes Costa

docente IFAL - Campus Maceio

Possui graduação em Filosofia (2007), mestrado em Lógica e Filosofia Formal (2010) e Doutorado em Filosofia (2020) todos pela Universidade Federal do Rio Grande do Norte (UFRN). Atualmente é professor efetivo do Instituto Federal de Alagoas - Matriz, atuando principalmente nos seguintes temas: lógica, sintaxe, modal, axiomas e semântica.

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.

Fernanda Antoniolo Hammes De Carvalho

Professor Visitante IFRS - Campus Rio Grande

Possui graduação em Ciências - Habilitação em Biologia pela Universidade Católica de Pelotas - UCPel (1987), mestrado em Letras pela Universidade Católica de Pelotas - UCPel (2000), doutorado em Educação pela Pontifícia Universidade Católica do Rio Grande do Sul - PUC/RS (2008) e pós-doutorado em Educação em Ciências: química da vida e saúde pela Universidade Federal de Rio Grande - FURG (2015). Atua na graduação e na pós-graduação. Foi docente na Faculdade Atlântico Sul de Rio Grande, no Instituto de Educação de Ivoti - ISEI e na FURG. Atualmente é professora visitante no Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul - IFRS Campus Rio Grande. É sócia da INSIGHT Consultoria Educacional e Corporativa. Com base na interlocução com neurociências, desenvolve atividades nas áreas de educação formal e não formal, educação em saúde e educação corporativa, tendo como foco: comunicação e interações humanas; tecnologias e criatividade; pesquisa e metacognição; liderança e gestão; aprendizagem e comportamento ao longo da vida.

Mariani De Souza Silveira

docente IFSC - Câmpus Gaspar

Doutora em Design pela Universidade UDESC. Mestra em Ensino de Ciências Naturais e Matemática pela Universidade FURB. Especialista em Gestão do Projeto e Moda do Vestuário pela Faculdade Estácio de Sá. Bacharel em Moda com Habilitação em Estilismo pela Universidade UDESC. Professora no Instituto Federal de Santa Catarina - IFSC, campus Gaspar. Possui conhecimentos avançados nos softwares utilizados para o Design.

Eduardo Henrique Modesto De Morais

docente IFMG - Campus Bambuí

Bacharel e Licenciado em Geografia pela Universidade Federal de Viçosa/UFV, Mestre em Educação pela Universidade Federal de Juiz de Fora/UFJF e Doutor em Geografia pela Universidade de Brasília/UnB. Atualmente, é Professor do Ensino Básico, Técnico e Tecnológico no Instituto Federal de Minas Gerais/IFMG - Campus Bambuí. Tem experiência nos seguintes temas/áreas: Geografia; Ensino de Geografia; Educação do Campo; Educação Ambiental e; Educação Não Formal.

Renato De Oliveira

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

É licenciado em Ciências Biológicas pela Universidade Federal de Uberlândia (UFU), especialista em Ensino de Ciências, Biologia e Educação Ambiental (UFU), mestre em Ciências Fisiológicas pela Universidade Federal do Triângulo Mineiro e doutor em Educação pela Universidade Federal do Triângulo Mineiro (UFTM). Atualmente é professor EBTT efetivo do IFTM, campus Uberaba Parque Tecnológico. Leciona Biologia no Ensino Médio e Técnico. Foi coordenador do Ensino Médio e Técnico em 2012. Já lecionou Genética para a Engenharia Agronômica e Parasitologia, Anatomia Humana, Embriologia e Histologia nos cursos de Licenciatura em Ciências Biológicas e Zootecnia, de 2009 a 2015 no IFTM campus Uberaba. Atualmente é vice-líder do grupo de Pesquisa em Educação, Tecnologias e Ensino de Ciências (GPTEC - http://dgp.cnpq.br/dgp/espelhogrupo/4974565101412687) e integrante do Grupo de Estudo e Pesquisa em Educação Não Formal e Ensino de Ciências (GENFEC - http://dgp.cnpq.br/dgp/espelhogrupo/242984). Desenvolve pesquisas em Educação, com ênfase na Formação de Professores, Ensino de Ciências, Metodologias ativas, Divulgação Científica, Educação Não Formal e Educação Profissional e Tecnológica.