Resultados para “'Algoritmos branch-and-prune'”

Jorge Ferreira Alencar Lima

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

Possui Licenciatura em Matemática pela Universidade Federal de Goiás (2010) e Doutorado em Matemática Aplicada pela Universidade de Campinas (2015). Foi professor no Instituto Federal de Educação, Ciência e Tecnologia do Sul de Minas Gerais - campus Inconfidentes, em regime de dedicação exclusiva, onde exerceu funções de coordenação de curso (Licenciatura em Matemática) e de área (Matemática e Física) no período de 2016 até 2018. Desde 2018, é professor no Instituto Federal de Educação, Ciência e Tecnologia do Triângulo Mineiro - campus Uberaba Parque Tecnológico. Além disso, possui como principal interesse em pesquisa o tema Teoria Espectral de Grafos.

Adriano Tavares De Freitas

docente IFCE - Campus Maracanaú

Doutorando em Ciência da Computação pela Universidade Federal do Ceará junto ao grupo de pesquisa ParGO. Mestre em Ciência da Computação pela Universidade Federal do Ceará (UFC) na área de Algoritmos e Otimização. Graduado em Ciências da Computação pela UFC e técnico em Desenvolvimento de Software pelo Centro Federal de Educação Tecnológica do Ceará, atual Instituto Federal do Ceará (IFCE). Desde 2012 é professor do Instituto Federal do Ceará.

Alexandre Domingues Gonçalves

docente IFRJ - Campus Niterói

Professor do Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro (IFRJ), Campus Niterói, atuando nos cursos técnicos e de graduação na área de Computação. Desenvolve atividades de ensino, pesquisa, inovação e extensão, com experiência em Robótica Móvel, Inteligência Artificial, Visão Computacional, Sistemas Embarcados, Internet das Coisas (IoT), Automação, Computação de Alto Desempenho e Segurança da Informação. Coordena e orienta projetos de iniciação científica e desenvolvimento tecnológico voltados à aplicação de inteligência artificial e robótica em contextos educacionais e industriais, com ênfase no desenvolvimento de protótipos de baixo custo, sistemas autônomos e computação de borda. Atua na formação de equipes para competições nacionais e internacionais de robótica, tendo orientado equipes premiadas na Olimpíada Brasileira de Robótica (OBR) e em torneios internacionais, além de desenvolver projetos voltados à manufatura aditiva, impressão 3D, realidade aumentada, acessibilidade e tecnologias da Indústria 4.0. Seus interesses de pesquisa concentram-se em automação, visão computacional, robótica móvel, sistemas embarcados, otimização, computação de alto desempenho e desenvolvimento de soluções tecnológicas para a educação, automação e transformação digital.

ÁD

Árton Pereira Dorneles

docente IFFar - Campus Frederico Westphalen

Possui graduação em Ciência da Computação - Bacharelado (2010) pela Universidade Federal de Santa Maria/RS, doutorado em Computação (2015) na Universidade Federal do Rio Grande do Sul com período sanduíche de 6 meses na Universidade de Nottingham, no Reino Unido, onde atuou como pesquisador visitante do grupo ASAP (Automated Scheduling, Optimisation and Planning research group). Desde 2017 é Professor do Ensino Básico, Técnico e Tecnológico no Instituto Federal Farroupilha. Tem experiência na área de Ciência da Computação e interesse em pesquisa aplicada nas seguintes áreas: Pesquisa Operacional, Inteligência Artificial, Otimização Combinatória, Programação Matemática, Projeto e Análise de Algoritmos e Complexidade Computacional.

Antonio Alexandre Moura Costa

docente IFPB - Campus Santa Luzia

Possui graduação (2011), mestrado (2014) e doutorado (2019) em Ciência da Computação pela Universidade Federal de Campina Grande (UFCG), com pesquisa voltada à Engenharia de Software Ágil e à aplicação de técnicas de Inteligência Artificial como algoritmos genéticos, redes bayesianas e sistemas de recomendação à formação de equipes e à gestão de projetos ágeis de software. É pesquisador do ISE (Intelligent Software Engineering), iniciativa do VIRTUS/UFCG dedicada a investigar, criar e validar técnicas, métodos e ferramentas para a qualidade e a produtividade da Engenharia de Software, com produção científica publicada em periódicos internacionais indexados (IEEE Access, Information and Software Technology, International Journal of Software Engineering and Knowledge Engineering) e em conferências internacionais da área (International Conference on Software Engineering Knowledge Engineering, Brazilian Symposium on Software Engineering), além de dois livros publicados e capítulos em obra internacional (IGI Global).Atuou como Coach Técnico e Scrum Master em projetos de cooperação tecnológica entre a UFCG e empresas como Huawei, Foxconn e FIH do Brasil, acompanhando equipes ágeis de desenvolvimento de software. É Professor Efetivo do Instituto Federal de Educação, Ciência e Tecnologia da Paraíba (IFPB) desde 2020, no Campus Santa Luzia, onde leciona Algoritmos e Lógica de Programação, Estrutura de Dados, Programação Orientada a Objetos, dentre outras, e já exerceu a coordenação do Curso Técnico em Informática. Orienta estudantes do Ensino Médio Técnico em projetos de Iniciação Científica, trabalhos de conclusão de curso e estágios supervisionados voltados ao desenvolvimento de aplicativos móveis e à aplicação de Inteligência Artificial na Educação, tendo também coordenado projetos institucionais de pesquisa, desenvolvimento tecnológico e extensão financiados por editais do IFPB.

