Resultados para “'Verificação'”

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.

Cleverton Hentz Antunes

docente IFRN - Campus Natal - Zona Norte

Possui graduação em Ciências da Computação pela Faculdade Lourenço Filho e doutorado em sistemas e computação pela UFRN. Tem experiência na área de desenvolvimento de software, com ênfase em sistema de informação, atuando principalmente nos seguintes temas: Engenharia de Software, Processos de Desenvolvimento, Verificação e Validação de Software e Desenvolvimento em Java. Atualmente suas áreas de interesses são: Engenharia de Software, Linguagens Formais e Teste de Software.

Ana Carla Lima Portela

docente

Possui graduação em Letras Vernáculas pela Universidade Católica do Salvador (2004) e Pós-graduação em Metodologia do Ensino e Pesquisa pela Universidade do Estado da Bahia (UNEB). Dentre outras experiência como docente, foi professora efetiva da Prefeitura Municipal de Salvador e de Estágio Supervisionado no curso de Letras do Campus XIII - UNEB. Atua na Formação de professores para as relações raciais e desenvolve projetos de metodologias afirmativas. Mestre em Educação e Contemporaneidade, Linha 1- Processos civilizatórios: Educação, Memória e Pluralidade Cultural, na Universidade do Estado da Bahia (2018), com pesquisa sobre Políticas de Ação Afirmativa e juventude quilombola. Desde 2011, pertence ao quadro de docentes do IFBA- Instituto Federal de Ciências e Tecnologia da Bahia- antes em Seabra, no território de identidade da Chapada Diamantina, e atualmente no campus Salvador. Participa da coordenação do Projeto Canteiro de Obras Pretas, curso de formação e trocas pedagógica com professores e pesquisadores da Educação básica, comprometido com a proposição de metodologias afirmativas que contribuam para a aplicação das leis antirracistas.

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.

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.

Gustavo Camargo Bérti

docente IFSC - Câmpus Tubarão

Doutorando pelo Programa de Pós-Graduação em Ensino de Ciências, Matemática e Tecnologias da Universidade do Estado de Santa Catarina (PPGECMT-UDESC/CCT) na linha de pesquisa Práticas Educativas e Processos de Aprendizagem no Ensino de Ciências, Matemática e Tecnologias. Mestre em Matemática pelo programa PROFMAT (Mestrado Profissional em Matemática em Rede Nacional) - Sociedade Brasileira de Matemática / Universidade Federal de Santa Maria (2015). Licenciado em Matemática pela Universidade Federal do Rio Grande do Sul (2011). Atua como professor de Matemática de ensino médio, técnico e graduação no Instituto Federal de Santa Catarina desde 2014, também coordenando projetos de ensino, pesquisa e extensão na área de Ensino da Matemática.

Henrique Gonçalves Salvador

docente IFSP - Campus Campinas

Possuo Mestrado em Engenharia Eletrônica e Computação pelo ITA - Instituto Tecnológico de Aeronáutica (2008) e graduação em Ciências da Computação pela UFMT - Universidade Federal de Mato Grosso (2004). As minhas áreas de interesse são: Aprendizado de Máquina, Mineração de Dados, Banco de Dados e Segurança de Rede de Computadores.

Luís Henrique Da Silva Ignacio

docente IFG - Campus Senador Canedo

Graduado no curso de Bacharelado em Engenharia Mecânica pela Universidade Federal de Uberlândia (UFU). Mestre em Engenharia Mecânica pela Universidade Federal de Uberlândia (UFU) com ênfase em transferência de calor e massa. Doutor em Engenharia Mecânica pela Universidade Federal de Uberlândia (UFU) atuando Laboratório de Mecânica dos Fluidos (MFLab) com ênfase em geração de energia e mecânica dos fluidos. Atualmente é Professor do Ensino Básico, Técnico e Tecnológico do Instituto Federal de Goiás - Câmpus Senador Canedo. Demais perfis do pesquisador: Google Scholar: https://scholar.google.com.br/citations?hl=pt-BRuser=HG13EGsAAAAJhl=pt-BR Base Scopus (Verificação de índice H): https://www.scopus.com/authid/detail.uri?authorId=57205880193

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

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.

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.

Gessica Mina Kim Jesus

docente IFNMG - Campus Araçuaí

