• Ph.D. em Matemática Aplicada
  École Polytechnique, Université de Montréal, Canadá

• M.Sc. em Engenharia de Sistemas
  PUC-Rio

• Engenheiro Eletricista, ênfase em Engenharia de Sistemas
  PUC-Rio

• Otimização Combinatória, Simulação de Sistemas, Métodos de Busca Heurística, Grafos, Projeto e Análise de Algoritmos, Programação Matemática, Lógica Probabilística, Paralelismo.
• Aplicações a Sistemas de Informação, Bancos de Dados e Sistemas de Apoio à Decisão.

• Professor Associado, Pontifícia Universidade Católica do Rio de Janeiro
  • Coordenador de Pós-Graduação, Departamento de Informática (06/2001 -- )
  • Coordenador de Laboratório (Lab-DI), Departamento de Informática (01/1998 -- 06/2001)
  • Coordenador de Graduação, Departamento de Informática (03/1997 -- 02/1998)

• Professor Assistente, Universidade Estadual de Campinas (UNICAMP)
  • Vice-chefe, Departamento de Ciência da Computação (02/1995 -- 02/1996)

• Consultor, Tecnométrica Estatística
  
  
  • Empresa: Cambuhy Citrus. Projeto: Sistema para determinação da atuação da frota própria de caminhões na colheita de laranjas para processamento de suco concentrado. Seleção das propriedades a serem servidas e determinação do horário dos caminhões.
    
    
  • Empresa: Citrovita Agrícola Ltda. Projeto: Sistema para Planejamento de Produção, Vendas e Logística de Armazenamento e Transporte. O sistema considera a infra-estrutura de estocagem e transporte terrestre e marítmo, assim como a capacidade de produção e a programação de vendas.
    
    
  • Empresa: Blindex do Brasil. Projeto: Sistema para especificação de cortes de placas jumbo para vidros automotivos. Programação da máquina de corte com o objetivo de minimizar as perdas de vidro e de aumentar a produtividade da fábrica.
    
    
  • Empresa: Usinas Itamaraty. Projeto: Simulador de Transporte de Cana do Talhão para a Usina. Objetivos: Dimensionamento da Frota e Escolha entre Políticas de ``Dispatching'' e de descarga dos caminhões.

• Pesquisador, Collège Militaire Royal de Saint-Jean, Groupe ARMSS (Decision Support System for the CF-18 Aircraft), Canadá
  
  • Planejamento das missões dos aviões F-18 canadensens (Projeto ``Decision Support System (DSS) - CF18'').

• Pesquisador Assistente, Groupe d'Études et de Recherche en Analyse des Décisions (GERAD), Canadá

• Analista, Marinha do Brasil, Centro de Análise de Sistemas Navais (CASNAV)

• Pesquisador 2-A, CNPq (1993 --)
  
  
• Consultor ad-hoc, CNPq (1993 --)
  
  
• Consultor ad-hoc, FAPERJ (1997 --)
  
  
• Consultor ad-hoc, CAPES (1999 --)
  
  
• Consultor ad-hoc, FAPESP (2000 --)