André Da Cunha Ribeiro

docente IFGoiano - Campus Rio Verde

Possui graduação em Ciência Habilitação em Matemática pela Universidade de Rio Verde (1994), mestrado em Ciência da Computação pela Universidade Federal de Goiás (2008) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2013). Atualmente é professor do Instituto Federal Goiano. Tem experiência na área de Ciência da Computação, com ênfase em Análise de Algoritmos e Complexidade de Computação, atuando principalmente nos seguintes temas: grafos de Cayley, grafos h_l,p, grafos vértices-transitivo, computação reversível e computação quântica.

Luiz Rafael Dos Santos

docente IFC - Campus Camboriu

Bolsista de Produtividade em Pesquisa nível 1D do CNPq, o Prof. Luiz-Rafael Santos concluiu seu Mestrado (2008) e Doutorado (2014) em Matemática Aplicada pelo Instituto de Matemática, Estatística e Computação Científica (IMECC) da Unicamp, Brasil. Durante o doutorado, realizou um intercâmbio na School of Mathematics da University of Edinburgh, Escócia. Já foi pesquisador visitante no Management Sciences and Engineering Departament da Stanford University, EUA (2023) e do Departamento de Matemática Aplicada do IMECC/Unicamp, Brasil (2023-2024). Seus principais temas de pesquisa são métodos computacionais para otimização e implementação eficiente de algoritmos numéricos. Atualmente, é professor associado do Departamento de Matemática da Universidade Federal de Santa Catarina/Campus Blumenau. É vice-presidente da Sociedade Brasileira de Matemática Aplicada e Computacional (Biênio 2026-2027).

Virgil Del Duca Almeida

docente IFMG - Campus Betim

Possui graduação em Sistemas de Informação pela Faculdade COTEMIG (2007) e mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (2011). Atualmente é professor ensino básico técnico e tenológico do Instituto Federal Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Cidades Inteligentes, atuando principalmente nos seguintes temas: cidade inteligente, computação móvel, ambientes interativos, programação e algoritmos.

ÁJ

Átila Arueira Jones

docente IFSudesteMG - Campus Juiz de Fora

Possui doutorado em Computação na linha Teoria e Algoritmos em Grafos, mestrado em Matemática na área de Teoria Espectral de Grafos e graduação em Licenciatura em Matemática, todos os títulos foram obtidos Universidade Federal Fluminense. Onde também foi premiado com a Láurea Acadêmica. Professor efetivo do Núcleo de Matemática do Instituto Federal Sudeste de Minas Gerais (Juiz de Fora). Pesquisa na área de Teoria dos Grafos, incluindo Algoritmos e Teoria Espectral.

David Buzatto

docente IFSP - Campus São João da Boa Vista

Bacharel em Sistemas de Informação pela Fundação de Ensino Octávio Bastos (2007), Mestre em Ciência da Computação pela Universidade Federal de São Carlos (2010) e Doutor em Biotecnologia pela Universidade de Ribeirão Preto (2017). Tem interesse em construção de compiladores, teoria da computação, análise e projeto de algoritmos, estruturas de dados, algoritmos em bioinformática e desenvolvimento de jogos eletrônicos. Atualmente é professor titular do Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP), câmpus São João da Boa Vista.

Layse Da Silva Inocêncio

docente

Bacharel em Engenharia Elétrica com ênfase em Sistemas de Potência pela Universidade Federal do Oeste da Bahia (UFOB) e especialista em Automação Industrial. Possui experiência em pesquisa sobre algoritmos genéticos aplicados ao projeto de transformadores trifásicos e em sistemas de controle dinâmico. Atuou como professora substituta no Instituto Federal de Ciência e Tecnologia da Bahia (IFBA), lecionando nos cursos de Eletromecânica (nível médio) e Engenharia Mecânica com ênfase em Mecatrônica (nível superior).

Renato Afonso Cota Silva

docente

