Relatório Anual do Programa de Pós-Graduação. do Departamento de Informática da PUC-Rio

Transcrição

1 Relatório Anual do Programa de Pós-Graduação do Departamento de Informática da PUC-Rio Clarisse Sieckenius de Souza, Professora Titular Coordenadora do Programa Março de 2009 p. 1/73

2 SUMÁRIO QUEM SOMOS?...3 Programa de Mestrado e Doutorado...3 Docentes...4 Discentes...6 Equipe Técnica e Administrativa...6 ESTRUTURA E FUNCIONAMENTO DO PROGRAMA...7 Estrutura Acadêmica...7 Estrutura Administrativa...9 Credenciamento de Docentes...9 Recursos Institucionais e Fontes de Financiamento...10 Aportes da PUC-Rio...10 Aportes da CAPES PROEX...10 Aportes de Outras Agências Oficiais de Fomento à Pesquisa...11 Aportes de Parcerias e Convênios...11 Infraestrutura de Laboratórios, Equipamentos e Redes de Computadores...11 DESEMPENHO DO PROGRAMA EM Titulação de Mestres e Doutores...15 Mestres...15 Doutores...22 Publicações de Docentes e Discentes...25 Artigos Completos em Anais de Eventos Científicos...25 Artigos em Periódicos...42 Artigos em Jornais ou Revistas...46 Capítulos de Livros...46 Coletâneas...48 Livros...48 Resumos de Artigos em Anais de Eventos Científicos...48 Projetos...51 Projetos de Pesquisa e Desenvolvimento - Através de Auxílios Individuais...51 Projetos de Pesquisa e Desenvolvimento - Integrados...57 Projetos de Pesquisa e Desenvolvimento - Patrocinados...58 Projetos de Pesquisa e Desenvolvimento - Não Patrocinados...69 Intercâmbios Institucionais...70 Prêmios e Distinções...71 SOLIDARIEDADE, NUCLEAÇÃO E VISIBILIDADE...72 p. 2/73

3 Quem somos? Relatório Anual Informática, PUC Rio Ano 2008 O Departamento de Informática (DI) foi criado no final de 1967, como parte de um esforço de várias instituições para inaugurar, no Brasil, a própria área de pesquisa, formação de recursos humanos e atividade econômica hoje denominada pluralmente de Informática, Computação, ou Sistemas de Informação (veja a cronologia do DI em página do projeto Memória da PUC Rio). Em 2008, aos 41 anos de sua criação, o DI tem cerca de 800 alunos e um quadro de 25 de tempo integral e 44 professores horistas. Oferece três programas de graduação (Engenharia da Computação, Bacharelado em Sistemas de Informação e Ciência da Computação) e um programa de pós graduação com Mestrado Acadêmico e Doutorado avaliado com nota máxima da CAPES. Programa de Mestrado e Doutorado O Programa de Pós Graduação do Departamento de Informática da PUC Rio (PG DI) persegue, desde a sua criação em 1967, a dinâmica do grau de excelência. A missão do PG DI é formar docentes e pesquisadores com uma ampla e sólida base de conhecimentos, capacitados a evoluir continuamente e aptos a responder, com competência digna de reconhecimento, ao compromisso de desenvolvimento de linhas de ação e de pesquisa em áreas inovadoras e cruciais do campo da ciência e da tecnologia. Os objetivos do PG DI se articulam em torno da qualidade de seus recursos humanos e de seus processos de formação e pesquisa. Sua diretriz primária é a superação constante, fundada em quatro pilares que sustentam seus níveis de excelência: I. Qualificação e notoriedade do corpo docente; II. Produção intelectual em quantidade e qualidade notáveis; III. Formação de recursos humanos em quantidade e qualidade notáveis; e IV. Volume de projetos de pesquisa com parceiros de diversos segmentos da vida social brasileira e internacional. Para o atingimento desta meta concorrem, de maneira importante, os seguintes fatores: Avaliação contínua do quadro docente, pelo próprio programa (através da Comissão de Carreira Docente do DI) e pela universidade (através da Comissões Setorial e Central de Carreira Docente da PUC Rio); Avaliação contínua do quadro discente, pela Comissão de Pós Graduação; Utilização de processos de incentivo e gestão da produtividade discente; e Revisão periódica do planejamento estratégico do DI, com especial atenção para o PG DI, que é o seu carro chefe. p. 3/73

4 Docentes Os docentes permanentes do programa em 2008 são 23: Antonio Furtado Arndt von Staa Bruno Feijó Carlos José Lucena Clarisse de Souza Daniel Schwabe Eduardo Laber Hermann Haeusler Hugo Fuks Julio Cesar Leite Luiz Fernando Soares Marcelo Gattass Marco Antonio Casanova Marcus Poggi Markus Endler Noemi Rodriguez Renato Cerqueira Roberto Ierusalimschy Ruy Milidiu Rubens Nascimento Melo Sergio Lifschitz Simone Barbosa Waldemar Celes Filho Além destes professores, o programa conta com colaboradores, que atuam no Quadro Complementar, coorientando com alguma regularidade alunos de mestrado e doutorado. Os orientadores principais, porém são sempre professores do Quadro Permanente do programa. Em 2008, o Quadro Complementar do PG DI incluía os professores: Alberto Barbosa Raposo Carla Faria Leitão Jean Pierre Briot Paulo Cezar Pinto de Carvalho Raúl Pierre Rantería Ricardo Choren Noya Sergio Colcher Viviane Torres da Silva Dos 23 professores que compuseram o Quadro Permanente do programa em 2008, 17 tinham bolsa de produtividade em pesquisa do CNPq, assim distribuídos. p. 4/73

5 1a Carlos José Lucena 1a Marcelo Gattass (na área de Engenharia) 1b Daniel Schwabe 1c Bruno Feijó 1c Julio Cesar Leite 1c Luiz Fernando Soares 1c Marco Antonio Casanova 1c Clarisse de Souza 1d Eduardo Laber 1d Hugo Fuks 1d Marcus Poggi 1d Roberto Ierusalimschy 2 Hermann Haeusler 2 Markus Endler 2 Noemi Rodriguez 2 Ruy Milidiu 2 Simone Barbosa Vê se que não apenas a maioria do corpo docente tem bolsa de pesquisa, mas também que a maioria destas bolsas de pesquisa estão em nível 1. p. 5/73

6 Discentes Relatório Anual Informática, PUC Rio Ano 2008 Em 2008, o programa conta com um total de 337 alunos, dos quais 40 titularam se mestres no período e 15 titularam se doutores. A proporção de alunos de mestrado e doutorado no total de discentes tem girado nos últimos anos em torno de 30% de doutorado e 70% de mestrado. Em 2008, as estatísticas sobre o TOTAL DO ALUNADO são as seguintes: Percentual de Titulados como MESTRES 12 % Percentual de Titulados como DOUTORES 4 % Percentual de Bolsistas PUC Rio 16 % Percentual de Bolsistas de Fomento (todas as agências) 39 % Percentual de Bolsistas de Fomento CAPES PROEX 14 % Equipe Técnica e Administrativa A PG DI conta com uma equipe de técnicos de suporte para a infraestrutura computacional (3 analistas) e biblioteca (1 bibliotecária). A equipe administrativa diretamente ligada à Coordenação do Programa conta com 2 secretárias. p. 6/73