1. Vertex-Disjoint Packing of Two Steiner Trees: Polyhedra and Branch-and-Cut (com E. Uchoa Barboza), Mathematical Programming (series A), 90(3), 537-557, 2001.
   
   
2. Probabilistic Satisfiability with Imprecise Probabilities (com P. Hansen, B. Jaumard, F. Chauny e S. Perron), International Journal of Approximate Reasoning, 24, 171-189, 2000.
   
   
3. Preprocessing Steiner Problems from VLSI Layout (com E. Uchoa Barboza e C.C. Ribeiro), submetido para publicação, 1999.
   
   
4. The g-Connected Assignment Problem (com E. Uchoa Barboza), European Journal of Operational Research, 118/1, 127-138, 1999.
   
   
5. Mixed-Integer Column Generation Algorithms and the Probabilistic Maximum Satisfiability Problem(com P. Hansen e B. Jaumard), European Journal of Operational Research, 108, 671-683, 1998.
   
   
6. Le problème de la satisfaisabilité probabiliste et ses extensions (com P. Hansen, B. Jaumard e G. B. Douanya Nguetsé), submetido RAIRO-Recherche Operationnelle, 1999.
   
   
7. Boole's Conditions of Possible Experience and Reasoning Under Uncertainty (com P. Hansen e B. Jaumard), Discrete Applied Mathematics, 60, 181-193, 1995.
   
   
8. Local optima topology for the k-coloring problem (com A. Hertz e B. Jaumard), Discrete Applied Mathematics, 49, 257-280, 1994.
   
   
9. Un Algorithme Primal de Programmation Linéaire Généralisée pour les Programmes Mixtes (com P. Hansen e B. Jaumard), Comptes Rendus de l'Academie de Sciences de Paris, t.313, Série I, p.557-560, 1991.
   
   
10. Column Generation Methods for Probabilistic Logic (com P. Hansen e B. Jaumard), ORSA - Journal on Computing, Vol. 3, No. 2, Spring 135-148, 1991.
    
    
11. Hyperbolic 0-1 Programming and Queries Optimization in Information Retrieval (com P. Hansen e C.C. Ribeiro), Mathematical Programming, Vol. 52, No. 2, 255-263, 1991.
    
    
12. Boolean Queries Optimization and the 0-1 Hyperbolic Sum Problem (com P. Hansen e C.C. Ribeiro), Annals of Mathematics and Artificial Intelligence, Vol. 1, 97-109, 1990.

1. The Vehicle Routing Problem (com J.E. Beasley e A. Lucena), In M.G.C. Resende, P. Pardalos, Handbook of Applied Optimization, New York, Oxford University Press, Aceito, Dezembro, 1999.

1. On the Implementation of MST-based Heuristics for the Steiner Problem in Graphs, (com R.F. Werneck), ALENEX 2002, 4th Workshop on Algorithm Engineering and Experiments (ALENEX 02), San Francisco, CA, USA, Janeiro, 2002 (a ser publicado em Springer Lecture Notes in Computer Science).
   
   
2. Two Approaches for Pay-per-Use Software Construction, (com L. Ferreira, R. Dahab e J.A. Magalhães),WECWIS 2000, Second International Workshop on Advanced Issues of E-Commerce and Web-based Information Systems, San José, CA, USA, Junho, 2000.
   
   
3. Vertex-disjoint packing of two Steiner trees: Polyhedra and Branch-and-Cut (com E. Uchoa Barboza), VII Conference on Integer Programming and Combinatorial Optimization IPCO'99, Graz, Austria, Springer Lecture Notes in Computer Science 1610, 439-452, Junho, 1999.
   
   
4. Probabilistic Logic with Imprecise Probabilities, (com P. Hansen, B. Jaumard, S. Perron e F.Chauny), ISIPTA 99 - First International Symposium on Imprecise Probabilities and Their Applications, Ghent, Bélgica, Junho, 1999.
   
   
5. Models and Algorithms for Probabilistic and Bayesian Logic, (com P. Hansen, G. D. Nguetsé e B. Jaumard), IJCAII - International Joint Conferences on Artificial Intelligence, Inc., Montreal, QC, Canadá, Agosto, 1995.
   
   
6. Mixed-Integer Column Generation Algorithms and the Probabilistic Maximum Satisfiability Problem (com P. Hansen e B. Jaumard), II Conference on Integer Programming and Combinatorial Optimization, Carnegie-Mellon University, Pittsburg, PA, USA, E. Balas, G. Cornuéjols e R. Kannan editores, 25-27 de Maio de 1992, pp. 165--180.
   
   
7. Column Generation Methods for Probabilistic Logic (com P. Hansen e B. Jaumard), I Conference on Integer Programming and Combinatorial Optimization, University of Waterloo, Waterloo, Ontario, CANADA, R. Kannan e W.R. Pulleyblank editores, 28-30 de Maio de 1990, pp. 313--331.

