Resultados para “'PROVA AUTOMÁTICA DE TEOREMAS'”

José Roberto Bezerra

docente IFCE - Campus Fortaleza

Atualmente é professor associado do Instituto Federal de Educação Ciência e Tecnologia do Ceará (IFCE) e tendo concluído os estudos de doutorado em Engenharia Elétrica na área de Smart Grids em 2015. Durante o período de um ano desenvolveu atividades como pesquisador visitante na Brunel University London supervisionado pelo Professor Dr. Ahmed Zobaa no âmbito do programa CsF. Possui graduação em Engenharia Elétrica com ênfase em Informática Industrial (2002) e mestrado em Engenharia Elétrica, ambos pela Universidade Federal do Ceará (2004). Tem experiência na área de sistemas de automação e controle de sistemas de potência, atuando principalmente nos seguintes temas: diagnóstico de falta, sistemas de potência, Redes de Petri, Redes Inteligentes (Smart Grids) e Restauração Automática de redes de distribuição de energia.

Rogério Melo Nepomuceno

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

Possui graduação em Tecnologia em Processamento de Dados pela Universidade de Uberaba (1991), mestrado em Engenharia Elétrica pela Universidade Federal de Uberlândia (1997), na área de Processamento da Informação, e doutorado em computação pela Universidade Federal Fluminense, na área de Otimização de Algoritmos. Atuou como professor, regime CLT, nos cursos de Tecnologia em Processamento de Dados, Sistemas de Informação e Engenharia de Computação da Universidade de Uberaba, de 1992 a 2009. Ingressou para o serviço público em 2008, no Campus Cabo Frio (RJ), do Instituto Federal de Educação, Ciência e Tecnologia Fluminense (antigo CEFET Campos - UNED Cabo Frio), onde permaneceu até 2010, ministrando aulas nos cursos técnicos de eletromecânica e Petróleo e Gás. Atualmente compõe o quadro docente do Instituto Federal de Educação, Ciência e Tecnologia do Triângulo Mineiro (IFTM), estando lotado campus Uberaba - Parque Tecnológico, em Uberaba (MG), ministrando aulas nos cursos de Tecnologia em Análise e Desenvolvimento de Sistemas e Engenharia de Computação. Tem experiência em desenvolvimento de sistemas de informação hospitalares e laboratoriais, devido a sua atuação profissional como analista de sistemas da Fundação de Ensino e Pesquisa de Uberaba (MG), onde participou em projetos em parcerias com a Faculdade de Medicina do Triângulo Mineiro (FMTM), hoje Universidade Federal do Triângulo Mineiro (UFTM), de 1989 a 2001.Suas áreas de interesse são Otimização de Algoritmos, Lógica Computacional, Teoria da Computação e Linguagens de Programação.

José Luciano Santinho Lima

docente IFSP - Campus São Carlos

Professor de matemática do IFSP - Campus São Carlos.Doutor em Educação Matemática pela UNESP - Bauru (2016).Elaborador e revisor de itens para o SAEB / Prova Brasil - INEP - Matemática.Mestre em Ensino de Ciências Exatas - área de Ensino de Matemática pela UFSCar (2011).Possui graduação em Engenharia Civil pela Universidade de São Paulo (1992) e graduação em Licenciatura Plena em Matemática pela Universidade Federal de São Carlos (2001). Trabalha com resolução de problemas, avaliação e formação de professores.

Luiz Filipe Carreiro Salazar

docente IFNMG - Campus Araçuaí

Mestre em Educacão, possui graduação em Sistema de Informação pela Universidade Severino Sombra (2002) e Especialização Pedagógica pela Universidade Cândido Mendes (2008). Professor de ensino básico, técnico e tecnológico no Instituto Federal do Norte de Minas Gerais - IFNMG. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Computação, atuando principalmente nos seguintes temas: sistemas de gestão empresarial, aplicativos móveis, sistemas de apoio a decisão, empreendedorismo, detecção automática de estilos de aprendizagem, mercado de trabalho, carreira profissional, orientação profissional e tecnológica.

Edson Sorato

docente IFSC - Câmpus Florianópolis