7 Estrutura e Funcionamento do Programa Relatório Anual Informática, PUC Rio Ano 2008 Estrutura Acadêmica O PG DI está academicamente estruturado em torno de 9 áreas de concentração: * Banco de Dados (BD) * Computação Gráfica (CG) * Engenharia de Software (ES) * Hipertexto e Multimídia (HT MM) * Interação Humano Computador (IHC) * Linguagens de Programação (LP) * Otimização e Raciocínio Automático (APO) * Redes de Computadores e Sistemas Distribuídos (RCSD) * Teoria da Computação (TC) Em torno destas áreas de concentração, desenvolvem se as seguintes linhas de pesquisa: BANCOS DE DADOS (5 linhas) Bancos de dados para e science Bancos de dados para e learning Bancos de dados para bioinformática Esquemas narrativos e cognitivos em domínios de informação Técnicas para projetos conceituais COMPUTAÇÃO GRÁFICA (4 linhas) Animação e realidade virtual Visualização e simulação Jogos e entretenimento digital Processamento de imagem ENGENHARIA DE SOFTWARE (7 linhas) Ambientes de telecolaboração e ensino a distância Desenvolvimento baseado em componentes, linhas de produtos e frameworks Design e implementação orientados a aspectos Engenharia de requisitos Engenharia de software para sistemas multi agentes Processos de software Teste e qualidade de software HIPERTEXTO E MULTIMÍDIA (4 linhas) Aplicações multimídia e hipermídia Engenharia de aplicações para a web Infraestrutura e aplicações de TV digital interativa Web semântica e redes sociais INTERAÇÃO HUMANO COMPUTADOR (6 linhas) Avaliação e design da interação humano computador Comunicação mediada por computador Engenharia semiótica Interfaces inteligentes, sistemas de ajuda de explicação Linguagens de representação e desenvolvimento para usuários leigos Tecnologias e métodos para o ensino de IHC LINGUAGENS DE PROGRAMAÇÃO (4 linhas) Linguagens dinâmicas Máquinas virtuais Projeto e implementação de linguagens de programação Sistemas multi linguagens OTIMIZAÇÃO E RACIOCÍNIO AUTOMÁTICO (5 linhas) Aprendizado de máquina, raciocínio heurístico e probabilístico Engenharia de algoritmos Mineração e busca de informação Otimização e programação matemática Tecnologias da decisão REDES DE COMPUTADORES E SISTEMAS DISTRIBUÍDOS (5 linhas) Programação concorrente e paralela e computação em grade Projeto e implementação de middleware Redes de alta velocidade Redes móveis, computação ubíqua e computação autonômica Serviços de redes de computadores TEORIA DA COMPUTAÇÃO (4 linhas) Algoritmos e complexidade Lógica e semântica de programas Métodos formais para a computação Teoria da prova e prova automática de teoremas p. 7/73

8 Exigências para obtenção do título Para obter o título de Mestre em Ciências em Informática, o aluno deverá: 1. Obter, no mínimo, 24 créditos em disciplinas de pós graduação, dentro dos prazos e exigências para o regime de tempo do aluno. Deste total, o aluno deverá obter, no mínimo, 18 créditos em disciplinas regulares de pós graduação do DI. A cada matrícula, o plano de trabalho do aluno deverá ser aprovado pelo seu orientador ou, na sua falta, pelo coordenador ou vice coordenador de pós graduação. Tal aprovação expressase através da assinatura do orientador na folha de matrícula do aluno. 2. Ser aprovado, ou obter equivalência, no exame de suficiência para leitura e compreensão de textos em inglês, correspondente à disciplina LET3101 Exame de Língua Estrangeira: Suficiência de Leitura em Inglês, dentro dos prazos estabelecidos. 3. Cursar e ser aprovado nas seguintes disciplinas obrigatórias, dentro dos prazos estabelecidos: INF2061 Seminários; INF2102 Projeto Final de Programação; INF2926 Projeto e Análise de Algoritmos; e uma disciplina classificada como de base matemática. 4. Apresentar, defender e ter aprovada a sua proposta de dissertação, correspondente à disciplina INF3006 Exame de Proposta de Dissertação, dentro dos prazos estabelecidos. 5. Apresentar, defender e ter aprovada a sua dissertação de mestrado, correspondente à disciplina INF3000 Dissertação de Mestrado, dentro dos prazos estabelecidos. Para obter o título de Doutor em Ciências Informática, o aluno deverá: 1. Obter um mínimo de 48 créditos em disciplinas de pós graduação, dentro dos prazos e exigências para o regime de tempo do aluno. a. Os alunos de doutorado poderão obter um total de até 24 créditos pelo aproveitamento de disciplinas cursadas no mestrado. b. Do total de 48 créditos, o aluno deverá obter, no mínimo, 18 créditos em disciplinas regulares de pósgraduação do DI, excluindo se os créditos obtidos pelo aproveitamento de disciplinas cursadas no mestrado. A cada matrícula, o plano de trabalho do aluno deverá ser aprovado pelo seu orientador ou, na sua falta, pelo coordenador ou vice coordenador de pós graduação. Tal aprovação expressa se através da assinatura do orientador na folha de matrícula do aluno. 2. Ser aprovado, ou obter equivalência, nos exames de suficiência de leitura e escrita em inglês, correspondentes às disciplinas LET3101 Exame de Língua Estrangeira: Suficiência de Leitura em Inglês e LET3106 Exame de Língua Estrangeira: Suficiência de Leitura e Escrita em Inglês, dentro dos prazos estabelecidos. 3. Ser aprovado em requisito básico de doutorado, correspondente à disciplina INF3002 Requisito Básico para o Doutorado, dentro dos prazos estabelecidos. 4. Ser aprovado na qualificação para o doutorado, correspondente à disciplina INF3004 Exame Qualificação para o Doutorado, dentro dos prazos estabelecidos. 5. Apresentar, defender e ter aprovada a sua proposta de tese, correspondente à disciplina INF3007 Exame de Proposta de Tese, dentro dos prazos estabelecidos. 6. Apresentar, defender e ter aprovada a sua tese de doutorado, correspondente à disciplina INF3001 Tese de Doutorado, dentro dos prazos estabelecidos. p. 8/73

