Prof. Siang Wun Song Participa¸c˜ao em bancas examinadoras

Prof. Siang Wun Song

Participa¸ c˜ ao em bancas examinadoras

Bancas de Doutorado

1. Anderson Rici Amorim -Algoritmo h´ıbrido de otimiza¸c˜ao de le˜oes mul- tiobjetivo e paralelo para alinhamento m´ultiplo de sequˆencias. Escola Polit´ecnica da Universidade de S˜ao Paulo, 20/12/2021.

2. Filipe Rafael Gomes Varj˜ao - Gerenciamento dinˆamico de mem´oria baseado em regi˜oes com contagem de referˆencias c´ıclicas. Centro de Inform´atica/UFPE, 14/03/2019.

3. Giuliano Giova -Proposta para integra¸c˜ao de laborat´orios forenses di- gitais via rede de weblabs. Escola Polit´ecnica da Universidade de S˜ao Paulo, 20/09/2016.

4. Anderson Corrˆea de Lima -Solu¸c˜oes para os problemas da soma m´axima e dok-´esimo menor elemento de uma sequˆencia usando o model BSP/CGM.

Universidade Federal de Mato Grosso do Sul, 15/12/2015.

5. Wanderson Roger Azevedo Dias -Algoritmos baseados em padr˜oes de blocos e m´ultiplos dicion´arios para compress˜ao de c´odigo em sistemas embarcados. Unversidade Federal do Amazonas, 05/07/2013.

6. Jaime Cohen -Algoritmos paralelos para ´arvores de cortes e medidas de centralidade em grafos. Universidade Federal do Paran´a, 15/03/2013.

7. Augusto Mendes Gomes J´unior -Um ambiente de programa¸c˜ao e pro- cessamento de aplica¸c˜oes paralelas para grades computacionais. Escola Polit´ecnica da Universidade de S˜ao Paulo, 28/11/2011.

8. Eduardo Rocha Rodrigues - Dynamic load-balancing: a new strategy for weather forcast models. II/UFRGS. 25/03/2011.

9. Eduardo Antˆonio Guimar˜aes Tavares -Software synthesis for energy- constrained hard real-time embedded systems. Centro de Inform´atica/UFPE, 20/11/2009.

10. Lucas Mello Schnorr -Some Visualization Models applied to the Analy- sis of Parallel Applications. INPG e II/UFRGS. 26/10/2009.

11. Giorgia de Oliveira Mattos -Aspectos de desempenho da computa¸c˜ao paralela em clusters e grids para processamento de imagens, Universi- dade Federal de Pernambuco, 12/12/2008.

12. Aline de Paula Nascimento -Escalonamento dinˆamico para aplica¸c˜oes autonˆomicas MPI em grades computacionais, Universidade Federal Fluminense, 16/05/2008.

13. Francisco Isidro Massetto - Hybrid MPI - Uma Implementa¸c˜ao MPI para Ambientes Distribu´ıdos H´ıbridos. Escola Polit´ecnica da Univer- sidade de S˜ao Paulo, 04/10/2007.

14. Vera Nagamuta -Um Arcabou¸co para Composi¸c˜ao, Teste e Simula¸c˜ao de Protocolos de Handover Suave. Instituto de Matem´atica e Es- tat´ıstica da USP, 20/04/2006.

15. Nahri Balesdent Moreano -Algoritmos para Aloca¸c˜ao de Recursos em Arquiteturas Reconfigur´aveis. Universidade Federal do Mato Grosso do Sul, 09/11/2005.

16. Jussara Pimenta Matos - Concep¸c˜ao de Arquitetura de Software com base nos Estilos de Arquitetura e Requisitos N˜ao Funcionais. Escola Polit´ecnica da Universidade de S˜ao Paulo, 23/08/2005.

17. Rafael Bohrer ´Avila - Uma Proposta de Distribui¸c˜ao do Servidor de Arquivos em Clusters. INPG e II/UFRGS. 17/06/2005.

18. Carlos Augusto Garcia Assis -Uma Nova T´ecnica de Aprendizado para Otimizar o Desempenho de Caches de Instru¸c˜oes. COPPE/UFRJ, 13/05/2005.

19. Raimundo da Silva Barreto - A Methodology based on Time Petri Net for Embedded Hard Real-Time Software Synthesis. Centro de In- form´atica/UFPE, 29/04/2005.

20. Cao Ji Kan -Um Mecanismo de Consistˆencia Scope de Vari´aveis Com- partilhadas Aplicando um Protocolo Home-Based. Escola Polit´ecnica da Universidade de S˜ao Paulo, 08/04/2005.

21. Paulo Alexandre Bressan -Visualiza¸c˜ao Volum´etrica Aplicada em Aglo- merados de Computadores Convencionais. Escola Polit´ecnica da Uni- versidade de S˜ao Paulo, 06/12/2004.

22. Armin Werner Mittelsdorf - Uma Plataforma para Computa¸c˜ao com Confian¸ca Baseada em Monitor de M´aquinas Virtuais e Atestamento Dinˆamico. Escola Polit´ecnica da Universidade de S˜ao Paulo, 15/10/2004.

23. Reinaldo Silveira -Diretrizes para uma Nova Metodologia de Projeto Digital. Escola Polit´ecnica da Universidade de S˜ao Paulo, 28/08/2004.

24. C´esar Alberto Bravo Pariente - Gram´atias Livres de Contexto Adap- tativas com Verifica¸c˜ao de Aparˆencia. Escola Polit´ecnica da Universi- dade de S˜ao Paulo, 22/01/2004.

25. Francisco Heron de Carvalho - Programa¸c˜ao Paralela Eficiente e de Alto N´ıvel sobre Arquiteturas Distribu´ıdas. Universidade Federal de Pernambuco, 9/12/2003.

26. Carlos Alberto Alonso Sanches -Algoritmos Paralelos para o Problema da Mochila. Instituto Tecnol´ogico de Aeron´autica, 21/11/2003.

27. Paulo S´ergio L. M. Barreto - Criptografia Robustae Marcas d’ ´Agua Fr´ageis: Constru¸c˜ao e An´alise de Algoritmos para Localizar Altera¸c˜oes em Imagens Digitais. Escola Polit´ecnica da Universidade de S˜ao Paulo, 20/10/2003.

28. Marco Aur´elio Stefanes - “Algoritmos Paralelos de Granularidade Grossa em Grafos Bipartidos Convexos”. Instituto de Matem´atica e Estat´ıstica da USP, 18/03/2003.

29. Carlos Eduardo Rodrigues Alves, Algoritmos Paralelos CGM/BSP para Compara¸c˜ao de Cadeias, Instituto de Matem´atica e Estat´ıstica da USP, 6/12/2002.

30. Jos´e Henrique Pereira Andrade,Projeto de Sistemas Processados De- dicados Tolerantes a Falhas. Escola Polit´ecnica da Universidade de S˜ao Paulo, 17/12/2001.

31. Marcelo de Oliveira Johann, Novos Algoritmos para Roteamento de Circuitos VLSI. IF/UFRGS, 30/4/2001.

