Prof. Siang Wun Song
Participação em bancas examinadoras
Bancas de Doutorado
Francisco Isidro Massetto -
Hybrid MPI - Uma Implementação MPI para Ambientes Distribuídos Híbridos.
Escola Politécnica da Universidade de São Paulo,
04/10/2007.
Raphael Yokoingawa de Camargo -
Armazenamento Distribuído de Dados e Checkpointing de
Aplicações Paralelas em Grades Oportunistas.
Instituto de Matemática e Estatística da USP,
04/05/2007, membro suplente.
Vera Nagamuta -
Um Arcabouço para Composição, Teste e Simulação de Protocolos
de Handover Suave.
Instituto de Matemática e Estatística da USP,
20/04/2006.
Nahri Balesdent Moreano -
Algoritmos para Alocação de Recursos em Arquiteturas Reconfiguráveis.
Universidade Federal do Mato Grosso do Sul,
09/11/2005.
Jussara Pimenta Matos -
Concepção de Arquitetura de Software com base nos Estilos de
Arquitetura e Requisitos Não Funcionais.
Escola Politécnica da Universidade de São Paulo,
23/08/2005.
Rafael Bohrer Ávila -
Uma Proposta de Distribuição do Servidor de Arquivos em Clusters.
INPG e IF/UFRGS.
17/06/2005.
Carlos Augusto Garcia Assis -
Uma Nova Técnica de Aprendizado para Otimizar o Desempenho
de Caches de Instruções.
COPPE/UFRJ,
13/05/2005.
Raimundo da Silva Barreto -
A Methodology based on Time Petri Net for Embedded Hard Real-Time
Software Synthesis.
Centro de Informática/UFPE,
29/04/2005.
Cao Ji Kan -
Um Mecanismo de Consistência Scope de Variáveis Compartilhadas Aplicando
um Protocolo Home-Based.
Escola Politécnica da Universidade de São Paulo,
08/04/2005.
Paulo Alexandre Bressan -
Visualização Volumétrica Aplicada em Aglomerados de Computadores Convencionais.
Escola Politécnica da Universidade de São Paulo, 06/12/2004.
Armin Werner Mittelsdorf -
Uma Plataforma para Computação com Confiança Baseada em Monitor de
Máquinas Virtuais e Atestamento Dinâmico.
Escola Politécnica da Universidade de São Paulo, 15/10/2004.
Reinaldo Silveira -
Diretrizes para uma Nova Metodologia de Projeto Digital.
Escola Politécnica da Universidade de São Paulo, 28/08/2004.
César Alberto Bravo Pariente -
Gramátias Livres de Contexto Adaptativas com Verificação de Aparência.
Escola Politécnica da Universidade de São Paulo, 22/01/2004.
Francisco Heron de Carvalho -
Programação Paralela Eficiente e de Alto Nível sobre
Arquiteturas Distribuídas.
Universidade Federal de Pernambuco, 9/12/2003.
Carlos Alberto Alonso Sanches -
Algoritmos Paralelos para o Problema da Mochila.
Instituto Tecnológico de Aeronáutica, 21/11/2003.
Paulo Sérgio L. M. Barreto -
Criptografia Robustae Marcas d'Água Frágeis: Construção e Análise de
Algoritmos para Localizar Alterações em Imagens Digitais.
Escola Politécnica da Universidade de São Paulo, 20/10/2003.
Marco Aurélio Stefanes -
``Algoritmos Paralelos de Granularidade Grossa em Grafos Bipartidos Convexos''.
Instituto de Matemática e Estatística da USP,
18/03/2003.
Carlos Eduardo Rodrigues Alves,
Algoritmos Paralelos CGM/BSP para Comparação de Cadeias,
Instituto de Matemática e Estatística da USP,
6/12/2002.
José Henrique Pereira Andrade,
Projeto de Sistemas Processados Dedicados Tolerantes a Falhas.
Escola Politécnica da Universidade de São Paulo, 17/12/2001.
Marcelo de Oliveira Johann,
Novos Algoritmos para Roteamento de Circuitos VLSI.
IF/UFRGS, 30/4/2001.
Amarildo Teodoro da Costa,
Explorando Dinamicamente o Reuso de Traces em Nível de
Microarquiteura de Processador.
COPPE/UFRJ, 18/4/2001.
Mário Donato Marino.
Construção e Avaliação Comparativa de Um Sistema DSM.
Escola Politécnica da Universidade de São Paulo, 22/2/2001.
Gabriel Pereira da Silva,
Otimização do despacho de múltiplas instruções em arquiteturas
super escalares.
COPPE/UFRJ, 25/9/2000.
Henrique Mongelli,
Algoritmo para o problema de Pattern Matching
Uni e Bidimensional no modelo CGM.
Instituto de Matemática e Estatística da USP,
4/4/2000.
Martha Ximena Torres Delgado.
Soluções eficientes para operações de comunicação coletiva em
aplicações paralelas sobre aglomerado de computadores.
Escola Politécnica da Universidade de São Paulo, 27/10/1999.
Suely Angelo Correa Novato,
Uma proposta de método para desenvolvimento de projetos
em parceria de sistemas de informação - MDPP.
Escola Politécnica da Universidade de São Paulo, 13/9/1999.
Edward D. Moreno,
Caches Remotos e Prefetching em Sistemas Multiprocessadores
de Alto Desempenho - Considerações Arquiteturais.
Escola Politécnica da Universidade de São Paulo, 17/9/1998.
Carlos Augusto Paiva da Silva Martins,
Subsistema de exibição de imagens digitais com desacoplamento
de resolução - SEID-DR.
Escola Politécnica da Universidade de São Paulo, 8/9/1998.
João Eduardo Machado Pérea Martins,
Investigação de técncas fotônicas de chaveamento aplicadas
em arquiteturas paralelas.
Instituto de Física de São Carlos, USP, 20/3/1998.
Edson Toshimi Midorikawa,
Uma nova estratégia para a gerência de memória para sistemas
de computação de alto desempenho.
Escola Politécnica da Universidade de São Paulo, 13/2/1998.
Edson Fregni,
Arquitetura híbrida na solução do problema de
Escalação da manufatura.
Escola Politécnica da Universidade de São Paulo, 5/12/1997.
Nivaldo Calônego Junior,
Uma abordagem orientada a objetos de uma ferramenta de auxílio
à programação paralela.
Instituto de Física de São Carlos, USP, 31/10/1997.
Aleardo Manacero Junior,
Predição do desempenho de programas paralelos por simulação
do grafo de execução.
Faculdade de Engenharia Elétrica e de Computação,
UNICAMP, 7/8/1997.
Marcos Dimas Gubitoso,
Modelos analíticos de desempenho para sistemas de memória compartilhada
virtual.
Instituto de Matemática e Estatística da USP,
13/12/1996.
Kunio Okuda,
Encolhimento de ciclos por redução de dependência.
Instituto de Matemática e Estatística da USP,
27/11/1996.
Maria da Graça Brasil Rocha,
Uma ferramenta para geração de planta base em estruturas mar de
portas.
Escola Politécnica da USP, 20/8/1996.
João Eduardo Ferreira,
Compartilhamento de objetos compostos entre bases de dados
orientados a objetos.
Instituto de Física de São Carlos, USP, 5/7/1996.
Fábio Carneiro Mokarzel,
Condições exatas para a paralelização de laços seqüenciais.
Instituto Tecnológico de Aeronáutica, 14/11/1995.
Jorge Rady de Almeida Junior,
STAD - Uma ferramenta para representação e simulação de sistemas
através de statecharts adaptivos.
Escola Politécnica da USP, 31/8/1995.
Sérgio Takeo Kofuji,
Considerações de Projeto e Análise do SPADE - um Multiprocessador de
Larga Escala baseado no padrão ANSI/IEEE-SCI.
Escola Politécnica da USP, 14/2/1995, membro suplente.
Anna Helena Reali Costa Rillo,
Rectri: um Sistema de Reconhecimento Tridimensional
a partir de uma única Imagem de Intensidade Luminosa.
Escola Politécnica da USP, 10/8/1994.
Amauri de Almeida Machado,
Estatística e Experimentação Agronômica,
Escola Superior de Agricultura
Luiz de Queiroz, Universidade de São Paulo, 12/8/1993, membro
suplente.
Maria da Graça de Campos Mendes Segnibo,
Faculdade de Filosofia, Letras e Ciências Humanas, 26/5/1993,
membro suplente.
José Otávio Proença Soares - Fundamentos
Conceituais para Projeto de Aplicações de Computadores,
EP/USP, 16/3/1993.
José Reinaldo Silva - Uma formalização
do processo de design baseado em metáforas: sua aplicação
na automatização de sistemas de eventos discretos,
EP/USP, 21/9/1992.
Demi Getchko - Exploração de paralelismo meso
e macrogranular em supercomputadores, EP/USP, 16/12/1991.
Tereza Gonçalves Kirner - Suporte inteligente para
especificação de software: uma contribuição ao
desenvolvimento de sistemas dedicados, FEA/USP, 7/5/1990.
Ronaldo Zwicker - Treinamento e uso de sistemas: uma abordagem
baseada na Ciência da Cognição e Inteligência
Artificial, FEA/USP, 10/8/1989, membro suplente.
Graça Bressan, EP/USP, 17/3/1986.
Carlos Alberto Gonçalves - Aquisição e
representação do conhecimento para sistemas especialistas,
FEA/USP, 15/9/1986.
Paulo César Masiero - Um prognóstico sobre a
integração entre a automação de escritórios e
processamento de dados, FEA/USP, 18/9/1984, membro suplente.
Hiroo Takaoka - Um modelo conceitual para banco de dados
estatísticos, FEA/USP, 27/6/1983.
Bancas de Mestrado
Fábio Massaaki Katayama -
O Problema da Troca de Mensagens de Diferentes Tamanhos em
Redes Multi-Aglomerados,
IME/USP, 27/10/2006.
Marcos Tatsuo Yamamoto -
Arranjos Sistólicos Redundantes para Grades de Computação,
IME/USP, 01/11/2005.
Daniela Quitete de Campos Vianna -
Um sistema de gerenciamento de aplicações MPI para
ambientes grid,
Universidade Federal Fluminense, 03/10/2005.
Cristiano Costa Argemon Vieira -
Algoritmos BSP/CGM para o Fecho Transitivo,
Universidade Federal do Mato Grosso do Sul,
05/09/2005.
Ulisses Kendi Hayashida -
Desenvolvimento de Algoritmos Paralelos para Aglomerados com a
Técnica de Paralelização de Laços,
IME/USP, 07/01/2005.
Guilherme Pereira Vanni -
List Ranking: um Estudo Experimental,
IME/USP, 15/10/2004.
Flávio Regis de Arruda -
Uma Proposta de Eliminação Paralela para o Problema da Mochila Ilimitada,
IME/USP, 27/08/2004, membro suplente.
Luciano Gonda -
Algoritmos BSP/CGM para Ordenação,
DCT/UFMS, 20/08/2004.
Luís Fabrício Wanderley Góes -
Proposta e Desenvolvimento de um Algoritmo Reconfigurável
de Escalonamento Paralelo de Tarefas,
Pontifícia Universidade Católica de Minas Gerais,
21/05/2004.
Erik Joey Hanashiro -
O Problema da k-Cobertura para Vértices: uma Implementação FPT
no Modelo CGM,
Universidade Federal do Mato Grosso do Sul,
15/03/2004.
Marcelo Luís Vinagreiro -
Uma Arquitetura Distribuída para Busca de Caminhos em Grafos Dinâmicos,
IME/USP, 12/01/2004, membro suplente.
Rodrigo Souza de Castro -
Cache Comprimido Adaptativo: Estudos, Projeto e Implementação,
IME/USP, 06/06/2003.
Amaury Antônio de Castro Junior -
Implementações e Avaliação de Algoritmos
BSP/CGM para o Fecho Transitivo e Problemas Relacionados,
DCT/UFMS, 07/04/2003.
Danielle Passos de Ruchkys -
Um Algoritmo de Aproximação Paralelo para Transversal Mínima com
Aplicação em Análise da Expressão Gênica,
IME/USP, 10/12/2002.
Jacques Alves da Silva -
STATS: Uma Ferramenta para Escalonamento Estático de Tarefas
em Programas MPI,
Universidade Federal Fluminense, 13/11/2002.
Claudia Yoshie Nasu -
Algoritmo BSP/CGM para Computação de Circuitos de Euler em Grafos,
DCT/UFMS, 12/09/2002.
Rodrigo Lopes Cançado Fonseca -
Propriedades de Localidade Intrínsecas das
Sequências de Requisições na WEB,
DCC/UFMG, 22/07/2002.
Pedro Vaz Artigas -
Um ambiente de alto desempenho para aplicações científicas escritas em
Java,
EP/USP, 14/7/2000.
Aline de Paula Nascimento -
Aglomeração de tarefas em arquiteturas paralelas com
memória distribuída,
Universidade Federal Fluminense, 22/10/1999.
Ho Yeh Chia -
Antropologia filosófica e fundamentos de educação,
Faculdade de Educação da USP, 24/3/1999, membro suplente.
Carla Yayoi Takemoto -
Algoritmos de Imersão de Redes de Interconexão em Hipercubos,
IME/USP, 16/10/1998.
Cao Ji Kan -
Um Estudo Comparativo entre os Métodos GTS e RD para Encolhimento de
Ciclo,
IME/USP, 19/6/1998.
Gezilda Balbino Pereira -
A didática do sistema operacional para o ensino de informática,
Faculdade de Educação da USP, 22/5/1998.
Marco Aurélio Stefanes -
Algoritmos e implementações paralelas para
florestas geradoras mínimas,
IME/USP, 13/2/1998, membro suplente.
Einar Luciano Gattoni Saukas -
Algoritmos de seleção para máquinas
paralelas com memória distribuída,
IME/USP, 9/2/1998.
Fabiana Soares Santana -
Algoritmos probalísticos de list ranking para máquinas
paralelas com memória distribuída,
IME/USP, 19/12/1997.
José Maria Novaes dos Santos -
Um formalismo adaptativo com mecanismo de sincronização
para aplicações concorrentes,
EP/USP, 19/12/1997.
Perry Roland James -
A especificação formal e o teste de um protocolo de
comunicação de grupo,
IME/USP, 3/10/1997.
Sérgio Ricardo da Conceição -
Um protocolo para rastreamento de mensagens em sistemas
com checkpointing assíncrono,
IME/USP, 26/9/1997, membro suplente.
José Henrique Pereira Andrade -
Método de projeto de unidades aritméticas especiais de
ponto flutuante,
EP/USP, 21/8/1997.
Maria Dalva Resende -
Algoritmos paralelos para construção de Pat arrays,
DCC/UFMG, 21/3/1997.
Maria Aparecida Martins de Paula -
Implementações sistólicas de redes neuras artificias,
IME/USP, 11/12/1996.
Mário Donato Marino -
Pulsar: um sistema de memória virtual compartilhada e distribuída,
baseado em consistência de memória relaxada,
EP/USP, 21/10/1996.
Izaura Cristina Araújo -
Aspectos da construção do núcleo de um ambiente interativo para
a visualização de algoritmos,
EP/USP, 30/9/1996.
Kuan Ching Li -
PARSTOOL: uma ferramenta de auxílio à simulação de sistemas paralelos,
EP/USP, 29/8/1996.
Fábio Henrique Viduani Martinez -
Algoritmos paralelos para construção da árvore
dos sufixos e suas aplicações,
IME/USP, 31/5/1996.
Dinamérico Schwingel -
Um simulador distribuído para redes neurais artificiais,
Inst. Informática da UFRGS, 5/9/1995.
Ronaldo Parente de Menezes -
Um estudo sobre modelos de computação paralela,
DCC/IMECC/UNICAMP, 29/6/1995.
Delfim Xavier Martins -
Exploração do paralelismo de baixo nível em máquinas
do tipo VLIW,
COPPE/UFRJ, 27/4/1995.
Margarete Keiko Iwai -
Um meta-editor dirigido por sintaxe para linguagens
estruturadas em blocos,
EP/USP, 24/2/1995.
Martha Ximena Torres Delgado -
Soluções para sincronização de barreira em máquinas paralelas
MIMD, EP/USP, 4/11/1994.
Fábio Kon -
Sistemas de arquivos distribuídos,
IME/USP, 8/11/1994, membro suplente.
Eduardo Toledo Santos -
Avaliação do algoritmo de ``Ray Tracing'' em multicomputadores,
EP/USP, 29/6/1994.
Paulo Geraldo Pinheiro -
Fortalecimento da família de cifras FEAL,
IME/USP, 8/4/1994.
Alfredo Goldman vel Lejbman -
Novas estruturas de interconexão à base
de barramentos e algoritmos de comunicação:
uma contribuição à computacao maciçamente paralela,
IME/USP, 30/3/1994.
Omar Heriberto Santos Velasco -
Núcleo Básico para um Servidor de Nomes Baseado
em Atributos, ICMSC/USP, 12/1993, membro suplente.
Reinaldo Silveira,
Unidades Lógicas e Aritméticas de Alto Desempenho:
uma Experiência utilizando Técnicas Alternativas,
Escola Politécnica da USP, 13/10/1993.
Andréa Zisman - A Árvore-B e uma Proposta de
Implementação, IME/USP, 10/5/1993, membro suplente.
José Carlos Fontoura Guimarães - Proposta de
Fortalecimento do Sistema Criptográfico DES
contra Criptoanálise Diferencial, 14/5/1993, membro suplente.
Roberto Carlos Mayer - Sistemas para o desenvolvimento de
interfaces de usuário, IME/USP, 18/12/1992, membro suplente.
Stephen William Kassner - Algoritmos paralelos em grafos:
listas, florestas e coleçõoes de florestas,
IME/USP, 27/11/1992.
Carlos Alberto Alonso Sanches -
Novos algoritmos SIMD para multiplicação de matrizes
no hipercubo, IME/USP, 25/9/1992.
Hae Yong Kim -
Síntese de Imagem e Rastreamento de Raio, IME/USP, 3/9/1992,
membro suplente.
Galileu Batista de Souza - Técnicas de otimização de
código para arquiteturas RISC, IMECC/UNICAMP, 29/6/1992, membro suplente.
Eduardo Voigt - Paralelização e sincronização
em laços, IMECC/UNICAMP, 17/12/1991.
Sidnei Hideo Tano - Conceituação de um ambiente de
implementação e testes de sistemas específicos em SDL,
EP/USP, 23/10/1991.
Eduardo Martins Morgado - Avaliação da implantação
da rede Bitnet nas Universidades Estaduais Paulistas, um estudo
exploratório, FEA/USP, 23/9/1991, membro suplente.
Renata P. M. Fortes -
Uma Ferramenta de Apoio à Utilização de Statecharts para Especificação do
Comportamento de Sistemas de Tempo-Real Complexos,
ICMSC/USP, 19/04/1991.
Milton Kaoru Kashiwakura - Desenvolvimento de um microcomputador
de 32 bits, EP/USP, 5/6/1990.
Cláudio Santos Pinhanez - Algoritmos paralelos para busca em
árvores de jogo, IME/USP, 22/9/1989.
Kunio Okuda - Desenvolvimento formal de algoritmos paralelos
sistólicos, IME/USP, 1/9/1989.
Rosalina de Carvalho Fabbri - Otimização em sistemas
distribuídos com partição de servidores,
IME/USP, 5/6/1989, membro suplente.
Isabel Helena Coelho Soares - Métodos de hashing externo,
IME/USP, 7/11/1988.
Marcelo Henriques de Carvalho - Introdução a algoritmos
paralelos e suas complexidades, IME/USP, 27/6/1988.
Afonso Galvão Ferreira - O problema do dobramento optimal de
PLA's, IME/USP, 22/8/1986.
Jony Santellano - Projeto e implementação do
módulo supervisor de um sistema de processamento de imagens,
INPE, São José dos Campos, 4/10/1985.
Fábio Carneiro Mokarzel - Compiladores de programas
sequenciais para multiprocessamento - análise e metodologia para
sua implementação, ITA/CTA, 19/10/1984.
José Roberto Melhado Bezerra - Sobre problemas de
otimização em redes de computadores, IME/USP, 11/9/1984.
José Pedro Junior - Uma implementação de MODULA-2:
análise e representação intermediária, UNICAMP,
9/11/1983.
Enivaldo da Rocha - Utilização de métodos
espectrais para construção de intervalos de confiança em
simulações, IME/USP, 3/3/1983, membro suplente efetivo.
Anselmo Moraes Neto - Uma linguagem de consulta para o modelo
ER e sua completude, IME/USP, 1/10/1982.
Miguel Haddad - Um jogo sobre grafos e aplicações
à teoria da complexidade, IME/USP, 30/6/1982, membro suplente.
Bancas de concurso para Professor Titular
Membro suplente da Banca de Concurso para Professor Titular.
Instituto de Computação - Universidade Estadual de Campinas - UNICAMP -
13 e 14 de novembro de 2007.
Membro da Banca de Concurso para Professor Titular.
Instituto de Computação - Universidade Estadual de Campinas - UNICAMP -
14 e 15 de agosto de 2007.
Membro da Banca de Concurso para Professor Titular.
Centro de Informática - Universidade Federal de Pernambuco - UFPE -
29 a 31 de janeiro de 2007.
Membro da Banca de Concurso para Professor Titular.
Universidade Federal do ABC - UFABC -
17 de novembro de 2006
Membro suplente da Banca de Concurso para Professor Titular.
Instituto de Ciências Matemáticas e de Computação - USP -
10 de maio de 2006.
Membro da Banca de Concurso para Professor Titular.
Instituto de Computação - UNICAMP -
29 a 30 de agosto de 2005.
Membro da Banca de Concurso para Professor Titular.
Escola Politécnica - USP -
1 a 3 de agosto de 2005.
Membro da Banca de Concurso para Professor Titular.
Instituto de Matemática e Estatística - USP -
2 de maio de 2005.
Membro da Banca de Concurso para Professor Titular.
Departamento de Computação e Estatística - UFMS -
21 e 22 de abril de 2005.
Membro da Banca de Concurso para Professor Titular.
Instituto de Ciências Matemáticas e de Computação - USP -
7 e 8 de março de 2005.
Membro da Banca de Concurso para Professor Titular.
Instituto de Matemática e Estatística - USP -
14 a 15 de outubro de 2003.
Membro da Banca de Concurso para Professor Titular.
Instituto de Computação - Universidade Federal Fluminense.
21 e 22 de agosto de 2002.
Membro da Banca de Concurso para Professor Titular.
Instituto de Ciências Matemáticas e de Computação - USP -
22 a 23 de novembro de 2001.
Membro da Banca de Concurso para Professor Titular.
Faculdade de Educação - USP -
31 de julho a 2 de agosto de 2000.
Membro da Banca de Concurso para Professor Titular.
Escola Politécnica - USP -
20 a 22 de setembro de 1999.
Membro da Banca de Concurso para Professor Titular.
Faculdade de Filosofia, Letras e Ciências Humanas - USP -
20 de agosto de 1999.
Membro da Banca Julgadora
do Concurso de Professor Titular, UFRJ/COPPE - 4 de julho de 1997.
Membro da Banca de Concurso para Professor Titular.
Faculdade de Filosofia, Letras e Ciências Humanas - USP -
29 de abril de 1996.
Membro da Banca Julgadora
do Concurso de Professor Titular, UFRJ/COPPE - 9 e 10 de dezembro de 1993.
Bancas de concurso para professor Livre-Docente
Membro suplente da Banca de Concurso para
Professor Livre Docente de
Renata Wassermann -
Instituto de Matemática e Estatística da USP -
16 a 18 de novembro de 2005.
Membro suplente da Banca de Concurso para
Professor Livre Docente de
Márcio Eduardo Delamaro - Instituto de Ciências Matemáticas e de
Computação de São Carlos, USP -
2 e 3 de junho de 2005.
Membro da Banca de Concurso para
Professor Livre Docente de
Gonzalo Travieso - Instituto de Física de São Carlos, USP -
9 a 10 de março de 2005.
Membro da Banca de Concurso para
Professor Livre Docente de
Fábio Kon -
Instituto de Matemática e Estatística da USP -
16 a 18 de fevereiro de 2005.
Membro da Banca de Concurso para
Professor Livre Docente de
Aleardo Manacero Jr. - Universidade Estadual Paulista, Campus de
São José do Rio Preto -
23 a 25 de agosto de 2004.
Membro da Banca de Concurso para
Professor Livre Docente de
Marcelo Knörich Zuffo - Escola Politécnica da USP -
3 a 5 de dezembro de 2001.
Membro da Banca de Concurso para
Professor Livre Docente de
Markus Endler -
Instituto de Matemática e Estatística da USP -
1 a 3 de outubro de 2001.
Membro da Banca de Concurso para
Professor Livre Docente de
Guido Costa Souza de Araújo -
Instituto de Computação da UNICAMP -
2 a 3 de abril de 2001.
Membro suplente da Banca de Concurso para
Professor Livre Docente de
Flávio Soares Correa da Silva -
Instituto de Matemática e Estatística da USP -
13 a 15 de dezembro de 1999.
Membro da Banca de Concurso para
Professor Livre Docente de
Arnaldo Vieira Moura -
Instituto de Computação da UNICAMP -
20 e 21 de agosto de 1998.
Membro da Banca de Concurso para
Professor Livre Docente de
Junior Barrera -
Instituto de Matemática e Estatística da USP -
8 a 10 de junho de 1998.
Membro suplente da Banca de Concurso para
Professor Livre Docente de
Yoshiharu Kohayakawa -
Instituto de Matemática e Estatística da USP -
18 a 20 de novembro de 1996.
Membro da Banca de Concurso para
Professor Livre Docente de
Pedro Jussieu de Rezende, Jorge Stolfi e João Meidanis -
Instituto de Computação da UNICAMP -
16 e 17 de setembro de 1996.
Membro da Banca de Concurso para
Professor Livre Docente de
Mário Bruno Sproviero - Faculdade de Filosofia, Letras
e Ciências Humanas - USP - 27 a 29 de maio de 1996.
Membro suplente da Banca de Concurso para
Professor Livre Docente de
Edson dos Santos Moreira - Instituto de Ciências Matemáticas
de São Carlos, USP -
6 e 7 de maio de 1996.
Membro da Banca de Concurso para
Professor Livre Docente de
Álvaro Garcia Neto - Instituto de Física de São Carlos, USP -
26 a 28 de fevereiro de 1996.
Membro da Banca de Concurso para
Professor Livre Docente de
Líria Matsumoto Sato - Escola Politécnica da USP -
18 a 20 de dezembro de 1995.
Membro da Banca de Concurso para
Professor Livre Docente
Saulo Rabello Maciel de Barros - Instituto de Matemática e Estatística da USP -
13 a 15 de dezembro de 1995.
Membro da Banca de Concurso para
Professor Livre Docente
Pedro Luís Próspero Sanchez - Escola Politécnica da USP -
8 a 10 de maio de 1995.
Membro suplente da Banca de Concurso para
Professor Livre Docente
Cláudia Maria Bauzer Medeiros - Instituto de Matemática,
Estatística e Ciência da Computação - UNICAMP -
24 de agosto de 1992.
Membro da Banca de Concurso para
Professor Livre Docente
Alexander C. Y. Yang - Faculdade de Filosofia, Letras
e Ciências Humanas - USP - 12 a 14 de agosto de 1992.
Membro suplente da Banca de Concurso para
Professor Livre Docente
Valentin Obac Roda -
Instituto de Física e Química da São Carlos -
USP - 18 de novembro de 1991.
Bancas de concurso para Professor Adjunto
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio de Janeiro,
Departamento de Engenharia Eletrônica.
2 a 4 de outubro de 2006.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio de Janeiro, Departamento de
Ciência da Computação.
19 a 21 de junho de 2006.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do ABC,
4 a 6 de junho de 2006.
Membro Suplente da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio Grande do Sul,
5 a 9 de dezembro de 2005.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio Grande do Sul,
6 a 10 de maio de 2002.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal de Pernambuco,
17 a 19 de agosto de 2005.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Ceará,
11 a 13 de julho de 2005.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio Grande do Sul,
22 a 24 de novembro de 2004.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio de Janeiro,
27 a 29 de maio de 2002.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio Grande do Sul,
6 a 10 de maio de 2002.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal Fluminense,
8 a 11 de abril de 2002.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal de Pernambuco,
5 a 7 de março de 2002.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Instituto de Ciências Exatas, Universidade Federal de Minas Gerais,
19 a 20 de novembro de 2001.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Estadual de Campinas, Instituto de Computação,
21 de fevereiro de 2000.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio de Janeiro, 11 a 12 de dezembro de 1997.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio de Janeiro, 15 a 17 de setembro de 1997.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio de Janeiro, 15 e 16 de agosto de 1995.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal de Pernambuco, 8 e 9 de junho de 1995.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Universidade Federal do Rio de Janeiro, 10 e 11 de novembro de 1994.
Membro da Banca Julgadora do Concurso para Professor Adjunto,
Instituto de Ciências Exatas, Universidade Federal de Minas Gerais,
6 de outubro de 1994.
Bancas de concurso para Professor Doutor
Membro da Banca Examinadora do Concurso de Professor
Doutor da Escola de Artes, Ciências e Humanidades - USP -
Área de Arquitetura e Organização de Computadores.
7 a 9 de janeiro de 2008.
Membro da Banca Examinadora do Concurso de Professor
Doutor da Escola de Artes, Ciências e Humanidades - USP -
Área de Engenharia de Software.
7 a 9 de janeiro de 2008.
Membro da Banca Examinadora do Concurso de Professor
Doutor do Instituto de Computação - UNICAMP
- 24 a 29 de setembro de 2007.
Membro suplente da Banca Examinadora do Concurso de Professor Doutor da
Universidade de São Paulo, Instituto de Matemática e Estatística -
22 a 24 de novembro de 2005.
Membro suplente da Banca Examinadora do Concurso de Professor Doutor da
Universidade de São Paulo, Instituto de Matemática e Estatística -
28 a 30 de junho de 2005.
Membro da Banca Examinadora do Concurso de Professor Doutor da
Universidade de São Paulo, Instituto de Matemática e Estatística -
13 a 15 de dezembro de 2004.
Membro da Banca Examinadora do Concurso de Professor Doutor da
Universidade de São Paulo, Instituto de Matemática e Estatística -
29 de junho a 1 de julho de 2004.
Membro da Banca Examinadora do Concurso de Professor Doutor da
Universidade de São Paulo, Instituto de Matemática e Estatística -
15 a 17 de dezembro de 2003.
Membro da Banca Examinadora do Concurso de Professor
Doutor da Escola Politécnica da USP -
2 e 3 de abril de 2003.
Membro da Banca Examinadora do Concurso de Professor Doutor da
Universidade de São Paulo, Instituto de Matemática
e Estatística -
- 16 a 18 de novembro de 1999.
Membro da Banca Examinadora do Concurso de Professor
Doutor da
Faculdade de Engenharia Elétrica e de Computação -
- UNICAMP
- 11 e 12 de novembro de 1999.
Bancas de concurso para Professor Assistente
Membro da Banca Examinadora do Concurso de Professor
Assistente do Instituto de Matemática,
Estatística e Ciência da Computação - UNICAMP
- agosto de 1989.
Bancas de Processos Seletivos fora do IMEUSP
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor do Curso de Sistemas de Informação da
USP Leste -
9 a 12 de janeiro de 2007.
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor do
Faculdade de Engenharia Elétrica e de Computação da UNICAMP -
3 a 7 de julho de 2006.
Membro suplente da Comissão Julgadora do Processo Seletivo para
Professor Doutor do Curso de Sistemas de Informação da
USP Leste -
12 a 15 de dezembro de 2005.
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor do Curso de Sistemas de Informação da
USP Leste -
20 a 23 de dezembro de 2004.
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor da
Escola Politécnica da USP -
5 a 7 de julho de 2004.
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor do
Instituto de Ciências Matemáticas e de Computação da USP -
15 a 17 de julho de 2003.
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor do
Instituto de Computação da UNICAMP -
12 a 13 de março de 2003.
Membro suplente da Comissão Julgadora do Processo Seletivo para
Professor Doutor do
Instituto de Ciências Matemáticas e de Computação da USP -
21 a 23 de janeiro de 1997.
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor do
Departamento de Matemática Aplicada do Instituto
de Matemática, Estatística e Computação Científica da UNICAMP -
17 e 18 de maio de 2001.
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor da
Escola Politécnica da USP -
1 e 2 de outubro de 1997.
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor da
Escola Politécnica da USP -
18 e 19 de fevereiro de 1997.
Membro da Comissão Julgadora do Processo Seletivo para
Professor Doutor do
Instituto de Ciências Matemáticas de São Carlos da USP -
21 a 23 de janeiro de 1997.
Bancas de exames de qualificação
Danielle Passos de Ruchkys,
Doutorado Escola Politécnica da USP -
21/02/2008.
Alexandro Baldassim, Doutorado
IC/UNICAMP - 18/5/2007.