9 Para os alunos que são bolsistas da CAPES e que não são docentes de ensino superior, exige se ainda: 7. Cumprir o estágio de docência. As disciplinas obrigatórias de base matemática do PG DI são as seguintes: INF2118 Computabilidade INF2127 Linguagens Formais e Autômatos INF2217 Lógica e Especificação INF2511 Modelagem Analítica do Desempenho de Sistemas de Computação INF2608 Fundamentos de Computação Gráfica INF2912 Otimização Combinatória Estrutura Administrativa O PG DI tem um Coordenador e um Vice Coordenador. O Coordenador é escolhido pelo Diretor do Departamento e nomeado pelo Reitor da universidade para um mandato renovável de 2 anos. O Vice Coordenador é escolhido entre os integrantes da Comissão de Pós Graduação, constituída por 4 membros eleitos anualmente pela congregação de professores de tempo integral do DI. Uma vez escolhido, o Vice Coordenador tem seu mandato de membro da Comissão de Pós Graduação estendido até o término do mandato do Coordenador. O PG DI tem também uma Comissão de Representantes de Alunos, constituída por 2 ou mais alunos de pósgraduação indicados por seus colegas. Além deles, há um representante dos bolsistas da CAPES, escolhido entre os alunos de doutorado (que permanecem por mais tempo no programa). Devido ao processo de credenciamento de docentes para a pós graduação, instituído em função de regulamentação da CAPES em anos recentes, o Coordenador do programa passou a ter assento na Comissão de Carreira Docente do DI (CCD DI), órgão colegiado cuja função instituída é analisar o desempenho de docentes. No DI é a CCD DI que elabora e executa, junto com o Coordenador, a política de credenciamento de professores. Credenciamento de Docentes A excelência do PG DI, como já dito, está assentada sobre 4 pilares: I. qualificação e notoriedade do corpo docente; II. produção intelectual em quantidade e qualidade notáveis; III. formação de recursos humanos em quantidade e qualidade notáveis; e IV. volume de projetos de pesquisa com parceiros de diversos segmentos da vida social brasileira e internacional (eg. setor industrial e governamental; segmentos da educação, saúde, cultura e meio ambiente; parcerias e colaborações com instituições nacionais e internacionais; dentre muitas outras opções que evoluem constantemente). Para serem e manterem se credenciados, os professores do Quadro Permanente devem contribuir para a superação constante dos níveis de desempenho do programa nestas 4 frentes. Como destacar se (ie. estar acima da média de seus pares) é inerente à própria noção de excelência, a regra geral de credenciamento para o QP é que: o professor tem de se destacar em ao menos dois dos itens que constituem os pilares do programa, e em pelo menos um deles o professor deve contribuir concretamente para superar o desempenho anterior do programa (ie. que seu desempenho deve estar causalmente associado a indicadores de progresso do programa, em processos de avaliação externa, em particular nas avaliações da CAPES). p. 9/73

10 Recursos Institucionais e Fontes de Financiamento O PG DI mantém se em funcionamento graças a uma série de ações e aportes de diversas naturezas. Abaixo destacamos as principais. Detalhes sobre toda a gama de suporte recebida por professores, laboratórios de pesquisa e pelo próprio DI podem ser encontrados em endereços da Internet apontados pelo website do DI. Aportes da PUC-Rio A PUC Rio, como instituição que abriga o programa, é a principal responsável pela sua manutenção. Seu espectro de apoio vai desde o pagamento dos salários de toda a equipe docente, técnica e administrativa, até a provisão do espaço físico e da infraestrutura de ensino e convívio universitário no campus. Destacam se também duas ações de especial importância para o PG DI: a oferta de bolsas de isenção total e parcial de taxas escolares oferecidas pela Vice Reitoria Acadêmica (VRAc) e o repasse para o programa de uma parcela substancial das taxas escolares pagas à PUC Rio pelos alunos do PG DI (ou seus financiadores). Aportes da CAPES PROEX Resumidamente, os investimentos com recursos do programa CAPES/PROEX em 2008 foram: Investimento do Recurso de Capital CAPES/PROEX ,02 Valores Investidos: Atualização da infraestrutura de servidores ,00 Atualização da infraestrutura de backup ,00 Total Capital Investido ,00 Investimento do Recurso de Custeio CAPES/PROEX 360,854,69 Valores Investidos Atualização da infraestrutura de software ,00 Manutenção da infraestrutura de ensino e pesquisa ,00 Funcionamento de laboratórios de ensino e pesquisa ,13 Taxas Escolares ,00 Total Custeio Investido ,13 Bolsas de Estudo (Modalidade I de Jan Dez/2008)* 62 Mensalidades de Doutorado Mod I 377 Mensalidades de Mestrado Mod I * Mensalidades de bolsas pagas diretamente a alunos de Mestrado e Doutorado do Programa p. 10/73

11 Aportes de Outras Agências Oficiais de Fomento à Pesquisa Outras agências e órgão oficiais de fomento à atividade de pesquisa, como CNPq, FAPERJ, FINEP, e assemelhados são responsáveis por inúmeras e variadas iniciativas que apóiam o funcionamento do PG DI. Boa parte delas pode ser apreciada nos projetos de pesquisa relatados em seção específica deste documento. Aqui destacamos apenas os aportes em pagamento de bolsas de estudos para os alunos do programa: CNPq FAPERJ CAPES PROCAD e PICDT Total de 54 bolsas de estudo (48 bolsas de quota do programa + 6 bolsas de projetos de professores) Total de 6 bolsas de estudo Total de 6 bolsas de estudo Aportes de Parcerias e Convênios Através de seus laboratórios temáticos (ver seção abaixo) o PG DI realiza diversas parcerias e convênios que trazem importantes aportes para o programa. Destacam se neste setor uma longa parceria com a Petrobras, através do TeCGraf o maior laboratório temático do DI e as parcerias institucionais realizadas através de linhas específicas de ação do governo, tais como o CAPES PROCAD e CAPES RH TV Digital, realizados com instituições como a UFAL, UFC, UFMS, UFMA, UFPe, UniRio, Unifor e UFRN. O aporte destes parceiros e conveniados se traduz na forma de bolsas de estudo e apoio financeiro para itens de custeio, capital ou infraestrutura, dependendo dos termos específicos de cada contrato. Infraestrutura de Laboratórios, Equipamentos e Redes de Computadores O Departamento de Informática mantém diversos laboratórios para apoio ao ensino de graduação e pósgraduação. Conta ainda com 13 laboratórios temáticos que apóiam o ensino, pesquisa e desenvolvimento em áreas específicas. Tais laboratórios compõem o Instituto de Tecnologias de Software (ITS), órgão diretamente ligado à diretoria do departamento, cujo número de doutores em posição de pesquisadores associados e respectivo espectro de competências seria o suficiente para constituir no mínimo mais dois outros programas de pós graduação. Laboratórios de Ensino e Pesquisa LabDI Laboratório de Graduação do Departamento de Informática, que atende às necessidades de prática computacional das disciplinas do ciclo profissional dos cursos de Engenharia de Computação, Ciência da Computação e Bacharelado em Sistemas de Informação, vinculados ao Departamento de Informática equipamentos: 25 estações Pentium IV 3.2 GHz / 512 MB RAM, dual boot: MS Windows XP e Linux Red Hat Fedora Core 8; 08 estações Pentium IV 2.4 GHz / 512 MB RAM, dual boot: MS Windows XP e Linux Red Hat Fedora Core 8; 47 estações Pentium IV 2.4 GHz / 768 MB RAM, dual boot: MS Windows XP e Linux Red Hat Fedora Core 8; 09 pontos de acesso para laptops; 01 impressora laser HP 4200N; Rede local Fast Ethernet (100 Mbps) com uplink 1 Gbps; p. 11/73