1. Dual Heuristics on the Exact Solution of Large Steiner Problems (com E. Uchoa Barboza e R. Werneck), resumo estendido, Brazilian Symposium on Graphs, Algorithms and Combinatorics - GRACO, Fortaleza, Brasil, (Eletronic Notes in Discrete Mathematics - Elsevier), Março, 2001.
   
   
2. Preprocessing Steiner Problems from VLSI Layout (com E. Uchoa Barboza e C. C. Ribeiro), resumo, 17th International Symposium on Mathematical Programming - ISMP 2000, Atlanta, EUA, 140-140, Agosto, 2000.
   
   
3. A Lagrangian Relaxation Algorithm for the Traveling Deliveryman Problem (com M. Resende e A. Lucena), resumo, 17th International Symposium on Mathematical Programming - ISMP 2000, Atlanta, EUA, 77-77, Agosto, 2000.
   
   
4. Dual Heuristics on the Exact Solution of Large Steiner Problems (com D. Andrade, E. Uchoa Barboza, R. Werneck), resumo, 17th International Symposium on Mathematical Programming - ISMP 2000, Atlanta, EUA, 140-141, Agosto, 2000.
   
   
5. Parallel Cut Generation for Service Cost Allocation in Transmission Systems(com R.M. Aiex e C.C. Ribeiro),resumo estendido, Third Metaheuristics International Conference, Angra dos Reis, 1-6, 1999.
   
   
6. Upper Bounds for Minimum Covering Codes via Tabu Search(com C.C. de Souza),resumo estendido, Third Metaheuristics International Conference, Angra dos Reis, 359-364, 1999.
   
   
7. An online approach for parallel join algorithms analysis(com A. Lerner e S. Lifschitz), Monografias em Ciência da Computação, DI/PUC-Rio, MCC01/99, Rio de Janeiro, Fevereiro, 1999.
   
   
8. Branch-and-Cut for Vertex-Disjoint Packing of Two Steiner Trees(com E. Uchoa), resumo estendido, IX CLAIO - Latin-Iberian-American Congress on Operations Research and Systems Engineering, Buenos Aires, Argentina, Agosto de 1998.
   
   
9. Tabu Search and Strong Cutting Planes for the Flow Shop Scheduling Problem(com M. Palmeira), resumo estendido, IX CLAIO - Latin-Iberian-American Congress on Operations Research and Systems Engineering, Buenos Aires, Argentina, Agosto de 1998.
   
   
10. The Flow Shop Scheduling Problem: Strong Cutting Planes and Tabu Search, individual, resumo, XXIX Simposio Brasileiro de Pesquisa Operacional, Salvador, BA, Brasil, Outubro de 1997.
    
    
11. The g-Connected Assignment Problem (com E. Uchoa Barboza), resumo, International Symposium on Mathematical Programming - ISMP 97, Lausanne, Suiça, Agosto de 1997.
    
    
12. An Algebraic-Enumerative Algorithm for Nonlinear 0-1 Programming(com A. Parreira), resumo, International Symposium on Mathematical Programming - ISMP 97, Lausanne, Suiça, Agosto de 1997.
    
    
13. The g-Connected Assignment Problem (com E. Uchoa Barboza), trabalho completo, Workshop Internacional em Problemas Combinatórios, Rio de Janeiro, RJ, Brasil, Outubro de 1996.
    
    
14. Uma Abordagem de Programação Inteira para o Problema de Triangulação de Custo Mínimo, (com A. P. Nunes e C. C. de Souza), resumo estendido, XXVII Simposio Brasileiro de Pesquisa Operacional, Rio de Janeiro, RJ, Brasil, Agosto de 1996.
    
    
15. A primal-dual asynchronous team for set covering problem (com H.J. Longo), resumo, The 14th Trienial Conference - The International Federation of Operational Research Societies IFORS 96, Vancouver, Canadá, Julho de 1996.
    
    
16. The Flow Shop Scheduling Problem: Strong Cutting Planes and Tabu Search, individual, resumo, Symposium on Combinatorial Optimization (CO96), Londres, Inglaterra, Março de 1996.
    
    
17. Upper Bounds for Minimum Covering Codes by Tabu Search (com E. Monte-Carmello, W.A. Carnielli e C.C. Souza), trabalho completo, II Oficina Nacional de Problemas Combinatorios: Teoria, Algoritmos e Aplicacoes, Campinas, SP, Brasil, Novembro de 1995.
    
    
18. Modelo para Analise de Desempenho de Meta-Heuristicas baseadas em Busca Tabu, (com V. Pureza e P. M. Franca), resumo estendido, XXVII Simposio Brasileiro de Pesquisa Operacional, Vitoria, ES, Brasil, Novembro de 1995.
19. Times Assincronos para o SCP (com H. J. Longo), resumo estendido, XXVII Simposio Brasileiro de Pesquisa Operacional, Vitoria, ES, Brasil, Novembro de 1995.
20. Combining Algebraic and Enumerative Algorithms for Maximization of Nonlinear 0-1 Functions(com A. Parreira), resumo estendido, XXVI SBPO, Florianópolis, SC, Dezembro de 1994.
    
    
21. A Dynamic Programming Approach to the Scheduling of CF-18 Missions (com G. Savard, J. Genest e M. Maheas), resumo, TIMS/ORSA Joint National Meeting Chicago, Chicago, Il, USA, Maio de 1993.