32. Amarildo Teodoro da Costa,Explorando Dinamicamente o Reuso de Traces em N´ıvel de Microarquiteura de Processador. COPPE/UFRJ, 18/4/2001.

33. M´ario Donato Marino. Constru¸c˜ao e Avalia¸c˜ao Comparativa de Um Sistema DSM. Escola Polit´ecnica da Universidade de S˜ao Paulo, 22/2/2001.

34. Gabriel Pereira da Silva, Otimiza¸c˜ao do despacho de m´ultiplas ins- tru¸c˜oes em arquiteturas super escalares. COPPE/UFRJ, 25/9/2000.

35. Henrique Mongelli, Algoritmo para o problema de Pattern Matching Uni e Bidimensional no modelo CGM. Instituto de Matem´atica e Es- tat´ıstica da USP, 4/4/2000.

36. Martha Ximena Torres Delgado. Solu¸c˜oes eficientes para opera¸c˜oes de comunica¸c˜ao coletiva em aplica¸c˜oes paralelas sobre aglomerado de computadores. Escola Polit´ecnica da Universidade de S˜ao Paulo, 27/10/1999.

37. Suely Angelo Correa Novato,Uma proposta de m´etodo para desenvol- vimento de projetos em parceria de sistemas de informa¸c˜ao - MDPP.

Escola Polit´ecnica da Universidade de S˜ao Paulo, 13/9/1999.

38. Edward D. Moreno,Caches Remotos e Prefetching em Sistemas Multi- processadores de Alto Desempenho - Considera¸c˜oes Arquiteturais. Es- cola Polit´ecnica da Universidade de S˜ao Paulo, 17/9/1998.

39. Carlos Augusto Paiva da Silva Martins, Subsistema de exibi¸c˜ao de imagens digitais com desacoplamento de resolu¸c˜ao - SEID-DR. Escola Polit´ecnica da Universidade de S˜ao Paulo, 8/9/1998.

40. Jo˜ao Eduardo Machado P´erea Martins,Investiga¸c˜ao de t´ecncas fotˆonicas de chaveamento aplicadas em arquiteturas paralelas. Instituto de F´ısica de S˜ao Carlos, USP, 20/3/1998.

41. Edson Toshimi Midorikawa, Uma nova estrat´egia para a gerˆencia de mem´oria para sistemas de computa¸c˜ao de alto desempenho. Escola Polit´ecnica da Universidade de S˜ao Paulo, 13/2/1998.

42. Edson Fregni,Arquitetura h´ıbrida na solu¸c˜ao do problema de Escala¸c˜ao da manufatura. Escola Polit´ecnica da Universidade de S˜ao Paulo, 5/12/1997.

43. Nivaldo Calˆonego Junior,Uma abordagem orientada a objetos de uma ferramenta de aux´ılio `a programa¸c˜ao paralela. Instituto de F´ısica de S˜ao Carlos, USP, 31/10/1997.

44. Aleardo Manacero Junior,Predi¸c˜ao do desempenho de programas pa- ralelos por simula¸c˜ao do grafo de execu¸c˜ao. Faculdade de Engenharia El´etrica e de Computa¸c˜ao, UNICAMP, 7/8/1997.

45. Marcos Dimas Gubitoso,Modelos anal´ıticos de desempenho para sis- temas de mem´oria compartilhada virtual. Instituto de Matem´atica e Estat´ıstica da USP, 13/12/1996.

46. Kunio Okuda, Encolhimento de ciclos por redu¸c˜ao de dependˆencia.

Instituto de Matem´atica e Estat´ıstica da USP, 27/11/1996.

47. Maria da Gra¸ca Brasil Rocha,Uma ferramenta para gera¸c˜ao de planta base em estruturas mar de portas. Escola Polit´ecnica da USP, 20/8/1996.

48. Jo˜ao Eduardo Ferreira,Compartilhamento de objetos compostos entre bases de dados orientados a objetos. Instituto de F´ısica de S˜ao Carlos, USP, 5/7/1996.

49. F´abio Carneiro Mokarzel, Condi¸c˜oes exatas para a paraleliza¸c˜ao de la¸cos seq¨uenciais. Instituto Tecnol´ogico de Aeron´autica, 14/11/1995.

50. Jorge Rady de Almeida Junior, STAD - Uma ferramenta para re- presenta¸c˜ao e simula¸c˜ao de sistemas atrav´es de statecharts adaptivos.

Escola Polit´ecnica da USP, 31/8/1995.

51. Anna Helena Reali Costa Rillo, Rectri: um Sistema de Reconheci- mento Tridimensional a partir de uma ´unica Imagem de Intensidade Luminosa. Escola Polit´ecnica da USP, 10/8/1994.

52. Jos´e Ot´avio Proen¸ca Soares - Fundamentos Conceituais para Projeto de Aplica¸c˜oes de Computadores, EP/USP, 16/3/1993.

53. Jos´e Reinaldo Silva -Uma formaliza¸c˜ao do processo de design baseado em met´aforas: sua aplica¸c˜ao na automatiza¸c˜ao de sistemas de eventos discretos, EP/USP, 21/9/1992.

54. Demi Getchko -Explora¸c˜ao de paralelismo meso e macrogranular em supercomputadores, EP/USP, 16/12/1991.

55. Tereza Gon¸calves Kirner - Suporte inteligente para especifica¸c˜ao de software: uma contribui¸c˜ao ao desenvolvimento de sistemas dedicados, FEA/USP, 7/5/1990.

56. Gra¸ca Bressan, EP/USP, 17/3/1986.

57. Carlos Alberto Gon¸calves -Aquisi¸c˜ao e representa¸c˜ao do conhecimento para sistemas especialistas, FEA/USP, 15/9/1986.

58. Hiroo Takaoka -Um modelo conceitual para banco de dados estat´ısticos, FEA/USP, 27/6/1983.

Bancas de Mestrado

1. Jo˜ao Ot´avio Gon¸calves Calis -Modelo de predi¸c˜ao de ataques de rede utilizando netflow, IBILCE/UNESP, 09/09/2021.

2. ´Alvaro Magri Nogueira da Cruz - Otimiza¸c˜ao de busca por SNPs ba- seada em m´ascaras por meio de Unidade de Processamento Gr´afico (GPU), IBILCE/UNESP, 13/08/2020.

3. Eduardo Pinhata -Algoritmos para o problema de entrega de pacotes auxiliada por drone, CMCC/UFABC, 11/02/2019.

4. Eduardo Alves de Jesus Anacleto -Avalia¸c˜ao r´apida em problemas de otimiza¸c˜ao quadr´atica bin´aria, CMCC/UFABC, 06/02/2018.

5. Danilo Carastan dos Santos -Um algoritmo exato em clusters de GPUs para o Hitting Set aplicado `a inferˆencia de redes de regula¸c˜ao gˆenica, CMCC/UFABC, 27/05/2015.

6. Saeed Shariati -A solver for sets of linear systems for neural network simulations in CUDA, CMCC/UFABC, 30/10/2014.

