Embedded Files
Integram o grupo de pesquisa
Daniel Lima Ventura
Daniel Lima Ventura
Doutor em Matemática pela Universidade de Brasília (2010). Atua nos temas:
Tipos com Interseção
Semântica Quantitativa
Modelos de Computação (lambda-calculus e máquinas abstratas)
Modelos de Concorrência (cálculos de processos e reescrita lógica)
Métodos Formais em Computação
Diane Castonguay
Diane Castonguay
Doutora em Matemática, Université de Sherbrooke, UDES, Canadá (2002). Atua nos temas:
Grafos
Labeling
Atribuição de papéis
Coloração total
Decomposição Hamiltoniana
Algoritmos
Erika Morais Martins Coelho
Erika Morais Martins Coelho
Doutora em Engenharia de Sistemas e Computação, PESC/COPPE, Universidade Federal do Rio de Janeiro (2012). Membro do Comitê Gestor da Comissão Especial em Algoritmos, Combinatória e Otimização da SBC. Atua nos temas:
Análise de Algoritmos
Complexidade de Computação
Teoria dos Grafos
Hebert Coelho da Silva
Hebert Coelho da Silva
Doutor em Engenharia de Sistemas e Computação, PESC/COPPE, Universidade Federal do Rio de Janeiro (2013). Atua nos temas:
Coloração de grafos
Estudo e implementação de algoritmos em grafos para software didático
Humberto José Longo
Humberto José Longo
Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2004). Atua nos temas:
Set covering problem
Roteamento de veículos
Times assíncronos
Arc routing
Primal-dual heuristics
Julliano Rosa Nascimento
Julliano Rosa Nascimento
Doutor em Ciência da Computação pelo INF/UFG (2019). Atua nos temas:
Convexidade em grafos
Atribuição de papéis
Coloração de vértices
Conjuntos dominantes e independentes
Márcia Rodrigues Cappelle Santana
Márcia Rodrigues Cappelle Santana
Doutora em Ciência da Computação pelo INF/UFG (2014). Atua nos temas:
Conjuntos independentes e dominantes em grafos
Complexidade parametrizada
https://inf.ufg.br/p/39441-marcia-rodrigues-cappelle-santana
Page updated
Report abuse