1. Dual Heuristics on the Exact Solution of Large Steiner Tree Problems in Graphs, seminário, GERAD, Université de Montréal, Canadá, 21 de Julho de 2000.
   
   
2. Tabu Search and Strong Cutting Planes for the Flow Shop Scheduling Problem, seminário, Instituto de Computação, UFF, Niteroi, 13 de Agosto de 1999.
   
   
3. Vertex-Disjoint Packing of Steiner Trees, seminário, CORE, Université de Catholique de Louvain, Bélgica, 22 de Junho de 1999.
   
   
4. Vertex-Disjoint Packing of Two Steiner Trees: Polyhedra and Branch-and-Cut, seminário, Instituto de Computação, UNICAMP, Campinas, 5 de Abril de 1999.
   
   
5. Vertex-Disjoint Packing of Two Steiner Trees: Polyhedra and Branch-and-Cut, seminário, GERAD, Université de Montréal, Canadá, 9 de Fevereiro de 1999.
   
   
6. Tabu Search and Strong Cutting Planes for the Flow Shop Scheduling Problem, seminário, GERAD, Université de Montréal, Canadá, 4 de Fevereiro de 1999.
   
   
7. Intensificação em Metaheurísticas utilizando Cortes Poliédricos Fortes, seminário, PEP, COPPE, UFRJ, Novembro de 1998.
   
   
8. Branch-and-Cut for Vertex-Disjoint Packing of Two Steiner Trees, seminário, INRIA, Rocquencourt, França, 26 de Outubro de 1998.
   
   
9. Metaheurísticas(com C. Ribeiro), tutorial, 11^a Escola de Computação , UFRJ, Rio de Janeiro, Brasil, 20 a 24 de Julho de 1998.
   
   
10. A Separation Procedure for the Flowshop Scheduling Problem, apresentação, Workshop Internacional em Problemas Combinatórios, Rio de Janeiro, RJ, Brasil, Outubro de 1996.
    
    
11. Otimização: Modelos e Aplicações, seminário, 1^a Escola de Verão em Computação Científica - Laboratório Nacional de Computação Científica(LNCC),Rio de Janeiro, RJ, Janeiro de 1996.
    
    
12. Asynchronous Teams for the Set Covering Problem, seminário, GERAD, Université de Montréal, Canadá, Dezembro de 1995.
    
    
13. Asynchronous Teams for the Set Covering Problem, seminário, Center for Operations Research and Econometrics, Université Catholique de Louvain, Louvain-la-Neuve, Bélgica, Dezembro de 1995.
    
    
14. Metaheurísticas para Problemas de Otimização Combinatória, mini-curso, XXVII Simpósio Brasileiro de Pesquisa Operacional, Vitória, ES, 6-8 de Novembro de 1995.
    
    
15. Metaheurísticas na Resolução de Problemas na Indústria, tutorial, SECOMP'95 - Semana de Computação 95 - Departamento de Computação e Estatística - Universidade Federal de Mato-Grosso do Sul (UFMS), Campo Grande, MS, 25-29 Setembro 1995.
    
    
16. Métodos Heurísticos em Otimização Combinatoria, tutorial, ERMAC - Encontro Regional de Matemática Aplicada e Computacional, UNICAMP, Campinas, SP, 3-5 Maio 1995.
    
    
17. Métodos primais-duais em times assíncronos, seminário, II ELAVIO - Escola Latino-Americana de Pesquisa Operacional, Mendes, RJ, 15-20 Janeiro 1995
18. Combining Algebraic and Enumerative Algorithms to Solve Maximum Satisfiability Problems, apresentação, TIMS XXXII, Anchorage, AL, USA, 12-15 de Junho de 1994.
    
    
19. Lógica Probabilística, seminário, IME, USP, São Paulo, SP, Dezembro 1993.
20. Lógica Probabilística: Modelos e Algoritmos, seminário, DCC, UNICAMP, Campinas, SP, Setembro 1993.
    
    
21. Boole's Conditions of Possible Experience and and Reasoning Under Uncertainty, apresentação, ARIDAM VII - RUTCOR, Rutgers University, New Brunswick, NJ, USA, 28 de Maio - 5 de Junho, 1992.
    
    
22. Mixed-Integer Column Generation Algorithms, apresentação, Journées d'Optimisation - HEC, Montréal, Québec, CANADA, 3-4 de Maio de 1992.
    
    
23. Mixed-Integer Column Generation Algorithms, apresentação, TIMS/ORSA Joint National Meeting, Orlando, FL, USA, 26-29 de Abril de 1992.
    
    
24. A Primal Algorithm for Generalized Linear Algorithm for Mixed-Integer Programs, apresentação, Journées d'Optimisation - HEC, Montréal, Québec, CANADA, 8-9 de Abril de 1991.
    
    
25. An Application of Simulated Annealing and Tabu-Search Heuristics to the Problem of Maximizing the Sum of Hyperbolic Sum Terms on 0-1 variables, apresentação, Journées d'Optimisation - École Polytechnique, Montréal, Québec, CANADA, 4-5 de Maio de 1989.