7. Fabr´ızio Ferreira Borelli -Inferˆencia de redes de regula¸c˜ao gˆenica usando algoritmo de busca exaustiva em clusters de GPUs, CMCC/UFABC, 17/12/2013.

8. Aderbal de Morais Junior - Uma biblioteca para desenvolvimento de aplica¸c˜oes CUDA em aglomerados de GPUs, CMCC/UFABC, 22/11/2013.

9. Anderson Boettge Pinheiro -Fusion: abstra¸c˜oes lingu´ısticas sobre Java para Programa¸c˜ao paralela heterogˆenea com GPPUs, UFC, 22/05/2013.

10. Cleber Silva Ferreira da Luz - Implementa¸c˜oes de algoritmos parale- los da subsequˆencia m´axima e da submatriz m´axima, CMCC/UFABC, 02/05/2013.

11. Patr´ıcia Akemi Ikeda - Um estudo do uso eficiente de programas em placas gr´aficas, IME/USP, 20/09/2011.

12. Edans Flavius de Oliveira Sandes -Comparacao Paralela de Sequˆecias Biologicas Longas utilizando Unidades de Processamento Grafico (GPUs), Universidade de Bras´ılia – 30/06/2011.

13. Filipe Montefusco Scoton - Power laws na modelagem de caches de microprocessadores, Escola Polit´ecnica da USP – 10/06/2011.

14. Rodrigo Cesar Sakamoto -Implementa¸c˜oes de algoritmos FPT para o problema do 3-hitting set utilizando clusters e grades computacionais, Universidade Federal do Mato Grosso do Sul, 20/01/2011.

15. Thiago Santos Faria Xavier Teixeira - Paraleliza¸c˜ao do algoritmo de migra¸c˜ao s´ısmica em plataformas heterogˆeneas, DCC/UFMG, 05/11/2010.

16. Pedro Pais Lopes - An´alise de benef´ıcios do paralelismo por comu- nica¸c˜ao unilateral em aplica¸c˜oes com grades n˜ao estruturadas, IME/USP, 03/09/2010.

17. Jorge Mamoru Kobayashi - Entropy: Algoritmo de Substitui¸c˜ao de Linhas de Cache inspirado na Entropia da Informa¸c˜ao , Escola Po- lit´ecnica da USP, 07/06/2010.

18. Leonardo Vinicius Rolan Loureiro -Algoritmos BSP/CGM para Pro- grama¸c˜ao Dinˆamica, Universidade Federal do Mato Grosso do Sul, 12/04/2010.

19. Cl´audia Regina Tin´os Peviani -Algoritmos paralelos real´ısticos para a maior subsequˆencia comum, Universidade Federal do Mato Grosso do Sul, 31/08/2009.

20. Christiane Nishibe -Implementa¸c˜ao e an´alise de algoritmos BSP/CGM em um Beowulf e no InteGrade, Universidade Federal do Mato Grosso do Sul, 22/06/2009.

21. Deiviston Aguena -Implementa¸c˜oes alternativas FPT BSP/CGM para o problema k-cobertura por v´ertices, Universidade Federal do Mato Grosso do Sul, 22/06/2009.

22. F´abio Henrique Nishihara -Paradigma mestre-escravo em plataformas heterogˆeneas, IME/USP, 08/05/2008.

23. F´abio Massaaki Katayama -O Problema da Troca de Mensagens de Di- ferentes Tamanhos em Redes Multi-Aglomerados, IME/USP, 27/10/2006.

24. Marcos Tatsuo Yamamoto -Arranjos Sist´olicos Redundantes para Gra- des de Computa¸c˜ao, IME/USP, 01/11/2005.

25. Daniela Quitete de Campos Vianna -Um sistema de gerenciamento de aplica¸c˜oes MPI para ambientes grid, Universidade Federal Fluminense, 03/10/2005.

26. Cristiano Costa Argemon Vieira -Algoritmos BSP/CGM para o Fecho Transitivo, Universidade Federal do Mato Grosso do Sul, 05/09/2005.

27. Ulisses Kendi Hayashida - Desenvolvimento de Algoritmos Paralelos para Aglomerados com a T´ecnica de Paraleliza¸c˜ao de La¸cos, IME/USP, 07/01/2005.

28. Guilherme Pereira Vanni - List Ranking: um Estudo Experimental, IME/USP, 15/10/2004.

29. Luciano Gonda -Algoritmos BSP/CGM para Ordena¸c˜ao, DCT/UFMS, 20/08/2004.

30. Lu´ıs Fabr´ıcio Wanderley G´oes - Proposta e Desenvolvimento de um Algoritmo Reconfigur´avel de Escalonamento Paralelo de Tarefas, Pon- tif´ıcia Universidade Cat´olica de Minas Gerais, 21/05/2004.

31. Erik Joey Hanashiro -O Problema da k-Cobertura para V´ertices: uma Implementa¸c˜ao FPT no Modelo CGM, Universidade Federal do Mato Grosso do Sul, 15/03/2004.

32. Rodrigo Souza de Castro - Cache Comprimido Adaptativo: Estudos, Projeto e Implementa¸c˜ao, IME/USP, 06/06/2003.

33. Amaury Antˆonio de Castro Junior - Implementa¸c˜oes e Avalia¸c˜ao de Algoritmos BSP/CGM para o Fecho Transitivo e Problemas Relacio- nados, DCT/UFMS, 07/04/2003.

34. Danielle Passos de Ruchkys - Um Algoritmo de Aproxima¸c˜ao Para- lelo para Transversal M´ınima com Aplica¸c˜ao em An´alise da Express˜ao Gˆenica, IME/USP, 10/12/2002.

35. Jacques Alves da Silva -STATS: Uma Ferramenta para Escalonamento Est´atico de Tarefas em Programas MPI, Universidade Federal Flumi- nense, 13/11/2002.

36. Claudia Yoshie Nasu -Algoritmo BSP/CGM para Computa¸c˜ao de Cir- cuitos de Euler em Grafos, DCT/UFMS, 12/09/2002.

37. Rodrigo Lopes Can¸cado Fonseca -Propriedades de Localidade Intr´ınsecas das Sequˆencias de Requisi¸c˜oes na WEB, DCC/UFMG, 22/07/2002.

38. Emmanuel Kayembe Ilunga - Algoritmos Paralelos para Fecho Con- vexo, IME/USP, 30/3/2001.

39. Pedro Vaz Artigas -Um ambiente de alto desempenho para aplica¸c˜oes cient´ıficas escritas em Java, EP/USP, 14/7/2000.

40. Aline de Paula Nascimento -Aglomera¸c˜ao de tarefas em arquiteturas paralelas com mem´oria distribu´ıda, Universidade Federal Fluminense, 22/10/1999.

41. Carla Yayoi Takemoto - Algoritmos de Imers˜ao de Redes de Interco- nex˜ao em Hipercubos, IME/USP, 16/10/1998.

42. Cao Ji Kan - Um Estudo Comparativo entre os M´etodos GTS e RD para Encolhimento de Ciclo, IME/USP, 19/6/1998.