Possui mestrado e doutorado em Engenharia de Produção pela Universidade Estadual Paulista Júlio de Mesquita Filho Campus Bauru. É graduada em Engenharia de Produção pela Universidade Federal de Uberlândia Campus Ituiutaba. Atualmente, trabalha como professora do ensino básico, técnico e tecnológico do Instituto Federal do Norte de Minas Gerais (IFNMG) Campus Araçuaí, MG. Em 2021 e 2020 foi facilitadora da UNIVESP (Universidade Virtual do Estado de São Paulo) na modalidade de ensino a distância. Em 2018 lecionou as disciplinas de Administração e Administração da Qualidade para os cursos de Engenharia Civil e Mecânica na UNESP na modalidade de professora bolsista e no período de 2015 a 2016 atuou como professora substituta no curso de Engenharia de Produção da UFU lecionando as disciplinas de Controle Estatístico do Processo, Gestão da Qualidade, Administração de Recursos Humanos e Logística.

Ana Paula Santos Da Conceição

docente IFRJ - Campus Nilópolis

Doutora em Química Orgânica pela Universidade de São Paulo (2004). Mestre em Química Orgânica pela Universidade Federal Rural do Rio de Janeiro (1999). Engenheira Química pela Universidade Federal Rural do Rio de Janeiro (1996). Assistente de Pesquisa Tecnológica e Científica do Instituto Adolfo Lutz - Central (2006-2008).Pós-doutorado pela Faculdade de Saúde Pública da Universidade de São Paulo, no Departamento de Nutrição (2009-2010).Tem experiência na área de Química de Produtos Naturais, atuando principalmente nos seguintes temas: isolamento e identificação de produtos de origem vegetal; cultura de tecidos vegetais; métodos analíticos no controle de qualidade de fitomedicamentos; ensaios para verificação da atividade antioxidante; uso de resíduos na composição de biomateriais; tingimeno natural no ensino de química orgânica; obtenção de etanol a partir da polpa de celulose obtida a partir de resíduos de cana de açúcar, casca de côco e palha de milho; antotipia e cianotipia como técnicas de geração de imagens e ensino de química.Docente do Instituto Federal de Educação, Ciência e Tecnologia de São Paulo de 2010 a 2017, onde exerceu o cargo de Diretora de Graduação na Pró-reitoria de Ensino do Instituto Federal de Educação de São Paulo de 2015 a 2017.Atualmente é docente do Instituto Federal do Rio de Janeiro, campus Nilópolis.

Rafael Henrique De Almeida Ferreira

docente IFSudesteMG - Campus Barbacena

Mestre em Ciência e Tecnologia de Alimentos pelo IF Sudeste MG (2023). Especialista em: Tecnologia e Qualidade em Produção de Alimentos pela UNIFAL (2022), em Docência no Ensino Superior (2021) e Educação Profissional e Tecnológica (2022). Possuo os títulos de Tecnólogo em Alimentos (2019) e Técnico em Agroindústria(2010), também pelo IF Sudeste MG. Possuo experiência na área de Ciência e Tecnologia de Alimentos, com ênfase em segurança dos alimentos e gestão da qualidade.

Karolino Torres Quintanilha

docente IFGoiano - Campus Campos Belos

Pesquisador homem trans, com interesse nas linhas de agricultura familiar, agroextrativismo, sociobiodiversidade, mercados imersos, frutos do Cerrado, agronegócio e contabilidade. Doutorando em Agronegócio, UFG - Universidade Federal de Goiás (2021/2024), pesquisa de doutorado voltada para a Cadeia produtiva do pequi no Cerrado em Goiás. Graduado em Ciências Contábeis - Universidade Pitágoras - UNOPAR (2020/2024). Mestre em Agronegócio, UFG - Universidade Federal de Goiás (2018/2020) na linha de pesquisa: Agricultura Familiar coma pesquisa de Mapeamento dos Produtores de Tomate de Mesa do Estado de Goiás, verificação do perfil socioeconômico dos Agricultores Familiares, Classificação das áreas de produção de tomate por imagens de satélites, utilizando o algoritmo Random Forest, por meio da ferramenta Google Earth Engine, viabilidade do uso de VANT (Veículo Aéreo não Tripulado) como ferramenta geradora de informação da área. Tecnólogo em Agronegócio, Universidade Estadual de Goiás - UEG (2013/2016) trabalho de conclusão de curso em administração rural via softwares de gestão das propriedades rurais a partir da realidade do município de Campos Belos. Técnico em informática, Instituto Federal Goiano - IF Goiano (2014/2015), elaboração do programa desktop Agrosoftware, software voltado para o controle, gestão de insumos e gestão financeira de propriedades rurais com características da agricultura familiar. Bolsista pela Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES (2021/2024). Professor substituto do curso técnico em Administração e bacharelado em Administração do IF Goiano, Campus Campos Belos Goiás. Professor EBTT em Administração no Instituto Federal Goiano. Coordenador do Núcleo de Estudos e Pesquisas em Diversidade Sexual e de Gênero (NEPEDS).