• The 1999 South America Programming Contest, seletiva para o ACM 2000 International Programming Contest, Diretor do Site da PUC-Rio, 13 de Novembro de 1999.
• Concurso de Teses e Dissertações - SBC´99, CTD´99, Coordenador, PUC-Rio, Rio de Janeiro, Brasil, Julho, 1999.
• VI Escuela Latino-Ibero-Americana de Investigación Operativa (com Oscar Porto), Mendes, Rio de Janeiro, Brasil, Janeiro, 1999.
• II Oficina Nacional em Problemas Combinatórios: Teoria, Algoritmos e Aplicações (com Cid de Souza), Campinas, São Paulo, Brasil. Novembro, 1995.

• Márcia Mártyres Bezerra (Mestrado - DI/PUC-Rio); Título: Um Modelo Hierárquico para Detecção de Regiões Regulatórias em Sequências de DNS; defesa em 28 de novembro de 2001.
  
  
• Renato Fonseca Furquim Werneck (Mestrado - DI/PUC-Rio); Título: Problema de Steiner em Grafos: Algoritmos Primais, Duais e Exatos; defendida, Julho de 2001.
  
  
• Eduardo Uchoa Barboza (Doutorado - DI/PUC-Rio), Título: Algoritmos para Problemas de Steiner com Aplicações em Projeto de Circuitos VLSI, Maio de 2001.
  
  
• Diogo Vieira Andrade (Trabalho de Final de Curso - DI/PUC-Rio), Título: Aplicação do Algoritmo Primal-Dual ao Problema de Steiner em Grafos, aprovado, Dezembro de 1999.
  
  
• Maria do Socorro Taumaturgo de Farias (Mestrado - DCC-IMECC-UNICAMP), Título: Uma Aplicação de Metaheurísticas à Segmentação de Imagens, defendida, Junho de 1997.
  
  
• Eduardo Uchoa Barboza (Mestrado - DCC-IMECC-UNICAMP), Título: Problemas de Classificação com Restrições de Conexidade Flexibilizadas: uma Abordagem Combinatória, defendida, Março de 1997.
  
  
• Humberto José Longo (Mestrado - DCC-IMECC-UNICAMP), Título: Aplicação de A-Teams ao Problema de de Recobrimento, defendida, Outubro de 1995.
  
  
• Anderson Délcio Parreira (Mestrado - DCC-IMECC-UNICAMP), Título: Métodos Algébrico-Enumerativos para o Problema de Máxima Satisfatibilidade, defendida, Agosto de 1995.