12 Laboratórios para Aulas (salas 546L e 548L), cuja missão é atender às necessidades didáticas de prática em aula das disciplinas do ciclo profissional dos cursos de Engenharia de Computação, Ciência da Computação e Bacharelado em Informática, vinculados ao Departamento de Informática; equipamentos: 41 Core 2 Duo 2.66 GHz, 2 GB de RAM e 21 Quad Core 2.4 GHz, 2 GB de RAM, dual boot: MS Windows XP e Linux Red Hat Fedora Core 8; rede local Fast Ethernet (100 Mbps) com uplink 1 Gbps; Laboratório de Pós Graduação do Departamento de Informática (Lab DI), cuja missão é atender aos alunos de pós graduação, apoiando as atividades de pesquisa regulares do Departamento de Informática; equipamentos: 15 Pentium IV 3.2 GHz, 1 GB de RAM, dual boot: MS Windows XP e Linux Red Hat Fedora Core 8; 10 postos de trabalho para notebook; 01 impressora HP 4100N; rede local Fast Ethernet (100 Mbps) com uplink 1 Gbps; servidores, cuja função é atender às necessidades das tarefas de pesquisa do corpo docente e discente do Departamento de Informática; servidores (mantidos por 3 no breaks): 12 Pentium IV 1.7 GHz (ou maior); 04 Intel Dual Xeon Dual Core 3.0 GHz. 01 Intel Dual Xeon Quad Core 3.0 GHz Backbone da rede do DI: 15 switches (24/48 portas) interligados a 1 Gbps. Além destes laboratórios de ensino e pesquisa, o DI conta também com 12 laboratórios temáticos. O conjunto de laboratórios temáticos congrega cerca de 600 computadores, entre estações de trabalho e servidores, das mais variadas procedências. Possui ainda equipamentos especializados, tais como tablet PC s, quadros brancos inteligentes e estações de visualização, entre outros. Todos estes equipamentos estão ligados à Internet e são renovados com freqüência, garantindo, assim, um ambiente moderno para pesquisa e desenvolvimento. É neste ambiente que se realiza a maioria dos projetos de pesquisa mencionados no Caderno de Projetos deste relatório. Segue se a lista de laboratórios e uma brevíssima descrição da missão de cada um. ICAD Laboratório de CAD Inteligente rio.br A missão do ICAD é criar uma nova geração de sistemas de CAD, no qual o processo de design se associa a técnicas de computação gráfica, inteligência artificial e multimeios. Além disto, o ICAD centraliza pesquisa e desenvolvimento em ambientes virtuais, animação por computador e entretenimento digital, uma área em que o programa tem se destacado bastante em anos recentes. LES Laboratório de Engenharia de Software rio.br A missão do LES é fornecer infra estrutura para a pesquisa aplicada, para o desenvolvimento de ferramentas, para a avaliação de processos, e para o ensino experimental em Engenharia de Software. O LES abriga um expressivo número de alunos de mestrado e doutorado, tendo em vista a constante atratividade que a área exerce não apenas sobre os alunos mais interessados por oportunidades imediatas no mercado de trabalho, quanto por empresas e parceiros do setor produtivo interessados em aumentar a competitividade e a eficiência de seus produtos com o aporte de resultados de pesquisas de ponta em Engenharia de Software. p. 12/73

13 TecMF Laboratório de Tecnologias em Métodos Formais Relatório Anual Informática, PUC Rio Ano rio.br/ A missão do TecMF é realizar pesquisa e desenvolvimento na área de Engenharia de Software com base em métodos formais. Este laboratório tem intensa cooperação com o LES. TeCGraf Laboratório de Tecnologia em Computação Gráfica rio.br A missão do TeCGraf é investigar, propor e implementar ferramentas de desenvolvimento, modelagem matemática, estruturas de dados, algoritmos, e processos de projeto que dão suporte a sistemas gráficos interativos técnico científicos. Este é o maior laboratório temático do Departamento. Sozinho, o TeCGraf tem quase o dobro do número de doutores que tem o Quadro de Docentes Permanentes de nosso programa de pós graduação. O principal parceiro do TeCGraf é a Petrobras, que já completou mais de 20 anos de parceria com o Coordenador do TeCGraf, Prof. Marcelo Gattass. Além disto, o TeCGraf realiza projetos em conjunto com outros departamentos da PUC Rio, entre os quais o de Engenharia Civil (Programa PROEX Nota 6 na CAPES) e o Departamento de Engenharia Mecânica (Programa PROEX Nota 7 na CAPES), cumprindo assim um importantíssimo papel de integração interdepartamental de excelência dentro da PUC Rio. TeleMídia Laboratório de Teleprocessamento e Multimídia rio.br A missão do TeleMídia é oferecer toda a infra estrutura de laboratório para pesquisa e desenvolvimento de projetos nas áreas de Redes de Computadores, Sistemas Distribuídos e Sistemas Multimídia. Em particular, o TeleMídia centraliza a pesquisa em TV Digital feita no departamento, sendo o desenvolvedor do GINGA Middleware Aberto do Sistema Brasileiro de TV Digital (SBTVD). SERG Semiotic Engineering Research Group Lab rio.br A missão do SERG é investigar as contribuições da Semiótica para a área de Interação Humano Computador. A Semiótica, como disciplina que investiga processos de representação, interpretação e comunicação de conteúdos, é centralmente importante para o projeto de interfaces para usuários de aplicações computacionais. Neste laboratório se desenvolveu a Engenharia Semiótica, teoria de Interação Humano Computador que ganhou notoriedade em 2005 com a publicação do livro The semiotic engineering of humancomputer interaction, pela MIT Press, de autoria da fundadora do SERG, Profa. Clarisse Sieckenius de Souza. LAC Laboratory for Advanced Collaboration rio.br A missão do LAC é realizar pesquisa aplicada inovadora nas áreas de ensino e treinamento à distância, computação e colaboração móvel, ambientes virtuais distribuídos, bem como gestão de conhecimento e competências. TecBD Laboratório de Tecnologia de Banco de Dados rio.br A missão do TecBD é realizar pesquisas de ponta na área de Banco de Dados e transferir a tecnologia desenvolvida para parceiros na indústria. LabBio Laboratório de Bioinformática A missão do LabBio é estabelecer infra estrutura e desenvolver sistemas de software na área de Bioinformática. TecWeb Laboratório de Web Engineering rio.br A missão do TecWeb é prover infraestrutura para a pesquisa e o desenvolvimento de Web services. Neste laboratório desenvolvem se as pesquisas de Engenharia para a Web que ganharam notoriedade internacional com o modelo OOHDM, de autoria de seu coordenador, Prof. Daniel Schwabe. p. 13/73