43. Gezilda Balbino Pereira - A did´atica do sistema operacional para o ensino de inform´atica, Faculdade de Educa¸c˜ao da USP, 22/5/1998.

44. Einar Luciano Gattoni Saukas -Algoritmos de sele¸c˜ao para m´aquinas paralelas com mem´oria distribu´ıda, IME/USP, 9/2/1998.

45. Fabiana Soares Santana -Algoritmos probal´ısticos de list ranking para m´aquinas paralelas com mem´oria distribu´ıda, IME/USP, 19/12/1997.

46. Jos´e Maria Novaes dos Santos -Um formalismo adaptativo com meca- nismo de sincroniza¸c˜ao para aplica¸c˜oes concorrentes, EP/USP, 19/12/1997.

47. Perry Roland James -A especifica¸c˜ao formal e o teste de um protocolo de comunica¸c˜ao de grupo, IME/USP, 3/10/1997.

48. Jos´e Henrique Pereira Andrade -M´etodo de projeto de unidades aritm´eticas especiais de ponto flutuante, EP/USP, 21/8/1997.

49. Maria Dalva Resende - Algoritmos paralelos para constru¸c˜ao de Pat arrays, DCC/UFMG, 21/3/1997.

50. Maria Aparecida Martins de Paula -Implementa¸c˜oes sist´olicas de redes neuras artificias, IME/USP, 11/12/1996.

51. M´ario Donato Marino - Pulsar: um sistema de mem´oria virtual com- partilhada e distribu´ıda, baseado em consistˆencia de mem´oria relaxada, EP/USP, 21/10/1996.

52. Izaura Cristina Ara´ujo -Aspectos da constru¸c˜ao do n´ucleo de um ambi- ente interativo para a visualiza¸c˜ao de algoritmos, EP/USP, 30/9/1996.

53. Kuan Ching Li -PARSTOOL: uma ferramenta de aux´ılio `a simula¸c˜ao de sistemas paralelos, EP/USP, 29/8/1996.

54. F´abio Henrique Viduani Martinez - Algoritmos paralelos para cons- tru¸c˜ao da ´arvore dos sufixos e suas aplica¸c˜oes, IME/USP, 31/5/1996.

55. Dinam´erico Schwingel -Um simulador distribu´ıdo para redes neurais artificiais, Inst. Inform´atica da UFRGS, 5/9/1995.

56. Ronaldo Parente de Menezes - Um estudo sobre modelos de com- puta¸c˜ao paralela, DCC/IMECC/UNICAMP, 29/6/1995.

57. Delfim Xavier Martins -Explora¸c˜ao do paralelismo de baixo n´ıvel em m´aquinas do tipo VLIW, COPPE/UFRJ, 27/4/1995.

58. Margarete Keiko Iwai -Um meta-editor dirigido por sintaxe para lin- guagens estruturadas em blocos, EP/USP, 24/2/1995.

59. Martha Ximena Torres Delgado -Solu¸c˜oes para sincroniza¸c˜ao de bar- reira em m´aquinas paralelas MIMD, EP/USP, 4/11/1994.

60. Eduardo Toledo Santos -Avalia¸c˜ao do algoritmo de “Ray Tracing” em multicomputadores, EP/USP, 29/6/1994.

61. Paulo Geraldo Pinheiro - Fortalecimento da fam´ılia de cifras FEAL, IME/USP, 8/4/1994.

62. Alfredo Goldman vel Lejbman - Novas estruturas de interconex˜ao `a base de barramentos e algoritmos de comunica¸c˜ao: uma contribui¸c˜ao

`

a computacao maci¸camente paralela, IME/USP, 30/3/1994.

63. Reinaldo Silveira, Unidades L´ogicas e Aritm´eticas de Alto Desempe- nho: uma Experiˆencia utilizando T´ecnicas Alternativas, Escola Po- lit´ecnica da USP, 13/10/1993.

64. Stephen William Kassner -Algoritmos paralelos em grafos: listas, flo- restas e cole¸c˜ooes de florestas, IME/USP, 27/11/1992.

65. Carlos Alberto Alonso Sanches -Novos algoritmos SIMD para multi- plica¸c˜ao de matrizes no hipercubo, IME/USP, 25/9/1992.

66. Eduardo Voigt -Paraleliza¸c˜ao e sincroniza¸c˜ao em la¸cos, IMECC/UNICAMP, 17/12/1991.

67. Sidnei Hideo Tano -Conceitua¸c˜ao de um ambiente de implementa¸c˜ao e testes de sistemas espec´ıficos em SDL, EP/USP, 23/10/1991.

68. Renata P. M. Fortes -Uma Ferramenta de Apoio `a Utiliza¸c˜ao de Sta- techarts para Especifica¸c˜ao do Comportamento de Sistemas de Tempo- Real Complexos, ICMSC/USP, 19/04/1991.

69. Milton Kaoru Kashiwakura - Desenvolvimento de um microcomputa- dor de 32 bits, EP/USP, 5/6/1990.

70. Cl´audio Santos Pinhanez -Algoritmos paralelos para busca em ´arvores de jogo, IME/USP, 22/9/1989.

71. Kunio Okuda -Desenvolvimento formal de algoritmos paralelos sist´olicos, IME/USP, 1/9/1989.

72. Isabel Helena Coelho Soares -M´etodos de hashing externo, IME/USP, 7/11/1988.

73. Marcelo Henriques de Carvalho - Introdu¸c˜ao a algoritmos paralelos e suas complexidades, IME/USP, 27/6/1988.

74. Afonso Galv˜ao Ferreira -O problema do dobramento optimal de PLA’s, IME/USP, 22/8/1986.

75. Jony Santellano - Projeto e implementa¸c˜ao do m´odulo supervisor de um sistema de processamento de imagens, INPE, S˜ao Jos´e dos Cam- pos, 4/10/1985.

76. F´abio Carneiro Mokarzel - Compiladores de programas sequenciais para multiprocessamento - an´alise e metodologia para sua implementa¸c˜ao, ITA/CTA, 19/10/1984.

77. Jos´e Roberto Melhado Bezerra - Sobre problemas de otimiza¸c˜ao em redes de computadores, IME/USP, 11/9/1984.

78. Jos´e Pedro Junior - Uma implementa¸c˜ao de MODULA-2: an´alise e representa¸c˜ao intermedi´aria, UNICAMP, 9/11/1983.

79. Enivaldo da Rocha -Utiliza¸c˜ao de m´etodos espectrais para constru¸c˜ao de intervalos de confian¸ca em simula¸c˜oes, IME/USP, 3/3/1983, mem- bro suplente efetivo.

80. Anselmo Moraes Neto -Uma linguagem de consulta para o modelo ER e sua completude, IME/USP, 1/10/1982.

Bancas de concurso para Professor Titular

1. Membro da Comiss˜ao Especial de Avalia¸c˜ao de um pedido para promo¸c˜ao funcional docente para a classe de Professor Titular. Universidade Federal de Goi´as. 27 de mar¸co de 2018. Docente aprovado: F´abio Moreira Costa.