1. Análise Convexa e mètodos Lift-and-Project para Programação Inteira, doutorado, Pablo Andrés Rey, DEE/PUC-Rio, Abril de 2001.
   
   
2. Algoritmos para QoS em Redes de Computadores, doutorado, Marta Barría Martinez, DI/PUC-Rio, Março de 2001.
   
   
3. Busta Tabu Reativa Paralela com Religamento para o Problema de Steiner em Grafos, mestrado, Marcelo Pereira Bastos, DI/PUC-Rio, Abril de 2000.
   
   
4. Gerenciamento de Memória para Comparação de Biossequências, mestrado, Melissa Lemos, DI/PUC-Rio, Setembro de 2000.
   
   
5. Uma Abordagem On-Line para Comparação de Junções Paralelas, mestrado, Michelle Santos Sá, DI/PUC-Rio, Dezembro de 2000.
   
   
6. Construção Eficiente de Códigos Livres de Prefixo, mestrado, Artur Alves Pessoa, DI/PUC-Rio, Agosto de 1999.
   
   
7. Um Algoritmo Relax-and-Cut para o Problema Quadrático da Mochila 0-1, mestrado, Márcio de Moraes Palmeira, DEE/PUC-Rio, Julho de 1999.
   
   
8. Códigos de Prefixo: Algoritmos e Cotas, doutorado, Eduardo Sany Laber, DI/PUC-Rio, Julho de 1999.
   
   
9. Infra-Estruturas de Chaves Públicas-Caminhos de Certificação e Repositórios Distribuídos, mestrado, Alexandre Reis e Silva DI/PUC-Rio, Março de 1999.
   
   
10. Relaxação Lagrangeana com Desigualdades Válidas Aplicada ao Problema de Roteamento de Veículos, doutorado, Carlos Alberto de Jesus Martinhon, COPPE/UFRJ, Setembro de 1998.
    
    
11. Uma Arquitetura Abstrata de Domínio para o Desenvolvimento de Heurísticas de Busca Local com uma Aplicação ao Problema de Filogenia, doutorado, Alexandre Albino Andreatta, DI/PUC-Rio, Junho de 1998.
    
    
12. Técnicas de Aceleração para Busca Tabu aplicada ao Problema de Steiner em Grafos, mestrado, Maurício Cardoso de Souza, DI/PUC-Rio, Abril de 1998.
    
    
13. Estratégias de Paralelização da Metaheurística GRASP, mestrado, Adriana Cesário de Faria Alvim, DI/PUC-Rio, Março de 1998.
    
    
14. Grafos Periplanares Maximais: Seqüência de Graus Hamiltoniana e Maxregularidade, doutorado, Rosa Maria Nader Damião Rodrigues, COPPE/UFRJ, Novembro de 1997.
    
    
15. Uma Abordagem para Desenho de Grafos Baseada na Utilização de Times Assíncronos, , mestrado, Hugo Alexandre Dantas do Nascimento, IC-UNICAMP, Maio de 1997.
    
    
16. Abordagens Adaptativas de Metaheurísticas Tabu, doutorado, Vitória Miranda Pureza, DENSIS-FEEC-UNICAMP, Dezembro de 1996.
    
    
17. Uma Arquitetura para Agentes Inteligentes baseada na Sociedade da Mente, mestrado, Mauren Fernanda Meira Brenner, IC-UNICAMP, Dezembro de 1996.
    
    
18. O Problema das Hipertorres e Partições Polarizadas Infinitas, mestrado, Emerson Luiz do Monte Carmelo, IFCH - UNICAMP, Outubro de 1995.
    
    
19. Times Assíncronos para o Job Shop Scheduling Problem: Heurísticas de Construção, mestrado, Victor Fernandes Cavalcante, DCC-IMECC-UNICAMP, Junho de 1995.
    
    
20. Metodologia de Especificação de Times Assíncronos para Problemas de Otimização Combinatória, mestrado, Hélvio Pereira Peixoto, DCC-IMECC-UNICAMP, Março de 1995.
    
    
21. Desenho Automático de Diagramas, mestrado, Maria Inês Vale da Silva, DCC-IMECC-UNICAMP, Junho de 1994.
    
    
22. Incorporação da Dimensão Temporal a Bancos de Dados Orientados a Objetos, mestrado, Lincoln César Medina de Oliveira, DCC-IMECC-UNICAMP, 1993.

