Defesa de Tese de Doutorado do aluno Francisco Sergio de Freitas Filho.
Título da tese: “Aprendizado com Restrição de Tempo: Problemas de Classificação”
Resumo: Com a crescente quantidade de dados sendo gerados e coletados, torna-se mais comum cenários em que se dispõe de dados rotulados em larga escala, mas com recursos computacionais limitados, de modo que não seja possível treinar modelos preditivos utilizando todas as amostras disponíveis. Diante dessa realidade,adotamos o paradigma de Machine Teaching como uma alternativa para obter modelos eficazes utilizando um subconjunto representativo dos dados disponíveis.Inicialmente, consideramos um problema central da área de Machine Teaching que consiste em encontrar o menor conjunto de amostras necessário para obter uma dada hipótese alvo h*. Adotamos o modelo de ensino black-box learner introduzido em (DASGUPTA et al., 2019), em que o ensino é feito interativamente sem qualquer conhecimento sobre o algoritmo do \textit{learner} e sua classe de hipóteses, exceto que ela contém a hipótese alvo h*. Refinamos alguns resultados existentes para esse modelo e estudamos variantes dele. Em particular, estendemos um resultado de(DASGUPTA et al., 2019) para o cenário mais realista em que h* pode não estar contido na classe de hipóteses do learner e, portanto, o objetivo do teacher é fazer o learner convergir para a melhor aproximação disponível de h*. Também consideramos o cenário com black-box learners não adversários e mostramos que podemos obter melhores resultados para o tipo de learner que se move para a Departamento de Informática, PUC-Rio Página 2 de 4 Formulário para Marcação de Defesa – Doutorado Próxima hipótese de maneira suave, preferindo hipóteses que são mais próximas da hipótese atual.Em seguida, abordamos o problema de Aprendizado com Restrição de Tempo considerando um cenário em que temos um enorme conjunto de dados e um limite de tempo para treinar um dado learner usando esse conjunto. Propomos o método TCT, um algoritmo para essa tarefa, desenvolvido com base nos princípios de Machine Teaching. Apresentamos um estudo experimental envolvendo 5 diferentes learners e 20 datasets no qual mostramos que TCT supera métodos alternativos considerados. Finalmente, provamos garantias de aproximação para uma versão simplificada do TCT.
Orientador: Prof. Dr. Eduardo Sany Laber
Co-orientador: Prof Dr. Marco Serpa Molinaro
Banca:
Prof. Dr. Fabio Andre Machado Porto
Prof. Dr. Bianca Zadrozny
Prof. Dr. Edward Hermann Haeusler
Prof. Dr. Diego Parente Paiva Mesquita
Prof. Dr. Jose Alberto Rodrigues Pereira Sardinha
Prof. Dr. Sérgio Colcher
Assista a defesa pelo link: https://puc-rio.zoom.us/j/91012978004?pwd=dS9OWGJ1MlR6QytMVnhkYlpUcGE1QT09
Autor: Francisco Sergio de Freitas Filho
Orientador: Eduardo Sany Laber
Data e Hora: 24/05/2023 às 13:00
No dia 4 de maio, no auditório do RDC, aconteceu o lançamento oficial do livro “Engenharia de Software para Ciência de Dados”.
Durante o evento, o autor Marcos Kalinowski reforçou a necessidade que o mercado tinha de conteúdos como esse e destacou a importância do livro para o contexto Brasileiro, visando a produção de Sistemas de Software Inteligentes com qualidade.
Elaborado com base em evidências científicas e experiências práticas, é internacionalmente o primeiro livro sobre o assunto, com 476 páginas de conteúdo e boas práticas para a construção end-to-end de Sistemas Inteligentes envolvendo Machine Learning.
Os co-autores Tatiana Escovedo, Hugo Villamizar e Hélio Lopes também fizeram considerações, agradecendo a presença dos alunos, ex-alunos e professores, e reforçando a qualidade do conteúdo que o livro oferece.
“Engenharia de Software para Ciência de Dados” está tendo uma ótima resposta de vendas, assumindo a liderança na Amazon na categoria de livros de processamento de dados, logo após o lançamento.
Você pode comprar o livro através do link:
https://www.casadocodigo.com.br/products/livro-escd
Confira abaixo a relação dos capítulos:
Parte I – Introdução à Engenharia de Software e à Ciência de Dados
1 Introdução à Engenharia de Software
2 Introdução à Ciência de Dados
Parte II – Abordagens e Especificação de Sistemas Inteligentes
3 Abordagens para a Engenharia de Sistemas Inteligentes
4 Especificação de Sistemas de Software Inteligentes
Parte III – Programação com Boas Práticas de Projeto e Construção
5 Introdução à Linguagem Python
6 Orientação a Objetos em Python
7 Boas Práticas de Projeto e Construção de Sistemas
Parte IV – Tópicos de Ciência de Dados
8 Análise Exploratória e Visualização de Dados
9 Pré-Processamento de Dados
10 Algoritmos de Machine Learning para Classificação e Regressão
11 Recursos Avançados de Machine Learning
Parte V – Arquitetura, Projeto e Controle da Qualidade
12 Implantação de Modelos de Machine Learning
13 Arquitetura de Sistemas de Software Inteligentes
14 Projeto de Sistemas de Software Inteligentes
15 Controle da Qualidade de Sistemas de Software Inteligentes
16 Gerência de Configuração, DevOps e MLOps em Sistemas Inteligentes
Dia 12 de maio, às 15h, acontecerá o seminário “Propositional proofs compression”, proferido pelo professor Edward Hermann Haeusler. O Seminário será presencial, na sala 511 do RDC.
Seminário da Pós: Propositional proofs compression
Resumo do Seminário: This talk presents a novel compressing propositional proof task and its relevance in solving some computational complexity well-known conjectures.
Conheça o Professor: Edward Hermann Haeusler graduated with a bachelor’s degree in Mathematics (1983 at the University of Brasília. Brazil), he got a Master’s degree in Theoretical Computer Science (1986 at PUC-Rio, Brasil) and a DSc degree in Theoretical Computer Science (1990 at PUC-Rio, Brasil). He spent three post-doctoral stages: 1-BRICS, Aarhus University, Denmark, 1994; 2- Informatics Department, Tuebingen University, Germany, 2003 and INRIA-Paris, France, 2013-2014.
Edward Hermann Haeusler supervised more than 24 PhDs and published more than 70 journal articles in international journals with reviewing. He has been an associate professor at the Department of Informatics, PUC-Rio, since 1996, hired in 1991 as an assistant professor. He was a Brazilian Council for Scientific Research (CNPq) researcher from 1992 to 2020. He is a consultant of FAPERJ and CAPES. He was also the program chair and local chair of more than a dozen international and national conferences and workshops.
His main research fields are theoretical computer science, formal semantics, logic and proof theory. He coordinates TecMF, the Laboratory of Technology on Formal Methods.
Marcos Kalinowski, juntamente com seus co-autores Tatiana Escovedo, Hugo Villamizar e Hélio Lopes, anunciam o evento de lançamento do livro de Engenharia de Software para Ciência de Dados, que acontecerá no dia 04/05 às 18:30 no Auditório do RDC da PUC-Rio. Haverá uma apresentação dos autores sobre a obra, um coquetel de celebração e venda de livros com desconto especial de lançamento no local.
Trata-se internacionalmente do primeiro livro sobre Engenharia de Software para Ciência de Dados.
Com um conteúdo de 476 páginas, o objetivo do livro é consolidar e compartilhar conhecimento para capacitar profissionais interessados ou atuantes em Ciência de Dados na construção de sistemas baseados em Machine Learning end-to-end com as melhores práticas. O livro foi cuidadosamente elaborado a partir de evidências científicas e experiências práticas dos autores em diversos projetos. O livro já tem milhares de pessoas cadastradas na fila de espera e os autores esperam que o material possa ser útil para muitos.
Embora o livro tenha sido escrito em português, é o primeiro a compilar este conhecimento. Sim, dessa vez o Brasil saiu na frente! Já estão em progresso também os trabalhos da versão em inglês, junto com parceiros do Blekinge Institute of Technology, que assim como a PUC-Rio, possui uma iniciativa distinta de cooperação com a indústria na interseção entre estas áreas.
Confira a relação dos capítulos:
Parte I – Introdução à Engenharia de Software e à Ciência de Dados
1 Introdução à Engenharia de Software
2 Introdução à Ciência de Dados
Parte II – Abordagens e Especificação de Sistemas Inteligentes
3 Abordagens para a Engenharia de Sistemas Inteligentes
4 Especificação de Sistemas de Software Inteligentes
Parte III – Programação com Boas Práticas de Projeto e Construção
5 Introdução à Linguagem Python
6 Orientação a Objetos em Python
7 Boas Práticas de Projeto e Construção de Sistemas
Parte IV – Tópicos de Ciência de Dados
8 Análise Exploratória e Visualização de Dados
9 Pré-Processamento de Dados
10 Algoritmos de Machine Learning para Classificação e Regressão
11 Recursos Avançados de Machine Learning
Parte V – Arquitetura, Projeto e Controle da Qualidade
12 Implantação de Modelos de Machine Learning
13 Arquitetura de Sistemas de Software Inteligentes
14 Projeto de Sistemas de Software Inteligentes
15 Controle da Qualidade de Sistemas de Software Inteligentes
16 Gerência de Configuração, DevOps e MLOps em Sistemas Inteligentes
Esperamos vocês no lançamento!
Defesa de Dissertação de Mestrado do aluno Daniel Cesar Bosco de Miranda.
Título da Dissertação: Vision Transformers e Masked Autoencoders para segmentação de fácies sísmicas
Resumo: Desde a introdução dos Vision Transformers (ViT) no campo da visão computacional, esta arquitetura de Deep Learning (DL) e suas variantes têm obtido resultados de ponta em uma variedade de tarefas, superando as bem estabelecidas Convolutional Neural Networks (CNN). No entanto, sua aplicação à interpretação de dados sísmicos ainda está no começo. A ViT leva em conta a interação de longo alcance entre todas as partes de uma imagem de entrada e não tem a limitação de campos receptivos como as CNNs, que podem ser importantes para distinguir sutilezas na interpretação de dados sísmicos. Para avaliar isso, exploramos a segmentação semântica de dados sísmicos no Bloco F3, usando o benchmark realizado com CNNs por Alaudah et al. (2019) como referência. Em vez da tradicional arquitetura com encoder e decoder convolucionais, usamos um encoder ViT com um decoder convolucional simples, a arquitetura Segmentation Transformer (Zheng et al. 2021).A maneira padrão de usar uma arquitetura DL é pegar os pesos da rede do pré-treinada na tarefa de classificação do ImageNet e ajustar os pesos aos nossos dados e tarefas. Mas o recente progresso do Aprendizado auto-supervisionado permitiu o treinamento de Redes Neurais Profundas sem a necessidade de dados rotulados, o que é uma excelente oportunidade para explorar o potencial dos dados sísmicos. Para também avaliar o impacto dessa inovação na interpretação sísmica, neste trabalho pré-treinamos um ViT com três conjuntos de dados sísmicos usando uma técnica denominada Masked Autoencoders (He et al. 2022). Avaliamos o valor desse pré-treinamento comparando os ganhos na segmentação semântica do Bloco F3.
Orientador: Prof. Dr. Marcelo Gattass
Banca:
Prof. Dr. Alberto Barbosa Raposo
Prof. Dr. Aristófanes Corrêa Silva
Prof. Dr. Marcos de Carvalho Machado
Prof. Dr. Jan Jose Hurtado Jauregui
Assista a defesa pelo link https://puc-rio.zoom.us/j/94359396477?pwd=eFZkMi8wWTBCU3BpKzZMTStucUxnUT09
No início deste ano, o Departamento de Informática da PUC-Rio contratou três novos professores pesquisadores. Conheça um pouco mais sobre suas formações, áreas de atuação, interesses e pesquisas.
Paulo Ivson: Doutor e Mestre em Informática, com foco em Computação Gráfica, tendo se graduado em Engenharia de Computação pela PUC-Rio. Em 2023, assumiu o cargo de professor do quadro principal do Departamento de Informática da PUC-Rio, tendo atuado por mais de 18 anos como pesquisador da universidade em projetos de P&D&I com a indústria. Paulo Ivson possui produções científicas em conferências e periódicos nacionais e internacionais nas áreas de Visualização, Renderização em Tempo Real, Computer-Aided Design (CAD), Building Information Modeling (BIM) e Sistemas de Produção Lean.
Sua pesquisa atual busca combinar técnicas inovadoras de Computação Gráfica e Inteligência Artificial para aplicações de engenharia. Além de ser professor do Departamento de Informática da PUC-Rio, Paulo Ivson atua também no Instituto Tecgraf da universidade, onde participa de projetos de P&D&I produzindo softwares técnico-científicos para as indústrias de Óleo e Gás, Construção Civil, Manufatura e Logística. Os projetos envolvem colaborações com demais professores e órgãos da PUC-Rio como, por exemplo, os departamentos de Informática, Engenharia Elétrica, Engenharia Industrial e Engenharia Civil, além de startups do Instituto Gênesis. Nesta atuação, Paulo Ivson promove a pesquisa e desenvolvimento de tecnologias inovadoras baseadas em conceitos da Indústria 4.0 e Building Information Modeling (BIM), como Gêmeos Digitais, com o objetivo de tornar mais eficientes e ecossustentáveis as etapas de projeto, construção e gestão do ciclo de vida de ativos. As pesquisas envolvem desafios nas áreas de Visualização e Renderização 3D, Geometria Computacional, Processamento de Imagem e Visão Computacional, Ciência de Dados e Inteligência Artificial.
Greis Silva: Doutora e mestre em Informática com ênfase em Interação Humano-Computador (IHC) pela PUC-Rio. Obteve várias distinções acadêmicas e de pesquisa durante sua graduação (ciência da computação) e pós-graduação. Realizou pós-doutorado no Laboratório Nacional de Computação Científica (LNCC) e no Departamento de Informática da PUC-Rio. Pesquisadora e Consultora acadêmico-tecnológica no Instituto Tecgraf/PUC-Rio, liderando a equipe de Ciência de Dados no grupo “Realidade Estendida e Visão Computacional” em projetos junto à Petrobras. Tem participado na orientação de alunos de graduação, mestrado e doutorado em pesquisas nas áreas de IHC, Realidade Virtual e Machine Learning. Sua pesquisa tem resultado em várias publicações em revistas científicas e conferências nacionais e internacionais, obtendo premiações na categoria “Best Paper”. Seus interesses de pesquisa incluem a interseção entre IHC e Machine Learning (ML), tais como sistemas inteligentes aplicados a áreas da saúde, indústria e educação; técnicas de ML nos processos de IHC, como modelagem de usuário utilizando ML; design de IHC para sistemas inteligentes; jogos sérios, tecnologias assistivas, interação multimodal e computação afetiva. Sua intenção é contribuir no ensino, pesquisa e extensão, promovendo e realizando projetos interdisciplinares com parcerias nacionais e internacionais para continuar desenvolvendo pesquisa aplicada, de qualidade e com alto impacto social. Pesquisa também sustentada pela sua atuação no Instituto Tecgraf/PUC-Rio, participando de projetos de P, D & I junto a empresas parceiras.
Alberto Sardinha: O professor Alberto Sardinha fez o seu doutorado em Informática na PUC-Rio na área da Inteligência Artificial e Aprendizado de Máquina. Fez um pós-doutorado na Carnegie Mellon University e fez parte da equipe que desenvolveu um sistema multi-agente para comércio eletrônico que ficou em primeiro lugar na Trading Agent Competition, competição que reunia os principais pesquisadores da área da Inteligência Artificial (e.g., pesquisadores de CMU, Brown, Cornell, Michigan e Harvard). Recebeu uma bolsa Marie Curie da União Européia para desenvolver pesquisa na área de Sistemas Multi-Agente e Aprendizado de Máquina na Lancaster University. Orientou vários mestres e doutores que estão nas principais empresas de tecnologia (e.g., Google, IBM, Microsoft). Tem ampla experiência em projetos de P&D. Possui publicações em conferências e periódicos internacionais, tais como a ACL, AAMAS, IROS, EJOR, CL e JAAMAS.
Alberto Sardinha é professor e pesquisador em Inteligência Artificial e Aprendizado de Máquina, como foco em Sistemas Multi-Agente. Atualmente, tem feito pesquisa na área de Deep Reinforcement Learning, Multiagent Reinforcement Learning, Active Learning, NLP e Real Options. Já participou de vários projetos de P&D com parceiros acadêmicos internacionais e da indústria. Como coordenador, conseguiu projetos altamente competitivos de agências de fomento no exterior, tais como a Fundação para a Ciência e a Tecnologia de Portugal e a Air Force Office of Scientific Research dos EUA.
Desejamos boas-vindas aos novos professores!
Defesa de Dissertação de Mestrado do aluno Taylor Oliveira Fidelis.
Título da dissertação: Uma abordagem de ciências de dados e atuária para fundamentação de estratégias de diluição de riscos envolvendo ventos extremos no sul do Brasil
Resumo: Com o aumento da frequência de tempestades de ventos no Sul do Brasil, em especial após o evento conhecido como ”ciclone bomba” em junho de 2020, o setor segurador e ressegurador teme grandes perdas econômicas. A correlação espacial entre os danos pode inviabilizar a diversificação dos riscos por meio do teorema do limite central, colocando em risco as estratégias de precificação e diluição de riscos utilizadas atualmente. Neste contexto, este trabalho teve como objetivo classificar as áreas de risco no Sul do Brasil e compreender a correlação espacial do risco de tempestades de ventos, a fim de fornecer informações relevantes para a formulação de futuras estratégias de diluição de risco. Os principais resultados incluem a classificação das áreas de maior e menor risco e a coleta de informações para o desenvolvimento de estratégias de precificação e diluição de risco para perdas econômicas causadas por tempestades de vento na região sul do Brasil.
Orientador: Prof. Dr. Hélio Côrtes Vieira Lopes
Banca:
Prof. Dr. Bruno Fânzeres dos Santos
Prof. Dr. Cassio Freitas Pereira de Almeida
Prof. Dr. Marcos Kalinowski
Assista a defesa pelo link https://puc-rio.zoom.us/j/98653501159?pwd=V2lIaXEwb2REMzZYbjJaSmpVQVhoZz09
Dia 28 de abril, às 15h, acontecerá o seminário “Internet das coisas móveis (IoMT) para monitoramento ambiental e outras oportunidades de pesquisa em IoT”, proferido pelos professores Markus Endler e Anderson Oliveira.
Resumo do Seminário: Ao contrário da Internet das Coisas tradicional, que lida com a interconexão apenas entre objetos estacionários, na IoMT o foco é em coisas ou dispositivos com a capacidade de serem movidos ou até se mover autonomamente e ainda assim terem conectividade.
Os objetos móveis (M-OBJs) podem ter tamanhos, finalidades e complexidades muito diferentes – e podem ser desde veículos terrestres de qualquer tipo (carros, ônibus etc.), robôs domésticos, robôs aéreos (UAVs), wearables, ou etiquetas de sensores muito pequenos e leves (que podem ser colados em pacotes). E como esses objetos cada vez mais possuem sensores e/ou atuadores, e dispões de uma interface wireless de curto alcance e baixo consumo de energia (WPAN), o principal objetivo de IoMT é garantir a inter conectividade entre esses objetos,
E enquanto a rede 5G não está disponível em todos os locais, a forma mais efetiva e eficaz de se acessar sensores e atuadores desses M-OBJs é através de conectividade oportunística e intermitente, em que dados dos sensores/ ou comandos de atuação são lidos ou escritos através de elementos também móveis da infraestrutura, que chamamos de Mobile Hubs.
Usando a experiência ganha com o desenvolvimento do ContextNet, um middleware para IoT que inclui serviços e executa em smartphones Android, temos desenvolvido várias soluções que vão de monitoramento adaptativo do estado de saúde de pacientes até protocolos de comunicação e coordenação entre quadricópteros em uma missão de coleta de dados de umidade do solo em consolas. Ainda nesse ano, iremos aplicar essas técnicas no projeto ECO Sustain, um projeto temático FAPESP que agrega 40+ pesquisadores brasileiros com a missão de desenvolver tecnologia da computação e de ciência de dados para estudar, monitorar e proteger o meio ambiente.
Outras áreas de pesquisa nas quais nossos grupos de trabalho atuam são: segurança de IoT, redes de sensores sem fio, coleta de energia, computação intermitente e automated guided vehicles (AGVs). Essas pesquisas englobam o desenvolvimento do projeto de hardware e software dos dispositivos IoT. Na área de segurança, estamos desenvolvendo o Framework do EdgeSec para o ContextNet e propondo uma arquitetura de segurança para o monitoramento de pacientes e uma aplicação de criptografia homomórfica para dispositivos IoT. Na área de coleta de energia (Energy Harvesting), investigamos diferentes formas de coleta de energia do ambiente para carregar as baterias dos dispositivos e técnicas de computação intermitente para seguirmos com o processamento de dados após a ocorrência de um evento de falta de energia. E, também, pesquisamos uma abordagem de sistemas de controle de navegação e missão descentralizada para AGVs.
Conheça os Professores:
Markus Endler: Professor Associado do Departamento de Informática e coordenador do Laboratory for Advanced Collaboration (LAC) da PUC-Rio. Atua na área de Sistemas Distribuídos e, mais especificamente, trabalha com middleware para Computação Móvel e Pervasiva. Grande parte de suas pesquisas tem enfoque prático e resulta em softwares que auxiliam no desenvolvimento de aplicativos para essas áreas. Tem colaborado com vários grupos nacionais e estrangeiros, e feito projetos para empresas tais como a Microsoft Research, o CPqD, a Boeing, e a Petrobrás.
Anderson Oliveira: Consultor técnico Sênior e atua como professor do quadro complementar do Departamento de Informática (DI) da PUC-Rio com os títulos de Engenheiro de Computação (1995), Mestre em Ciências em Informática (1999) e Doutor em Ciências em Informática (2009). Como pesquisador, coordena as atividades do Lab GIST e atua em parceria com o Prof. Markus Endler, no Laboratory for Advanced Collaboration (LAC), na área de Segurança em Internet of Things (IoT). Como docente, atua nos cursos de Graduação em Informática, Pós-graduação Latu-Sensu em Sistemas de Informação e Pós-graduação Latu Sensu em Redes de Computadores, nos quais leciona as disciplinas de Segurança da Informação, Administração e Gerência de Redes, Segurança de Redes, Arquitetura TCP/IP, Sistemas Operacionais, e Sistemas Operacionais de Rede e Distribuídos, além de orientar monografias.
Para acompanhar o Seminário, acesse https://www.youtube.com/live/KNdSKwu6stE
Defesa de Dissertação de Mestrado do aluno Maurício de Castro Lana.
Título da dissertação: First steps toward an archetypal-oriented approach to plot perception
Resumo: Este trabalho apresenta os primeiros passos em direção a uma abordagem arquetípica para análise e percepção de enredos. A ideia principal é usar o conceito de arquétipos como uma lente para observar essas histórias e avaliar tropos. Arquétipos são tipos de personagens recorrentes e relações seguidas em narrativas. Usamos a definição de arquétipos de Vogler que atribui funções dramáticas e psicológicas a cada arquétipo para apontar seus papéis e objetivos na história. Primeiramente, fazemos uma análise completa do que são os arquétipos e como cada um é definido. O segundo passo é a criação de um instrumento argumentativo que denominamos Lente, para analisar narrativas sob a ótica dos arquétipos e, com base nos resultados, criar um modelo. O terceiro passo é aplicar esse novo modelo a trabalhos existentes de narratologia computacional e geração de enredo. Essa estratégia permite a análise crítica do uso de arquétipos para auxiliar na definição e percepção de uma trama. Decidimos usar a geração de enredo baseada em blending, porque esse tipo de geração de narrativa lida com uma situação complexa de geração de enredo. Neste trabalho, propomos incorporar vetores de peso arquetípicos nos operadores de planejamento automatizado que representam a história. Esses vetores são então ponderados usando a função dramática de cada arquétipo para ter um vetor arquetípico final representando o personagem. A criação da Lente busca padronizar a percepção e análise de narrativas. É fundamental que a metodologia de análise seja instrumentada, para usarmos seus resultados como reguladores dos pesos arquetípicos. Empregar a Lente do arquétipo em obras pode nos fornecer uma nova visão sobre a geração do enredo e a construção da narrativa. O resultado final de nossa pesquisa, aplicado no contexto de narrative blending, gera uma categorização dos arquétipos que cada personagem interpreta ao longo da narrativa. Esse resultado é apresentado de forma geral e episódica, para cada variante gerada. Essa categorização serve de base para analisarmos a qualidade da narrativa observando a relação de intenção e resultado.
Orientador: Prof. Dr. Bruno Feijó
Banca:
Prof. Dr. Guilherme de Almeida Xavier
Prof. Dr. Augusto César Espíndola Baffa
Prof. Dr. Alberto Barbosa Raposo
Assista a defesa pelo link: https://puc-rio.zoom.us/j/98846304102?pwd=Q0k1Vms3ZFNJcjMvYS9UdnYrRWtNZz09