2. Membro da Comiss˜ao Especial de Avalia¸c˜ao de um pedido para promo¸c˜ao funcional docente para a classe de Professor Titular. Universidade Fe- deral do ABC. 13 de junho de 2017. Docente aprovada: L´ucia Regina Horta Rodrigues Franco.

3. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao - USP - 14 e 15 de fevereiro de 2017. Um cargo provido para o candidato Adenilso da Silva Sim˜ao.

4. Membro da Comiss˜ao Especial de Avalia¸c˜ao de dois pedidos para promo¸c˜ao funcional docente para a classe de Professor Titular. Uni- versidade Federal de Rio Grande do Sul. 13 e 14 de junho de 2016.

Docentes aprovados: Ana L´ucia Cetertich Bazzan e Alexandre da Silva Carissimi.

5. Membro da Comiss˜ao Especial de Avalia¸c˜ao de dois pedidos para promo¸c˜ao funcional docente para a classe de Professor Titular. Uni- versidade de Bras´ılia. 23 e 24 de maio de 2016. Docentes aprovados:

Alba Cristina Magalh˜aes Alves de Melo e Li Weigang.

6. Membro da Comiss˜ao Especial de Avalia¸c˜ao de um pedido para promo¸c˜ao funcional docente para a classe de Professor Titular. Universidade Fe- deral Fluminense. 29 de maio de 2015. Docente aprovada: Lucia Maria de Assump¸c˜ao Drummond.

7. Membro da Comiss˜ao Especial de Avalia¸c˜ao de um pedido para promo¸c˜ao funcional docente para a classe de Professor Titular. Universidade Federal de Mato Grosso do Sul. 22 de setembro de 2014. Docente aprovado: Marcelo Henriques de Carvalho.

8. Membro da Banca Examinadora de Concurso para um cargo de Pro- fessor Titular Universidade Estadual de Campinas - UNICAMP - Li- meira. 14 de maio de 2014. Um cargo provido para o candidato Ivan Luiz Marques Ricarte.

9. Membro da Banca Examinadora de Concurso para um cargo de Pro- fessor Titular. FFCL de Ribeir˜ao Preto - USP - 25 e 26 de abril de 2013. Um cargo provido para o candidato Zhao Liang.

10. Membro da Banca de Concurso para um cargo de Professor Titular.

UNESP/IBILCE, Campus de S˜ao Jos´e do Rio Preto, 9 de abril de 2012. Um cargo provido para o candidato Jos´e M´arcio Machado.

11. Membro da Banca Julgadora do Concurso para um cargo de Professor Titular, II/UFRGS - 30 de novembro a 2 de dezembro de 2011. Um cargo provido para o candidato Luis da Cunha Lamb.

12. Membro da Banca Julgadora do Concurso para um cargo de Professor Titular, UFRJ/COPPE - 25 e 26 de outubro de 2011. Um cargo provido para a candidata Celina Miraglia Herrera de Figueiredo.

13. Membro da Banca de Concurso para um cargo de Professor Titular.

Universidade Federal do ABC - UFABC - 30 de agosto de 2011. Um cargo provido para o candidato C´esar Polcino Milies.

14. Membro da Banca de Concurso para cinco cargos de Professor Titular.

Centro de Inform´atica - Universidade Federal de Pernambuco - UFPE - 23 a 27 de maio de 2011. Cinco cargos providos para os candida- tos: Sostenes Lins, Francisco de Assis Tenorio, Aluizio Fausto Ribeiro Ara´ujo, Paulo Borba e Rafael Dueire Lins.

15. Membro da Banca de Concurso para um cargo de Professor Titular.

UNESP/IBILCE, Campus de S˜ao Jos´e do Rio Preto, 28 de abril de 2011. Um cargo provido para o candidato Norian Marranghello.

16. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao - USP - 10 e 11 de agosto de 2010. Um cargo provido para o candidato Edson dos Santos Moreira.

17. Membro da Banca de Concurso para um cargo de Professor Titular.

Departamento de Eletrˆonica e Sistemas - Universidade Federal de Per- nambuco - UFPE - 28 de junho a 1 de julho de 2010. Um cargo provido para o candidato Eduardo Fontana.

18. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Computa¸c˜ao - Universidade Federal Fluminense. 19 e 20 de outubro de 2009. Um cargo provido para o candidato Luiz Satoru Ochi.

19. Membro da Banca de Concurso para dois cargos de Professor Titular.

Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao - USP - 6 e 7 de maio de 2008. Dois cargos providos para as candidatas Agma Juci Machado Traina e Maria Cristina Ferreira de Oliveira.

20. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Computa¸c˜ao - Universidade Estadual de Campinas - UNI- CAMP - 14 e 15 de agosto de 2007. Cargo provido para o candidato Guido Costa Souza de Ara´ujo.

21. Membro da Banca de Concurso para um cargo de Professor Titular.

Centro de Inform´atica - Universidade Federal de Pernambuco - UFPE - 29 a 31 de janeiro de 2007. Um cargo provido para a candidata Tereza Ludermir.

22. Membro da Banca de Concurso para um cargo de Professor Titular.

Universidade Federal do ABC - UFABC - 17 de novembro de 2006.

Um cargo provido para o candidato Antonio Candido Faleiros.

23. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Computa¸c˜ao - UNICAMP - 29 a 30 de agosto de 2005.

Um cargo provido para o candidato Jo˜ao Meidanis.

24. Membro da Banca de Concurso para um cargo de Professor Titular.

Escola Polit´ecnica - USP - 1 a 3 de agosto de 2005. Um cargo provido para o candidato Em´ılio Carlos Nelli Silva.

25. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Matem´atica e Estat´ıstica - USP - 2 de maio de 2005. Um cargo provido para o candidato Junior Barrera.

26. Membro da Banca de Concurso para um cargo de Professor Titular.

Departamento de Computa¸c˜ao e Estat´ıstica - UFMS - 21 e 22 de abril de 2005. Um cargo provido para o candidato Edson Norberto Caceres.

27. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao - USP - 7 e 8 de mar¸co de 2005. Um cargo provido para o candidato Caetano Traina Jr.

28. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Matem´atica e Estat´ıstica - USP - 14 a 15 de outubro de 2003. Um cargo provido para o candidato Luiz Renato Gon¸calves Fontes.

29. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Computa¸c˜ao - Universidade Federal Fluminense. 21 e 22 de agosto de 2002. Um cargo provido para o candidato Celso Carneiro Ribeiro.

30. Membro da Banca de Concurso para um cargo de Professor Titular.

Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao - USP - 22 a 23 de novembro de 2001. Um cargo provido para o candidato Jos´e Carlos Maldonado.

31. Membro da Banca de Concurso para dois cargos de Professor Titular.

Faculdade de Educa¸c˜ao - USP - 31 de julho a 2 de agosto de 2000.

Dois cargos providos para os candidatos Nelio Marco Vincenzo Bizzo e Nilson Jos´e Machado.

32. Membro da Banca de Concurso para um cargo de Professor Titular.