Técnico em eletrotécnica pela Escola Técnica General Oswaldo Pinto da Veiga (SATC) (1984-1987), engenheiro eletricista pela Universidade Federal de Santa Catarina (UFSC) (1988-1993).Possui especialização em processamento de sinais para telecomunicações no departamento de engenharia elétrica da Universidade Federal de Santa Catarina (UFSC) tendo apresentado o trabalho de monografia entitulado "Estudo de utilização de espalhamento espectral em sistemas de telefone sem fio" (2002-2005).Mestrado em ciência da computação no departamento de informática e estatística (INE) da Universidade Federal de Santa Catarina (UFSC) tendo apresentado a dissertação de mestrado entitulada "Classificação automática de modulações digitais usando histogramas e máquinas de vetores de suporte" (2012-2014).Possui especialização em docência para a Educação Profissional na modalidade EAD pelo Instituto Federal de Santa Catarina (IFSC)(2017-2019).Em doutoramento no departamento acadêmico de mecânica pela Universidade Federal de Santa Catarina.No período de 1994 até 2014 atuou como engenheiro de desenvolvimento de harware e sofware embarcado (utilizando diversos microcontroladores como atmel, motorola, PIC e para aplicações específicas) em empresas proeminentes da região.Atua como professor no departamento de eletrotécnica no Instituto Federal de Santa Catarina desenvolvendo pesquisas nas áreas de comandos e automação elétricos, internet das coisas (IOT), soluções para monitoramento e diagnóstico preditivo em máquinas e equipamentos elétricos.sites.florianopolis.ifsc.edu.br/pecce

Antonio Gonçalves De Farias Júnior

docente IFPB - Campus Cajazeiras

Arquiteto e urbanista desde 2004 pela UFPB, foi diretor do escritório ajrfarias arquitetura entre 2008 e 2014 desenvolvendo projetos de arquitetura e gerenciamento de obras. É especialista em Master em arquitetura (IPOG-concluído em 2013) e no MBA Projeto, Execução e controle de Estruturas e Fundações (IPOG-concluído em 2015). Criador da startup URBANIZZE para consulta digital ao código de urbanismo (ano de 2013). Coordenador do Curso Técnico Integrado de Edificações do Instituto Federal de Educação, Ciência e Tecnologia da Paraíba - IFPB- Campus Princesa Isabel entre 2014 e 2017. Em 2019 tornou-se Mestre em arquitetura e urbanismo pelo PPGAU/UFPB com pesquisa focada em sistemas de consulta automática a índices urbanísticos com suporte na tecnologia Building Information Modeling - BIM e a Geographic Information System (GIS). Atua desde 2014 como professor efetivo do IFPB e desde 2018 estando lotado no Campus Cajazeiras onde coordena o núcleo de extensão Centro de Assessoria Comunitária à Tecnologias de Utilidades Sociais - CACTUS prestando serviços comunitários nos territórios dos assentamentos rurais e periferias urbanas das cidades do alto sertão paraibano com foco na mudança de comportamento sustentáveis através do planejamento de intervenções no campo da agroecologia, bioconstrução e economia solidária.

Vitor Luiz De Almeida

docente IFMG - Campus Avançado Itabirito

Possui graduação em Matemática Licenciatura pela Universidade Federal de Ouro Preto (UFOP, 2009), mestrado (2012) e doutorado (2017) em Matemática pelo Programa de Pós-Graduação em Matemática (PPGMAT) da Universidade Federal de Minas Gerais (UFMG). Atuou como professor da Pontifícia Universidade Católica de Minas Gerais (PUC Minas) de 2012 a 2025. Atualmente é professor da carreira de Ensino Básico, Técnico e Tecnológico (EBTT) no Instituto Federal de Educação, Ciência e Tecnologia de Minas Gerais (IFMG) - Campus Itabirito. Tem experiência na área de Matemática, com ênfase em Sistemas Dinâmicos, atuando principalmente nos seguintes temas: teoria de bilhares e superfícies de curvatura constante.

Jaaziel Alves De Medeiros

tecnico IFRN - Campus João Câmara

Possui graduação em Medicina pela Universidade Federal do Rio Grande do Norte (2013). Concluiu Residência Médica em Oftalmologia e foi aprovado na Prova de Título do Conselho Brasileiro de Oftalmologia (CBO). Atualmente é médico-area do Instituto Federal do Rio Grande do Norte.

Lucimeire Alves De Carvalho

docente IFG - Campus Valparaíso

Possui graduação em matemática pela Universidade Federal de Goiás (2006), graduação em Redes de comunicação pelo Instituto Federal de Educação, Ciência e Tecnologia de Goiás (2007) , mestrado em Matemática pela Universidade Federal de Goiás (2011) e doutorado em Matemática na área de Teoria dos Números pela Universidade de Brasília (2018). Professora efetiva no Instituto Federal de Goiás, campus Valparaíso de Goiás.

Cristiano Forster

docente IFC - Campus Sao Bento do Sul

Possui Doutorado em Ensino de Ciências e Educação Matemática pela Universidade Estadual de Londrina (2020), Mestrado em Ensino de Ciências e Educação Matemática pela Universidade Estadual de Londrina (2016) e Licenciatura em Matemática pela Universidade do Estado de Santa Catarina (2013). Atua na Universidade Estadual de Londrina como Professor Colaborador no Departamento de Matemática e como membro do GEPEMA - Grupo de Estudo e Pesquisa em Educação Matemática e Avaliação. Tem interesse em temas relacionados a Avaliação da Aprendizagem Escolar, Educação Matemática Realística, Tarefas Matemáticas e Livros Didáticos.