14 LEARN Laboratório de Engenharia de Algoritmos e Redes Neurais rio.br/ A missão do LEARN é prover infraestrutura para a pesquisa e o desenvolvimento nas áreas de sistemas fuzzy, aprendizado por máquina, redes neurais e otimização. Laboratório de LUA A missão do Laboratório LUA é prover infraestrutura para a pesquisa, desenvolvimento, aprimoramento e adaptação a diferentes paradigmas de processamento da linguagem de scripting LUA. Esta linguagem projetou internacionalmente o DI junto à comunidade de desenvolvedores de vários tipos de sistemas. Como se pode verificar no website do Laboratório, dentre os usuários de Lua estão, por exemplo, os desenvolvedores de: SimCity 4, World of Warcraft, Adobe Photoshop Lightroom e até mesmo do software ligado às missões espaciais do Kennedy Space Center. O projeto Lua é coordenado pelo Prof. Roberto Ierusalimschy, criador da linguagem juntamente com o Prof. Waldemar Celes e Dr. Luiz Henrique Figueiredo (IMPA). p. 14/73

15 Desempenho do Programa em 2008 Relatório Anual Informática, PUC Rio Ano 2008 Titulação de Mestres e Doutores Mestres Alexandre Gazola o Título da Dissertação ou Tese: Uma Infra estrutura de Software para Alinhamento de Catálogos Heterogêneos o Data da Defesa: 27/03/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Antonio Luz Furtado; Karin Koogan Breitman o Linha(s) de Pesquisa do Departamento: Bancos de dados para e science,técnicas para projetos conceituais Alexandre Rupert Arpini Skyrme o Título da Dissertação ou Tese: Um Modelo Alternativo para Programação Concorrente em Lua o Data da Defesa: 28/03/2008 o Orientador: Noemi de La Rocque Rodriguez o Componentes da Banca: Noemi de La Rocque Rodriguez; Roberto Ierusalimschy; Ana Lucia de Moura o Linha(s) de Pesquisa do Departamento: Programação concorrente e paralela e computação em grade Algemiro Augusto da Silva Neto o Título da Dissertação ou Tese: Uma abordagem baseada em SPH para animação interativa de águas rasas em jogos. o Data da Defesa: 05/12/2008 o Orientador: Waldemar Celes Filho o Componentes da Banca: Waldemar Celes Filho; Marcelo Gattass; Luiz Henrique de Figueiredo o Linha(s) de Pesquisa do Departamento: Processamento de imagem Ana Carolina Innecco Cantuária de Araújo o Título da Dissertação ou Tese: "Apoio ao design e à interpretação de modelos de interação humano computador representados em MoLIC." o Data da Defesa: 26/03/2008 o Orientador: Simone Diniz Junqueira Barbosa o Componentes da Banca: Simone Diniz Junqueira Barbosa; Clarisse Sieckenius de Souza; Carla Faria Leitão o Linha(s) de Pesquisa do Departamento: Avaliação e design da interação humanocomputador,engenharia semiótica André Luiz Almeida Marins o Título da Dissertação ou Tese: Modelos Conceituais para Proveniência o Data da Defesa: 18/03/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Antonio Luz Furtado; Karin Koogan Breitman o Linha(s) de Pesquisa do Departamento: Técnicas para projetos conceituais p. 15/73

16 Andrew Diniz da Costa o Título da Dissertação ou Tese: Um Sistema Híbrido de Diagnóstico e Recomendação para Sistemas Multi Agentes o Data da Defesa: 03/09/2008 o Orientador: Carlos José Pereira de Lucena o Co Orientador: Viviane Torres da Silva o Componentes da Banca: Carlos José Pereira de Lucena; Ricardo Choren Noya; Firmo Freire o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi agentes Ariane Moraes Bueno o Título da Dissertação ou Tese: Apoiando o designer de IHC na tomada de decisão sobre o design de interfaces extensíveis o Data da Defesa: 28/03/2008 o Orientador: Simone Diniz Junqueira Barbosa o Componentes da Banca: Simone Diniz Junqueira Barbosa; Clarisse Sieckenius de Souza; Luiz Fernando Gomes Soares o Linha(s) de Pesquisa do Departamento: Avaliação e design da interação humanocomputador,linguagens de representação e desenvolvimento para usuários leigos Bruno Schroeder o Título da Dissertação ou Tese: A Graph Based Theorem Proving Platform with Strategies. o Data da Defesa: 13/08/2008 o Orientador: Edward Hermann Haeusler o Componentes da Banca: Edward Hermann Haeusler; Geiza Maria Hamazaki da Silva; Mario Roberto Folhadela Benevides o Linha(s) de Pesquisa do Departamento: Teoria da prova e prova automática de teoremas Carlos Eduardo Lara Augusto o Título da Dissertação ou Tese: Uma Infra Estrutura para a Execução Distribuída de Componentes de Software. o Data da Defesa: 03/09/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Noemi de La Rocque Rodriguez; Markus Endler; Antônio Tadeu de Azevedo Gomes o Linha(s) de Pesquisa do Departamento: Sistemas multi linguagens Cynthia Luiza Rigo Moisés o Título da Dissertação ou Tese: Fidedignidade em Sistemas Multi Agentes Abertos: Uma Abordagem através de Contratos. o Data da Defesa: 27/06/2008 o Orientador: Arndt von Staa o Co Orientador: Jean Pierre Briot o Componentes da Banca: Arndt von Staa; Carlos José Pereira de Lucena; Renato Fontoura de Gusmão Cerqueira Diogo Silveira Mendonça o Título da Dissertação ou Tese: Análise probabilística de semântica latente aplicada a sistemas de recomendação. o Data da Defesa: 12/09/2008 o Orientador: Ruy Luiz Milidiú o Componentes da Banca: Ruy Luiz Milidiú; Marcus Vinicius Soledade Poggi de Aragão; Daniel Schwabe o Linha(s) de Pesquisa do Departamento: Algoritmos e complexidade p. 16/73