Possui graduação e mestrado em Ciência da Computação. Atualmente, é professor e Diretor-Geral do Centro de Referência em Formação e Educação a Distância, Desenvolvimento Regional e Projetos de Inovação (CEADi) do Instituto Federal do Norte de Minas Gerais (IFNMG). Possui destacada trajetória em gestão institucional, tendo exercido os cargos de Diretor-Geral do IFNMG - Campus Montes Claros por dois mandatos consecutivos, além de atuar como Diretor de Ensino e Coordenador do Curso de Ciência da Computação na mesma instituição. Na área acadêmica, tem experiência em Ciência da Computação com ênfase em Programação, Análise de Algoritmos, Teoria da Computação, Engenharia de Software e Banco de Dados. Sua atuação docente concentra-se nas disciplinas de Introdução à Ciência da Computação, Algoritmos e Estruturas de Dados (I, II e III), Engenharia de Software e Banco de Dados. Adicionalmente, atua como incentivador e orientador em competições acadêmicas de tecnologia, com destaque para a Maratona de Programação e a Olimpíada Brasileira de Informática (OBI).

ÊF

Ênio Prates Vasconcelos Filho

docente IFG - Campus Goiânia

Enio Vasconcelos Filho has a Ph.D. in Electrical and Computer Engineering from the Faculty of Engineering, University of Porto. He also holds a Master's and a Bachelor's degree, both from the University of Brasilia, Brazil, in the areas of Mechatronic Systems and Control and Automation Engineering, respectively. Since 2023, he became Research Associate at the Research Centre in Real-Time and Embedded Computing Systems (CISTER), in Porto, Portugal, where he has been working on topics related to autonomous vehicles, communication networks, critical systems and secure communication applications. His most relevant works have been published in peer-reviewed journals and conferences, such as Cyber Physical Systems, IEEE ACCESS, IEEE Communication Letters. His interests in new projects are related, besides the current ones, in embedded systems for IoT, Machine Learning and Automation.

André Gustavo Duarte De Almeida

docente IFRN - Reitoria

possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Norte(2005), possui mestrado em Sistema e Computação pela Universidade Federal do Rio Grande do Norte(2008). Possui ainda Doutorado em Ciências da Computação pela Universidade Federal do Rio Grande do Norte (2015). Atualmente exerce o cargo de professor do Ensino Básico, Técnico e Tecnológico, estando lotado no campus Parnamirim e atuou como Diretor de Gestão de Tecnologia da Informação do IFRN até 22/04/2020. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software e Sistemas Distribuídos, atuando principalmente nos seguintes temas: Desenvolvimento Baseado em Componentes, Desenvolvimento de Aplicações Móveis, Programação Orientada a Aspectos, Integração Hardware/Software e Robótica Educacional, Plataformas de Middleware com ênfase em interoperabilidade de plataformas, Cloud Computing e Linhas de Produto de Software. Atualmente tem atuado com Gestão de Projetos em Tecnologia da Informação e Comunicação, associados a Governança de TIC e de Transformação Digital.

Marcos Felipe Medeiros De Souza

docente IFF - Campus Santo Antônio De Pádua

Doutorando em Computação pelo IC-UFF na Área de Algoritmos e Otimização com a Tese - Algoritmos e Caracterizações para Estratégias Vencedoras em Jogos Combinatórios em Grafos. Possui Mestrado em Modelagem Computacional pela UFF, na Área de Astronomia e Astrofísica com a Dissertação - Simulação Numéricas de Discos de Acreção de Buracos Negros. Graduação em Matemática pela Universidade Federal Fluminense (2012) e Graduação em Física pelo Instituto Federal Fluminense (IFF) - campus Cabo Frio(2015). Atualmente é professor de Matemática do Instituto Federal Fluminense (IFF) - campus Santo Antônio de Pádua. Tem experiência como Professor de Matemática e em Educação a Distância. Foi coordenador do Projeto de Extensão ''Em Busca da Medalha de Ouro na OBMEP'' e do Clube de Astronomia Purís do IFF campus Santo Antônio de Pádua. Desenvolve Projeto de Ensino de Xadrez para alunos no Campus Santo Antônio de Pádua. Tem um site de Divulgação Científica, onde são abordados temas relacionados às ciências e à Matemática

Júlia Marques Carvalho Da Silva

docente IFRS - Reitoria

Possui graduação em Ciência da Computação pela Universidade do Vale do Itajaí (2005), mestrado em Ciência da Computação pela Universidade Federal de Santa Catarina (2007) e doutorado em Informática na Educação pela Universidade Federal do Rio Grande do Sul (2011). Atualmente é coordenadora de educação a distância e docente do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul e pesquisador da Universidade Federal do Rio Grande do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Informática da Educação, atuando principalmente nos seguintes temas: ensino a distância, informática na educação, aprendizagem de algoritmos, experiências de aprendizagem mediadas e educação a distância.