Letícia Carvalho Pivetta

docente IFRO - campus Jí-paraná

Possui graduação em Informática pela Universidade Federal de Santa Maria (1996), mestrado em Ciências da Computação pela Universidade Federal de Santa Catarina (2000) e doutorado em Engenharia Elétrica pela Universidade Federal de Santa Maria (2017). Atualmente é professora titular do Instituto Federal de Educação, Ciência e Tecnologia de Rondônia. Tem experiência na área de Ciência da Computação, com ênfase em Lógica e Inteligência Artificial, atuando principalmente nos seguintes temas: raciocínio automático, método dos tableaux, algoritmos genéticos, sistema de informação, banco de dados, programação java, programação phyton e conversores estáticos.

Sandra Paula Castro Silva Alves

docente

Possui Licenciatura Plena em Matemática pela Universidade Estadual do Sudoeste da Bahia (2005).Pós-graduada em Metodologia do Ensino Superior (lato sensu),pela Faculdade São Francisco de Barreiras. Atualmente é professora efetiva de Matemática do Ensino Médio e do Ensino Superior(Licenciatura em Matemática) no Instituto Federal de Educação, Ciência e Tecnologia da Bahia - IFBA, campus de Barreiras,ministra aulas de matemática instrumental em alguns cursos oferecidos pelo PRONATEC ; atualmente estou atuando como aluna especial no curso de Pós-graduação do Mestrado em Educação pelo convênio UFBA-IFBA; foi professora formadora do Programa Gestão da Aprendizagem Escolar- GESTAR II Matemática (curso de formação continuada para professores de matemática das séries finais do ensino fundamental), pela Secretaria Municipal de Educação de Barreiras.

Carlos Henrique Domiciano

docente IFRJ - Campus Volta Redonda

Mestre em Engenharia Mecânica com área de concentração em Automação e Dinâmica de Sistemas pela Universidade de Taubaté, UNITAU (2024), com pesquisa voltada na aplicação da Inteligência Artificial e do Machine Learning. Atuo como Instrutor de Educação Profissional Técnica na Firjan/SENAI na área de Automação com foco no ensino, elaboração de conteúdos e métodos que facilitem o aprendizado. Participei na elaboração dos planos de estudo referência para o curso de Mecatrônica e integrei a equipe que elaborou os itens aplicados ao sistema de avaliação do ensino profissionalizante SAEP. Bacharel em engenharia Elétrica / Eletrônica pela Faculdade de Engenharia de Resende FER/AEDB (2007). Atuei na condução de equipes de manutenção do processo e limpeza de gás e produtos carboquímicos em áreas classificadas.

Suelen Lorrane Chaves De Lima

docente IFAC - Campus Rio Branco

Profissional multifacetado com formação em Matemática pela UFAC e Tecnologia em Gastronomia pela Estácio UNIMETA, destaco-me pela versatilidade entre a lógica analítica da Matemática e a criatividade da Gastronomia. Aprimorei minha expertise com especializações em Gastronomia Funcional e Natural, Panificação e Confeitaria, e Pós-graduação em Docência do Ensino Superior em Gastronomia, todas pela FACUMINAS. Minha jornada acadêmica e profissional reflete um compromisso constante com a excelência, integrando conhecimentos teóricos e práticos para uma atuação inovadora na docência e na prática gastronômica. Mestrando do curso PPGCC (Ciência da Computação).

Rondinelle Idalecio Dos Santos Galdino

tecnico IFSudesteMG - Campus Santos Dumont

Possui graduação em DIREITO pela Universidade Presidente Antônio Carlos (2006). Aprovado no 1 Exame de Ordem que realizou em Dezembro de 2006. Advogado, inscrito na Ordem dos Advogados do Brasil, Seção Minas Gerais, desde 24 de maio de 2007. Assistente em administração, Pregoeiro. Atuou como coordenador de Licitações e Diretor de Administração do Instituto Federal do Sudeste de Minas Gerais, Campus Santos Dumont-MG. Aprovado na prova de certificação profissional em Licitações e Contratos realizada pela ENAP em Setembro de 2024. Possui Pós Graduação em Direito Público e Mestrado em Administração pela Universidade Federal Fluminense.

Wérica Pricylla De Oliveira Valeriano Santos

docente IFGoiano - Campus Urutaí

Doutora em Educação em Ciências e Matemática pela Universidade Federal de Goiás. Mestre em Educação em Ciências e Matemática pela Universidade Federal de Goiás. Graduada em Licenciatura em Matemática pela Universidade Federal de Goiás. Atualmente é professora no Instituto Federal Goiano - Campus Urutaí. Membro do grupo de pesquisa Grupo de Estudos e Pesquisas sobre a Atividade Matemática (GeMAT) e membro do grupo de pesquisa Matemática e Educação Matemática.