17 Edson Andrade de Moraes o Título da Dissertação ou Tese: Utilização de uma estratégia para identificação de fontes de informação na fase de elicitação. o Data da Defesa: 29/05/2008 o Orientador: Julio Cesar Sampaio do Prado Leite o Componentes da Banca: Julio Cesar Sampaio do Prado Leite; Hugo Fuks; Simone Diniz Junqueira Barbosa o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi agentes Eduardo Pilla Portilho o Título da Dissertação ou Tese: Um Estudo de Técnicas Para a Adaptação de Componentes de Software em Java o Data da Defesa: 04/04/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Noemi de La Rocque Rodriguez; Markus Endler o Linha(s) de Pesquisa do Departamento: Desenvolvimento baseado em componentes, linhas de produtos e frameworks Elder José Reioli Cirilo o Título da Dissertação ou Tese: GenArch: Uma Ferramenta Baseada em Modelos para Derivação de Produtos de Software o Data da Defesa: 11/04/2008 o Orientador: Carlos José Pereira de Lucena o Co Orientador: Uirá Kulesza o Componentes da Banca: Carlos José Pereira de Lucena; Uirá Kulesza; Arndt von Staa; Ivan Mathias Filho o Linha(s) de Pesquisa do Departamento: Desenvolvimento baseado em componentes, linhas de produtos e frameworks Fábio Wanderley Guerra o Título da Dissertação ou Tese: Engenharia de Estórias: Um estudo sobre a geração e narração automática de estórias o Data da Defesa: 28/03/2008 o Orientador: Antonio Luz Furtado o Componentes da Banca: Antonio Luz Furtado; Marco Antonio Casanova; Bruno Feijó o Linha(s) de Pesquisa do Departamento: Esquemas narrativos e cognitivos em domínios de informação Felipe Albuquerque Portella o Título da Dissertação ou Tese: Um serviço de captura e acesso para espaços ativos. o Data da Defesa: 11/04/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Luiz Fernando Gomes Soares; Markus Endler o Linha(s) de Pesquisa do Departamento: Linguagens dinâmicas Geraldo da Silva Rocha Netto o Título da Dissertação ou Tese: Escalonamento Flexível de Workflows com Restrições Temporais o Data da Defesa: 15/04/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Antonio Luz Furtado; Melissa Lemos Cavaliere o Linha(s) de Pesquisa do Departamento: Engenharia de algoritmos p. 17/73

18 Gustavo Costa Gomes Moreira o Título da Dissertação ou Tese: Reconhecedor de Objetos em Vídeos Digitais para Aplicações Interativas o Data da Defesa: 22/08/2008 o Orientador: Bruno Feijó o Componentes da Banca: Bruno Feijó; Marcelo de Andrade Dreux; Raul Queiroz Feitosa o Linha(s) de Pesquisa do Departamento: Processamento de imagem Ian Monteiro Nunes o Título da Dissertação ou Tese: Agrupamento de registros textuais baseado em similaridade entre textos o Data da Defesa: 04/04/2008 o Orientador: Ruy Luiz Milidiú o Componentes da Banca: Ruy Luiz Milidiú; Rubens Nascimento Melo; Marco Antonio Casanova o Linha(s) de Pesquisa do Departamento: Aprendizado de máquina, raciocínio heurístico e probabilístico Jordan Janeiro Lopes da Silva o Título da Dissertação ou Tese: Um Protocolo Sensível ao Contexto para Adaptação Coordenada de Serviços de Comunicação em Redes sem Fio. o Data da Defesa: 05/05/2008 o Orientador: Markus Endler o Componentes da Banca: Markus Endler; Noemi de La Rocque Rodriguez; Antônio Tadeu de Azevedo Gomes o Linha(s) de Pesquisa do Departamento: Redes móveis, computação ubíqua e computação autonômica Klessis Lopes Dias o Título da Dissertação ou Tese: Um Framework Orientado a Aspectos para Monitoramento e Análise de Processos de Negócio o Data da Defesa: 10/04/2008 o Orientador: Carlos José Pereira de Lucena o Co Orientador: Uirá Kulesza o Componentes da Banca: Carlos José Pereira de Lucena; Uirá Kulesza; Firmo Freire; Ricardo Choren Noya o Linha(s) de Pesquisa do Departamento: Design e implementação orientados a aspectos Leandro dos Santos Nazareth o Título da Dissertação ou Tese: Sistema para Consultas sobre Banco de Dados Relacional Baseado em Palavras Chave o Data da Defesa: 04/04/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Antonio Luz Furtado; Melissa Lemos Cavaliere o Linha(s) de Pesquisa do Departamento: Técnicas para projetos conceituais Leonardo Sant'Anna Antunes Maciel o Título da Dissertação ou Tese: Um Estudo sobre Instrumentação da Máquina Virtual de Lua para Análise de Desempenho o Data da Defesa: 24/09/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Noemi de La Rocque Rodriguez; Roberto Ierusalimschy o Linha(s) de Pesquisa do Departamento: Redes móveis, computação ubíqua e computação autonômica p. 18/73

19 Luiz Marques Afonso o Título da Dissertação ou Tese: Um Estudo Sobre Contratos em Sistemas de Componentes de Software o Data da Defesa: 10/09/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Noemi de La Rocque Rodriguez; Edward Hermann Haeusler; Jean Pierre Briot o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi agentes Marcos Cesar da Silva o Título da Dissertação ou Tese: Uma arquitetura de software para mediação flexível de Web services o Data da Defesa: 29/07/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Melissa Lemos Cavaliere; Karin Koogan Breitman o Linha(s) de Pesquisa do Departamento: Serviços de redes de computadores Marco Serpa Molinaro o Título da Dissertação ou Tese: Algoritmos Aproximativos para o Problema de Atribuição de Hotlinks e para Busca Binária em Árvores o Data da Defesa: 28/03/2008 o Orientador: Eduardo Sany Laber o Componentes da Banca: Eduardo Sany Laber; Jayme Luiz Szwarcfiter; Valmir Carneiro Barbosa; Marcus Vinicius Soledade Poggi de Aragão o Linha(s) de Pesquisa do Departamento: Algoritmos e complexidade Maria Claudia Roenick o Título da Dissertação ou Tese: A implementação de um módulo HIP na ferramenta de simulação OMNeT++ para avaliação de desempenho de handoff. o Data da Defesa: 10/04/2008 o Orientador: Sérgio Colcher o Componentes da Banca: Sérgio Colcher; Markus Endler; Luiz Fernando Gomes Soares o Linha(s) de Pesquisa do Departamento: Serviços de redes de computadores Maurício A. Lage Ferreira o Título da Dissertação ou Tese: Vigilância e Monitoramento em Tempo Real de Veículos em Rodovias com Câmeras Não Calibradas o Data da Defesa: 20/06/2008 o Orientador: Marcelo Gattass o Componentes da Banca: Marcelo Gattass; Luiz Henrique de Figueiredo; Jose Reynaldo Anselmo Setti; Waldemar Celes Filho o Linha(s) de Pesquisa do Departamento: Animação e realidade virtual Pablo Carneiro Elias o Título da Dissertação ou Tese: Calibração e Posicionamento de Câmera Utilizando Fotos e Modelos de Edificações o Data da Defesa: 28/04/2008 o Orientador: Marcelo Gattass o Componentes da Banca: Marcelo Gattass; Waldemar Celes Filho; Alberto Barbosa Raposo; Asla Medeiros e Sá o Linha(s) de Pesquisa do Departamento: Visualização e simulação,processamento de imagem p. 19/73