• Pós-graduação:
  • Tópicos
    
    Otimização Combinatória, Teoria da Complexidade, Metaheurísticas e Inteligência Computacional, Combinatória Poliédrica, Grafos e Algoritmos, Otimização de Sistemas de Grande Porte, Introdução à Biologia Computacional.
    
    
  • Cursos Lecionados
    
    Otimização Combinatória: Fluxo em Redes para Problemas em Transportes e Scheduling (INF 2912) (DI/PUC-Rio 00.1)
    
    Tópicos em Algoritmos (Algoritmos Aproximados em Otimização) (INF2034) (DI/PUC-Rio 99.2)
    
    Projeto e Análise de Algoritmos (INF2128) (DI/PUC-Rio 97.2, 99.1, 00.2, 01.1)
    
    Tópicos em Biologia Computacional (INF2128) (DI/PUC-Rio 98.2)
    
    Tópicos em Inteligência Computacional (INF2070) (DI/PUC-Rio 96.2)
    
    Tópicos em Otimização Combinatória (MO-824) (IC/UNICAMP 95.1)
    
    Tópicos Especiais em Teoria (MO-803) (IC/UNICAMP 93.2, 94.1)
  
  
• Graduação:
  
  
  • Tópicos
    
    Estruturas de Dados, Estruturas Discretas, Projeto e Análise de Algoritmos, Análise de Algoritmos, Grafos e Algoritmos, Bancos de Dados, Software Básico.
    
    
  • Cursos Lecionados
    
    Introdução à Engenharia I (CTC1002) (DI/PUC-Rio 97.1, 98.1, 99.1, 00.1)
    
    Análise de Algoritmos (MC408/MC438) (IC/UNICAMP 94.1, 95.2) (INF1721)(DI/PUC-Rio 98.2, 99.1)
    
    Estruturas Discretas (INF1631) (DI/PUC-Rio 97.1, 97.2, 98.1, 99.2, 00.1, 00.2, 01.1)
    
    Software Básico (INF1600) (DI/PUC-Rio 96.2)
    
    Laboratório de Bancos de Dados (MC-527) (IC/UNICAMP 95.2)
    
    Bancos de Dados (MC-526) (IC/UNICAMP 95.1)
    
    Laboratório de Estruturas de Dados (MC-221) (IC/UNICAMP 93.2)
    
    Algoritmos e Programação de Computadores (MC-100) (IC/UNICAMP 94.2)
    
    Introdução ao Processamento de Dados (MC-111) (IC/UNICAMP 93.1,94.1)
    
    Introdução à Ciência da Computação (INF1001) (DI/PUC-Rio 96.1)
    
    ``Operations Research'' (MAT 471) (Collège Militaire Royal de St Jean, Canadá Outono de 92)
  
  
• Extenção:
  
  
  • Cursos Lecionados
    
    Bancos de Dados (com C.M.B. Medeiros), CPqD - Telebrás, Janeiro-Março, 1996.

This document was translated from L^AT_EX by H^EV^EA.