Escola Polit´ecnica - USP - 20 a 22 de setembro de 1999. Um cargo provido para o candidato Moacyr Martucci.

33. Membro da Banca de Concurso para um cargo de Professor Titular.

Faculdade de Filosofia, Letras e Ciˆencias Humanas - USP - 20 de agosto de 1999. Um cargo provido para o candidato Mario Bruno Sproviero.

34. Membro da Banca Julgadora do Concurso de um cargo de Professor Titular, UFRJ/COPPE - 4 de julho de 1997. Um cargo provido para o candidato Valmir Carneiro Barbosa.

35. Membro da Banca de Concurso para um cargo de Professor Titular.

Faculdade de Filosofia, Letras e Ciˆencias Humanas - USP - 29 de abril de 1996. Um cargo provido para o candidato Alexander Chung Yuan Yang.

36. Membro da Banca Julgadora do Concurso de um cargo de Professor Titular, UFRJ/COPPE - 9 e 10 de dezembro de 1993. Um cargo provido para o candidato Edil Severiano Tavares Fernandes.

Bancas de concurso para professor Livre-Docente

1. Membro da Banca de Concurso para Professor Livre Docente de Ale- xandro Jos´e Baldassin e Edson Borin - Universidade Estadual Paulista - UNESP, Campus de Rio Claro - 11 e 12 de julho de 2018.

2. Membro da Banca de Concurso para Professor Livre Docente de Edson Borin e Leandro Aparecido Villas - Instituto de Ciˆencias Matem´aticas de S˜ao Carlos, USP - 14 e 15 de junho de 2018.

3. Membro da Banca de Concurso para Professor Livre Docente de Carlos Roberto Valˆencio - IBILCE/Universidade Estadual Paulista, Campus de S˜ao Jos´e do Rio Preto - 18 e 19 de outubro de 2016.

4. Membro da Banca de Concurso para Professor Livre Docente de J´ulio C´ezar Estrella - Instituto de Ciˆencias Matem´aticas de S˜ao Carlos, USP - 4 e 5 de outubro de 2016.

5. Membro da Banca de Concurso para Professor Livre Docente de Za- noni Dias - Instituto de Computa¸c˜ao da UNICAMP - 26 e 27 de no- vembro de 2013.

6. Membro da Banca de Concurso para Professor Livre Docente de Paulo S´ergio Licciardi Messeder Barreto - Escola Polit´ecnica da USP - 4 a 6 de outubro de 2011.

7. Membro da Banca de Concurso para Professor Livre Docente de Kechi Hirama - Escola Polit´ecnica da USP - 15 a 17 de dezembro de 2008.

8. Membro da Banca de Concurso para Professor Livre Docente de Gon- zalo Travieso - Instituto de F´ısica de S˜ao Carlos, USP - 9 a 10 de mar¸co de 2005.

9. Membro da Banca de Concurso para Professor Livre Docente de F´abio Kon - Instituto de Matem´atica e Estat´ıstica da USP - 16 a 18 de fevereiro de 2005.

10. Membro da Banca de Concurso para Professor Livre Docente de Ale- ardo Manacero Jr. - Universidade Estadual Paulista, Campus de S˜ao Jos´e do Rio Preto - 23 a 25 de agosto de 2004.

11. Membro da Banca de Concurso para Professor Livre Docente de Mar- celo Knorich Zuffo - Escola Polit´ecnica da USP - 3 a 5 de dezembro de 2001.

12. Membro da Banca de Concurso para Professor Livre Docente de Mar- kus Endler - Instituto de Matem´atica e Estat´ıstica da USP - 1 a 3 de outubro de 2001.

13. Membro da Banca de Concurso para Professor Livre Docente de Guido Costa Souza de Ara´ujo - Instituto de Computa¸c˜ao da UNICAMP - 2 a 3 de abril de 2001.

14. Membro da Banca de Concurso para Professor Livre Docente de Ar- naldo Vieira Moura - Instituto de Computa¸c˜ao da UNICAMP - 20 e 21 de agosto de 1998.

15. Membro da Banca de Concurso para Professor Livre Docente de Junior Barrera - Instituto de Matem´atica e Estat´ıstica da USP - 8 a 10 de junho de 1998.

16. Membro da Banca de Concurso para Professor Livre Docente de Pe- dro Jussieu de Rezende, Jorge Stolfi e Jo˜ao Meidanis - Instituto de Computa¸c˜ao da UNICAMP - 16 e 17 de setembro de 1996.

17. Membro da Banca de Concurso para Professor Livre Docente de M´ario Bruno Sproviero - Faculdade de Filosofia, Letras e Ciˆencias Humanas - USP - 27 a 29 de maio de 1996.

18. Membro da Banca de Concurso para Professor Livre Docente de ´Alvaro Garcia Neto - Instituto de F´ısica de S˜ao Carlos, USP - 26 a 28 de fevereiro de 1996.

19. Membro da Banca de Concurso para Professor Livre Docente de L´ıria Matsumoto Sato - Escola Polit´ecnica da USP - 18 a 20 de dezembro de 1995.

20. Membro da Banca de Concurso para Professor Livre Docente Saulo Rabello Maciel de Barros - Instituto de Matem´atica e Estat´ıstica da USP - 13 a 15 de dezembro de 1995.

21. Membro da Banca de Concurso para Professor Livre Docente Pedro Lu´ıs Pr´ospero Sanchez - Escola Polit´ecnica da USP - 8 a 10 de maio de 1995.

22. Membro da Banca de Concurso para Professor Livre Docente Alexan- der C. Y. Yang - Faculdade de Filosofia, Letras e Ciˆencias Humanas - USP - 12 a 14 de agosto de 1992.

Bancas de concurso para Professor Adjunto

1. Membro da Banca Julgadora do Concurso para Professor Adjunto,

2. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Mato Grosso do Sul, Faculdade de Com- puta¸c˜ao. 21 a 22 de novembro de 2014.

3. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal Fluminense, 17 a 20 de mar¸co de 2014.

4. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal de S˜ao Paulo, S˜ao Jos´e dos Campos. 6 e 7 de junho de 2013.

5. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Cear´a. 22 a 24 de maio de 2013.

6. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal de Pernambuco, 19 a 21 de junho de 2012.

7. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do ABC, 28 a 30 de mar¸co de 2012.

8. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Cear´a. 7 a 10 de novembro de 2011.

9. Membro da Banca Julgadora do Concurso para Professor Adjunto, Instituto de Ciˆencias Exatas, Universidade Federal de Minas Gerais, 16 a 18 de mar¸co de 2010.

10. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Cear´a. 3 a 5 de novembro de 2009.

11. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio de Janeiro, 14 a 16 de outubro de 2009.

12. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio de Janeiro, Departamento de Ciˆencia da Computa¸c˜ao. 29 a 30 de junho de 2009.

13. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Mato Grosso do Sul, Departamento de Com- puta¸c˜ao e Estat´ıstica. 24 a 26 de junho de 2009.

14. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal Fluminense, 16 a 18 de junho de 2009.

15. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio Grande do Sul, 13 a 16 de abril de 2009.

16. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio de Janeiro, Departamento de Engenharia Eletrˆonica. 2 a 4 de outubro de 2006.

17. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio de Janeiro, Departamento de Ciˆencia da Computa¸c˜ao. 19 a 21 de junho de 2006.

18. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do ABC, 4 a 6 de junho de 2006.

19. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio Grande do Sul, 6 a 10 de maio de 2002.

20. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal de Pernambuco, 17 a 19 de agosto de 2005.

21. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Cear´a, 11 a 13 de julho de 2005.

22. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio Grande do Sul, 22 a 24 de novembro de 2004.

23. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio de Janeiro, 27 a 29 de maio de 2002.

24. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio Grande do Sul, 6 a 10 de maio de 2002.

25. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal Fluminense, 8 a 11 de abril de 2002.

26. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal de Pernambuco, 5 a 7 de mar¸co de 2002.

27. Membro da Banca Julgadora do Concurso para Professor Adjunto, Instituto de Ciˆencias Exatas, Universidade Federal de Minas Gerais, 19 a 20 de novembro de 2001.

28. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Estadual de Campinas, Instituto de Computa¸c˜ao, 21 de fevereiro de 2000.

29. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio de Janeiro, 11 a 12 de dezembro de 1997.

30. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio de Janeiro, 15 a 17 de setembro de 1997.

31. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio de Janeiro, 15 e 16 de agosto de 1995.

32. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal de Pernambuco, 8 e 9 de junho de 1995.

33. Membro da Banca Julgadora do Concurso para Professor Adjunto, Universidade Federal do Rio de Janeiro, 10 e 11 de novembro de 1994.

34. Membro da Banca Julgadora do Concurso para Professor Adjunto, Instituto de Ciˆencias Exatas, Universidade Federal de Minas Gerais, 6 de outubro de 1994.

Bancas de concurso para Professor Doutor

1. Membro da Banca Examinadora do Concurso de Professor Doutor do Instituto de Computa¸c˜ao - UNICAMP 17 a 20 de fevereiro de 2020.

2. Membro da Banca Examinadora do Concurso para Professor Doutor do Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao da USP - 7 a 10 de outubro de 2019.

3. Membro da Banca Examinadora do Concurso de Professor Doutor do Instituto de Computa¸c˜ao - UNICAMP - 19 a 23 de maio de 2014.

4. Membro da Banca Examinadora do Concurso de Professor Doutor da Universidade de S˜ao Paulo, Escola Superior de Agricultura Luiz de Queiroz - 30 de outubro a 1 de novembro de 2013.

5. Membro da Banca Examinadora do Concurso de Professor Doutor da Universidade de S˜ao Paulo, Instituto de Matem´atica e Estat´ıstica - 16 a 19 de setembro de 2013.

6. Membro da Banca Examinadora do Concurso de Professor Doutor do Instituto de Computa¸c˜ao - UNICAMP - 12 a 15 de dezembro de 2011.

7. Membro da Banca Examinadora do Concurso de Professor Doutor da Faculdade de Ciˆencias e Tecnologia da UNESP - Presidente Prudente - 21 e 22 de fevereiro de 2011.

8. Membro da Banca Examinadora do Concurso de Professor Doutor da Faculdade de Filosofia, Ciˆencias e Letras de Ribeir˜ao Preto - USP - 2 a 4 de agosto de 2010.

9. Membro da Banca Examinadora do Concurso de Professor Doutor da Escola Polit´ecnica da USP - 2 e 3 de fevereiro de 2010.

10. Membro da Banca Examinadora do Concurso de Professor Doutor da Faculdade de Medicina de Ribeir˜ao Preto - USP - 16 e 17 de junho de 2008

11. Membro da Banca Examinadora do Concurso de Professor Doutor da Escola Polit´ecnica da USP - 27 e 28 de mar¸co de 2008.

12. Membro da Banca Examinadora do Concurso para Professor Doutor do Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao da USP - 18 e 19 de mar¸co de 2008.

13. Membro da Banca Examinadora do Concurso de Professor Doutor da Escola de Artes, Ciˆencias e Humanidades - USP - ´Area de Arquitetura e Organiza¸c˜ao de Computadores. 7 a 9 de janeiro de 2008.

14. Membro da Banca Examinadora do Concurso de Professor Doutor da Escola de Artes, Ciˆencias e Humanidades - USP - ´Area de Engenharia de Software. 7 a 9 de janeiro de 2008.

15. Membro da Banca Examinadora do Concurso de Professor Doutor do Instituto de Computa¸c˜ao - UNICAMP - 24 a 29 de setembro de 2007.

16. Membro da Banca Examinadora do Concurso de Professor Doutor da Universidade de S˜ao Paulo, Instituto de Matem´atica e Estat´ıstica - 13 a 15 de dezembro de 2004.

17. Membro da Banca Examinadora do Concurso de Professor Doutor da Universidade de S˜ao Paulo, Instituto de Matem´atica e Estat´ıstica - 29 de junho a 1 de julho de 2004.

18. Membro da Banca Examinadora do Concurso de Professor Doutor da Universidade de S˜ao Paulo, Instituto de Matem´atica e Estat´ıstica - 15 a 17 de dezembro de 2003.

19. Membro da Banca Examinadora do Concurso de Professor Doutor da Escola Polit´ecnica da USP - 2 e 3 de abril de 2003.

20. Membro da Banca Examinadora do Concurso de Professor Doutor da Universidade de S˜ao Paulo, Instituto de Matem´atica e Estat´ıstica - - 16 a 18 de novembro de 1999.

21. Membro da Banca Examinadora do Concurso de Professor Doutor da Faculdade de Engenharia El´etrica e de Computa¸c˜ao - - UNICAMP - 11 e 12 de novembro de 1999.

Bancas de concurso para Professor Assistente

1. Membro da Banca Examinadora do Concurso de Professor Assistente do Instituto de Matem´atica, Estat´ıstica e Ciˆencia da Computa¸c˜ao - UNICAMP - agosto de 1989.

Bancas de Processos Seletivos fora do IMEUSP

1. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor do Faculdade de Engenharia El´etrica e de Computa¸c˜ao da UNICAMP - 9 a 11 de dezembro de 2008.

2. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor do Curso de Sistemas de Informa¸c˜ao da USP Leste - 9 a 12 de janeiro de 2007.

3. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor do Faculdade de Engenharia El´etrica e de Computa¸c˜ao da UNICAMP - 3 a 7 de julho de 2006.

4. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor do Curso de Sistemas de Informa¸c˜ao da USP Leste - 20 a 23 de dezembro de 2004.

5. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor da Escola Polit´ecnica da USP - 5 a 7 de julho de 2004.

6. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor do Instituto de Ciˆencias Matem´aticas e de Computa¸c˜ao da USP - 15 a 17 de julho de 2003.

7. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor do Instituto de Computa¸c˜ao da UNICAMP - 12 a 13 de mar¸co de 2003.

8. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor do Departamento de Matem´atica Aplicada do Instituto de Ma- tem´atica, Estat´ıstica e Computa¸c˜ao Cient´ıfica da UNICAMP - 17 e 18 de maio de 2001.

9. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor da Escola Polit´ecnica da USP - 1 e 2 de outubro de 1997.

10. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor da Escola Polit´ecnica da USP - 18 e 19 de fevereiro de 1997.

11. Membro da Comiss˜ao Julgadora do Processo Seletivo para Professor Doutor do Instituto de Ciˆencias Matem´aticas de S˜ao Carlos da USP - 21 a 23 de janeiro de 1997.

Bancas de exames de qualifica¸c˜ao

1. Alan Claudius Maciel, Doutorado CMCC/UFABC – 07/08/2019.

2. Eduardo Alves de Jesus Anacleto, Doutorado CMCC/UFABC – 05/06/2019.

3. Eduardo Alves de Jesus Anacleto, Mestrado CMCC/UFABC – 11/08/2017.

4. Anderson Corrˆea de Lima, Doutorado FACOM/UFMS – 07/11/2013.

5. Wanderson Roger Azevedo Dias, Doutorado DCC/UFAM – 26/08/2011.

6. Eduardo Rocha Rodrigues, Doutorado II/UFRGS – 29/10/2010.

7. Patr´ıcia Akemi Ikeda , Mestrado IME/USP – 17/08/2010.

8. Rodrigo Cesar Sakamoto, Mestrado DCT/UFMS – 06/07/2010.

9. Leonardo Vinicius Rolan Loureiro, Mestrado DCT/UFMS – 26/02/2010.

10. Alex Camargo, Mestrado IME/USP – 10/11/2009.

11. Pedro Pais Lopes, Mestrado IME/USP – 01/10/2009.

12. Jorge Mamoru Kobayashi, Mestrado Escola Polit´ecnica da USP – 11/08/2009.

13. Filipe Montefusco Scoton, Mestrado Escola Polit´ecnica da USP – 12/08/2009.

14. Deiviston Aguena, Mestrado DCT/UFMS – 18/12/2008.

15. Pablo Cesar Calcina Ccori, Mestrado IME/USP – 30/09/2008.

16. Christiane Nishibe, Mestrado DCT/UFMS – 06/06/2008.

17. Giorgia de Oliveira Mattos, Doutorado PPGEE/UFPE – 26/05/2008.

18. Eduardo Antˆonio Guimar˜aes Tavares, Doutorado CEIN/UFPE – 07/03/2008.

19. Danielle Passos de Ruchkys, Doutorado Escola Polit´ecnica da USP – 21/02/2008.

20. Alexandro Baldassim, Doutorado IC/UNICAMP – 18/5/2007.

21. F´abio Henrique Nishihara, Mestrado IME/USP – 23/02/2007.

22. F´abio Massaaki Katayama, Mestrado IME/USP – 13/10/2005.

23. Renata dos Santos Rodrigues, Mestrado DCT/UFMS – 5/9/2005.

24. Raphael Yokoingawa de Camargo, Doutorado IME/USP – 7/7/2005.

25. Alex Pires de Camargo, Mestrado IME/USP – 11/8/2004.

26. Raimundo da Silva Barreto, Doutorado CEIN/UFPE – 30/8/2004.

27. Marcos Tatsuo Yamamoto, Mestrado IME/USP – 4/6/2004.

28. Bianca de Almeida Dantas, Mestrado Universidade Federal do Mato Grosso do Sul – 15/03/2004.

29. Armin Werner Mittelsdorf, Doutorado Escola Polit´ecnica da USP – 27/02/2004.

30. Roberto Pires de Carvalho, Mestrado IME/USP – 12/01/2004.

31. Guilherme Pereira Vanni, Mestrado IME/USP – 19/9/2003.

32. Vera Nagamuta, Doutorado IME/USP – 14/08/2003.

33. Ulisses Kendi Hayashida, Mestrado IME/USP – 1/8/2003.

34. Paulo Alexandre Bressan, Doutorado Escola Polit´ecnica da USP – 11/4/2003.

35. Luciano Gonda, Mestrado Universidade Federal do Mato Grosso do Sul – 8/4/2003.

36. Erik Joey Hanashiro, Mestrado Universidade Federal do Mato Grosso do Sul – 8/4/2003.

37. Marcelo Lu´ıs Vinagreiro, Mestrado IME/USP – 11/3/2003.

38. Reinaldo Silveira, Doutorado Escola Polit´ecnica da USP – 16/12/2002.

39. Fl´avio R´egis de Arruda IME/USP – 9/12/2002.

40. Danielle Passos de Ruchkys, Mestrado IME/USP – 22/2/2002.

41. Cl´audia Yoshie Nasu, Mestrado Universidade Federal do Mato Grosso do Sul – 12/6/2000.

42. Amaury Antˆonio de Castro Junior, Mestrado Universidade Federal do Mato Grosso do Sul – 12/6/2000.

43. Emmanuel Kayembe Ilunga, Mestrado IME/USP – 27/4/2000.

44. Marco Aur´elio Stefanes, Doutorado IME/USP – 13/4/2000.

45. Marcelo de Oliveira Johann, Doutorado Universidade Federal do Rio Grande do Sul – 5/11/1999.

46. Carlos Eduardo Rodrigues Alves, Doutorado IME/USP – 8/10/1999.

47. Martha Ximena Torres Delgado Doutorado Escola Polit´ecnica da USP – 22/9/1997.

48. Carla Yayoi Takemoto, Mestrado IME/USP – 15/8/1997.

49. Edward David Moreno Ordonez, Doutorado Escola Polit´ecnica da USP – 7/7/1997.

50. Cao Ji Kan, Mestrado IME/USP – 20/6/1997.

51. Edson Toshimi Midorikawa, Doutorado Escola Polit´ecnica da USP – 12/5/1997.

52. Gezilda Balbino Pereira, Mestrado Faculdade de Educa¸c˜ao da USP – 9/5/1997.

53. Perry R. James, Mestrado IME/USP – 4/4/1997.

54. Marco Aur´elio Stefanes, Mestrado IME/USP – 17/3/1997.

55. Einar Luciano Gattoni Saukas, Mestrado IME/USP – 4/3/1997.

56. Anil Jos´e D’Souza, Mestrado IME/USP – 3/5/1996.

57. Fabiana Soares Santana, Mestrado IME/USP – 1/7/1996.

58. Leˆonidas de Oliveira Brand˜ao, Doutorado IME/USP – 27/8/1996.

59. Li Kuan Ching, Mestrado Escola Polit´ecnica da USP – 16/2/1996.

60. F´abio Henrique Viduani Martinez, Mestrado IME/USP – 5/1995.

61. Maria Aparecida Martins de Paula, Mestrado IME/USP – 7/12/1995.

62. Henrique Mongelli, Mestrado IME/USP – 10/1994.

63. Kunio Okuda, Doutorado IME/USP – 1993.

64. Marco Dimas Gubitoso, Doutorado IME/USP – 1993.