20 Pedro de Moura Cunha o Título da Dissertação ou Tese: Planejamento Tático no Transporte Rodoviário de Cargas Fracionadas: Modelos e Algoritmos o Data da Defesa: 14/04/2008 o Orientador: Marcus Vinicius Soledade Poggi de Aragão o Componentes da Banca: Marcus Vinicius Soledade Poggi de Aragão; Ruy Luiz Milidiú; Haroldo Gambini Santos o Linha(s) de Pesquisa do Departamento: Tecnologias da decisão Rafael Machado da Rocha o Título da Dissertação ou Tese: Um Framework para Simulação da Negociação de Serviços em Redes Sem Fio de Nova Geração o Data da Defesa: 03/04/2008 o Orientador: Carlos José Pereira de Lucena o Componentes da Banca: Carlos José Pereira de Lucena; Hugo Fuks; Firmo Freire o Linha(s) de Pesquisa do Departamento: Desenvolvimento baseado em componentes, linhas de produtos e frameworks Ricardo Augusto Boiteux Mendes Leal o Título da Dissertação ou Tese: Teste Funcional baseado em Modelos Gramaticais o Data da Defesa: 17/03/2008 o Orientador: Arndt von Staa o Componentes da Banca: Arndt von Staa; Carlos José Pereira de Lucena; Renato Fontoura de Gusmão Cerqueira o Linha(s) de Pesquisa do Departamento: Teste e qualidade de software Ricardo Gomes Clemente o Título da Dissertação ou Tese: Uma arquitetura para processamento de eventos de log em tempo real. o Data da Defesa: 21/08/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Karin Koogan Breitman ; Marcelo Tilio Monteiro de Carvalho o Linha(s) de Pesquisa do Departamento: Bancos de dados para e science Ricardo Niederberger Cabral o Título da Dissertação ou Tese: Um estudo de recomendadores baseados em conteúdo e redes sociais o Data da Defesa: 28/11/2008 o Orientador: Daniel Schwabe o Componentes da Banca: Daniel Schwabe; Ruy Luiz Milidiú; Marcus Vinicius Soledade Poggi de Aragão o Linha(s) de Pesquisa do Departamento: Aplicações multimídia e hipermídia Roberto Pereira Cavalcante o Título da Dissertação ou Tese: Filtragem Colaborativa aplicada a Publicidade Direcionada o Data da Defesa: 03/04/2008 o Orientador: Ruy Luiz Milidiú o Componentes da Banca: Ruy Luiz Milidiú; Marcus Vinicius Soledade Poggi de Aragão; Daniel Schwabe o Linha(s) de Pesquisa do Departamento: Aprendizado de máquina, raciocínio heurístico e probabilístico p. 20/73

21 Sérgio Ciglione de Azevedo o Título da Dissertação ou Tese: MASSES (Sistema de Multi Agente para Simulação de Negociação de Ações). o Data da Defesa: 10/09/2008 o Orientador: Carlos José Pereira de Lucena o Componentes da Banca: Carlos José Pereira de Lucena; Ruy Luiz Milidiú; Ricardo Choren Noya o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi agentes Sinisa Kolaric o Título da Dissertação ou Tese: Rumo à manipulação direta espacial de objetos virtuais 3D usando rastreamento baseado em visão e no reconhecimento de gestos de mãos sem marcadores. o Data da Defesa: 28/03/2008 o Orientador: Marcelo Gattass o Co Orientador: Alberto Barbosa Raposo o Componentes da Banca: Marcelo Gattass; Alberto Barbosa Raposo; Simone Diniz Junqueira Barbosa; Paulo Cezar Pinto de Carvalho o Linha(s) de Pesquisa do Departamento: Visualização e simulação Thiago Costa Ponte o Título da Dissertação ou Tese: LuaCharm: Um modelo híbrido utilizando linguagens de script para programação paralela o Data da Defesa: 07/04/2008 o Orientador: Noemi de La Rocque Rodriguez o Componentes da Banca: Noemi de La Rocque Rodriguez; Roberto Ierusalimschy; Renato Fontoura de Gusmão Cerqueira o Linha(s) de Pesquisa do Departamento: Projeto e implementação de linguagens de programação Thiago de Almeida Bastos o Título da Dissertação ou Tese: Campos de Distância Amostrados Adaptativamente com Aceleração por Placa Gráfica o Data da Defesa: 05/03/2008 o Orientador: Waldemar Celes Filho o Componentes da Banca: Waldemar Celes Filho; Marcelo Gattass; Thomas Lewiner o Linha(s) de Pesquisa do Departamento: Visualização e simulação Tulio Jorge A. N. S. Anibolete o Título da Dissertação ou Tese: Boosting para Sistemas de Recomendação o Data da Defesa: 29/08/2008 o Orientador: Ruy Luiz Milidiú o Componentes da Banca: Ruy Luiz Milidiú; Daniel Schwabe; Marcus Vinicius Soledade Poggi de Aragão o Linha(s) de Pesquisa do Departamento: Otimização e programação matemática Vitor Medina Cruz o Título da Dissertação ou Tese: Ginga NCL para Dispositivos Portáteis. o Data da Defesa: 13/06/2008 o Orientador: Luiz Fernando Gomes Soares o Componentes da Banca: Luiz Fernando Gomes Soares; Guido Lemos de Souza Filho; Renato Fontoura de Gusmão Cerqueira o Linha(s) de Pesquisa do Departamento: Serviços de redes de computadores p. 21/73

22 Doutores Relatório Anual Informática, PUC Rio Ano 2008 Aletéia Patrícia Favacho de Araújo o Título da Dissertação ou Tese: Paralelização Autonômica de Metaheurísticas em Ambientes de Grid o Data da Defesa: 07/04/2008 o Orientador: Celso da Cruz Carneiro Ribeiro o Co Orientador: Eugene Francis Vinod Rebello o Componentes da Banca: Celso da Cruz Carneiro Ribeiro; Sérgio Lifschitz; Renato Fontoura de Gusmão Cerqueira; Simone de Lima Martins; Mário Antônio Ribeiro Dantas; Edson Norberto Cáceres o Linha(s) de Pesquisa do Departamento: Aprendizado de máquina, raciocínio heurístico e probabilístico Alexandre Rocha Duarte o Título da Dissertação ou Tese: Atribuição de árbitros em competições esportivas: Algoritmos e aplicações mono e multi critério o Data da Defesa: 05/09/2008 o Orientador: Celso da Cruz Carneiro Ribeiro o Componentes da Banca: Celso da Cruz Carneiro Ribeiro; Edward Hermann Haeusler; Sérgio Lifschitz; Jayme Luiz Szwarcfiter; Simone de Lima Martins; Luciana Salete Buriol o Linha(s) de Pesquisa do Departamento: Otimização e programação matemática Anolan Yamilé Milanés Barrientos o Título da Dissertação ou Tese: Suporte de linguagens de programação para migração heterogênea de computações. o Data da Defesa: 11/07/2008 o Orientador: Noemi de La Rocque Rodriguez o Co Orientador: Roberto Ierusalimschy o Componentes da Banca: Noemi de La Rocque Rodriguez; Roberto Ierusalimschy; Renato Fontoura de Gusmão Cerqueira; Edward Hermann Haeusler; Andre Luís de Medeiros Santos; Marco Túlio de Oliveira Valente o Linha(s) de Pesquisa do Departamento: Engenharia de algoritmos Antonio de Padua Albuquerque Oliveira o Título da Dissertação ou Tese: Engenharia de Requisitos Intencional: Um Método de Elicitação, Modelagem e Análise de Requisitos. o Data da Defesa: 27/03/2008 o Orientador: Julio Cesar Sampaio do Prado Leite o Co Orientador: Luiz Marcio Cysneiros o Componentes da Banca: Julio Cesar Sampaio do Prado Leite; Luiz Marcio Cysneiros; Carlos José Pereira de Lucena; Simone Diniz Junqueira Barbosa; Jaelson Freire Brelaz de Castro; Vera Maria Benjamim Werneck o Linha(s) de Pesquisa do Departamento: Engenharia de requisitos Carolina Howard Felicissimo o Título da Dissertação ou Tese: An Approach to Operationalize Regulative Norms in Multiagent Systems. o Data da Defesa: 13/08/2008 o Orientador: Carlos José Pereira de Lucena o Co Orientador: Jean Pierre Briot o Componentes da Banca: Carlos José Pereira de Lucena; Firmo Freire; Simone Diniz Junqueira Barbosa; Evandro de Barros Costa; Vera Maria Benjamim Werneck; Jean Pierre Briot o Linha(s) de Pesquisa do Departamento: Engenharia de requisitos p. 22/73

23 Cláudio Nogueira Sant'Anna o Título da Dissertação ou Tese: On the Modularity of Aspect Oriented Design: A Concern Driven Measurement Approach o Data da Defesa: 11/04/2008 o Orientador: Carlos José Pereira de Lucena o Co Orientador: Alessandro Fabricio Garcia o Componentes da Banca: Carlos José Pereira de Lucena; Alessandro Fabricio Garcia; Arndt von Staa; Julio Cesar Sampaio do Prado Leite; Itana Maria de Souza Gimenes; Paulo Cesar Masieiro o Linha(s) de Pesquisa do Departamento: Design e implementação orientados a aspectos Daniela Francisco Brauner o Título da Dissertação ou Tese: Alinhamento de esquemas baseado em instâncias. o Data da Defesa: 09/06/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Karin Koogan Breitman ; Ruy Luiz Milidiú; Carlos José Pereira de Lucena; Claudia Maria Bauzer Medeiros ; Vania Maria Ponte Vidal o Linha(s) de Pesquisa do Departamento: Bancos de dados para e science Denise Del Re Filippo o Título da Dissertação ou Tese: Suporte à coordenação em Sistemas Colaborativos: uma pesquisa ação com aprendizes e mediadores atuando em fóruns de discussão de um curso a distância o Data da Defesa: 26/03/2008 o Orientador: Hugo Fuks o Componentes da Banca: Hugo Fuks; Carlos José Pereira de Lucena; Alberto Barbosa Raposo; Mariano Gomes Pimentel; Marco Aurélio Gerosa o Linha(s) de Pesquisa do Departamento: Ambientes de telecolaboração e ensino a distância José Maria da Silva Monteiro Filho o Título da Dissertação ou Tese: Uma Abordagem Não Intrusiva para a Manutenção Automática do Projeto Físico de Bancos de Dados o Data da Defesa: 09/10/2008 o Orientador: Sérgio Lifschitz o Componentes da Banca: Sérgio Lifschitz; Rubens Nascimento Melo; Antonio Luz Furtado; Javam de Castro Machado; Caetano Traina Junior o Linha(s) de Pesquisa do Departamento: Bancos de dados para bioinformática Lorenza Leão Oliveira Moreno o Título da Dissertação ou Tese: On Routing Problems with Splittable Demands o Data da Defesa: 15/09/2008 o Orientador: Marcus Vinicius Soledade Poggi de Aragão o Co Orientador: Eduardo Uchoa Barboza o Componentes da Banca: Marcus Vinicius Soledade Poggi de Aragão; Eduardo Uchoa Barboza; Ruy Luiz Milidiú; Luiz Satoru Ochi; Alexandre Street de Aguiar; Carlos Alberto de Jesus Martinhon o Linha(s) de Pesquisa do Departamento: Engenharia de algoritmos Marcelo Ferreira Moreno o Título da Dissertação ou Tese: Gerenciamento de recursos dirigido por modelos: Adaptabilidade e Interoperabilidade no suporte a QoS fim a fim o Data da Defesa: 08/04/2008 o Orientador: Luiz Fernando Gomes Soares o Componentes da Banca: Luiz Fernando Gomes Soares; Sérgio Colcher; Renato Fontoura de Gusmão Cerqueira; Antônio Augusto Medeiros Frölich; José Ferreira de Rezende o Linha(s) de Pesquisa do Departamento: Serviços de redes de computadores p. 23/73

24 Marcos de Carvalho Machado o Título da Dissertação ou Tese: Geração de Malhas de Falhas em Dados Sísmicos por Aprendizado Competitivo o Data da Defesa: 14/03/2008 o Orientador: Marcelo Gattass o Componentes da Banca: Marcelo Gattass; Ruy Luiz Milidiú; Marley Maria Bernardes Rebuzzi Vellasco; Paulo Cezar Pinto de Carvalho; Paulo Marcos de Carvalho; Paulo Roma Cavalcanti o Linha(s) de Pesquisa do Departamento: Visualização e simulação Roberta de Souza Coelho o Título da Dissertação ou Tese: Analyzing Exception Flows of Aspect Oriented Programs o Data da Defesa: 11/06/2008 o Orientador: Arndt von Staa o Componentes da Banca: Arndt von Staa; Paulo Cesar Masieiro; Paulo Henrique Monteiro Borba; Carlos José Pereira de Lucena; Renato Fontoura de Gusmão Cerqueira o Linha(s) de Pesquisa do Departamento: Bancos de dados para bioinformática Thiago Ferreira Noronha o Título da Dissertação ou Tese: Algoritmos para Problemas de Otimização Aplicados a Roteamento e Atribuição de Comprimentos de Onda o Data da Defesa: 05/09/2008 o Orientador: Celso da Cruz Carneiro Ribeiro o Componentes da Banca: Celso da Cruz Carneiro Ribeiro; Carlos José Pereira de Lucena; Edward Hermann Haeusler; Cid Carvalho de Souza; Luciana Salete Buriol; Simone de Lima Martins o Linha(s) de Pesquisa do Departamento: Otimização e programação matemática Vinicius da Silva Almendra o Título da Dissertação ou Tese: Um estudo de identificação de fraudadores em mercados eletrônicos através da computação humana. o Data da Defesa: 18/09/2008 o Orientador: Daniel Schwabe o Componentes da Banca: Daniel Schwabe; Marco Antonio Casanova; Eduardo Sany Laber; Ana Cristina Bicharra Garcia; Ricardo Miyashita o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi agentes p. 24/73