O Programa de Pós-Graduação em Ciência da Computação (PPGCC) da Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) teve seus primeiros ingressantes do curso de Mestrado em 1994, mantendo sólida e qualificada formação de egressos por mais de 20 anos. Já o curso de Doutorado teve início em 2005, estando atualmente plenamente estabelecido.
Na última avaliação quadrienal da Capes, o PPGCC/PUCRS alcançou a Nota 7 (nota máxima nesta avaliação), figurando entre os melhores Programas de Pós-Graduação em Computação do Brasil.
Atualmente, 20 professores compõem o corpo docente permanente do Programa tendo sua formação – em diversas áreas da Computação – obtida nas melhores universidades do Brasil e do exterior. Dentre os docentes permanentes, 70% possui Bolsa de Produtividade em Pesquisa ou de Desenvolvimento Tecnológico e Extensão Inovadora do CNPq. A qualidade das pesquisas conduzidas por docentes e discentes do PPGCC pode ser verificada através da sólida produção científica em conferências e periódicos nacionais e internacionais de alto impacto.
Os estudantes do PPGCC são preparados para atuar tanto na academia (ensino/pesquisa) como no desenvolvimento de aplicações de alta complexidade e de conteúdo tecnológico relevantes para grandes organizações. A formação de alta qualidade obtida no PPGCC/PUCRS permite que egressos dos cursos de Mestrado e Doutorado atuem profissionalmente em universidades e corporações nacionais e internacionais de grande relevância.
A formação acadêmica do PPGCC privilegia uma sólida construção de conhecimento na área da Ciência da Computação. O público-alvo são os diplomados dos cursos de Ciência da Computação, Engenharia de Software, Sistemas de Informação e Engenharia de Computação e, eventualmente, os demais portadores de diploma de curso superior com domínio de fundamentos básicos e avançados da área de Ciência da Computação.
Doutorado: 36 créditos (ingresso até 2021/2) e 30 créditos (ingresso a partir de 2022/1)
Doutorado: mínimo de 24 e máximo de 54 meses
O programa realiza processos de inscrição e de seleção de novos alunos para Mestrado duas vezes por ano.
Para a seleção de candidatos a Doutorado, o PPGCC tem interesse em candidatos que apresentem o seguinte perfil:
O programa realiza processos de inscrição e de seleção de novos alunos para Doutorado duas vezes por ano.
Edital Complementar 2024/1 – Mestrado e Doutorado
Edital 2024/1 – Mestrado e Doutorado
Mestrado em Ciência da Computação
Mestrado em Ciência da Computação
Suplentes | Mestrado em Ciência da Computação
Edital de seleção complementar
Resultado do Processo Seletivo
Selecionado(a) Doutorado Sanduíche no Exterior 2024/1
Modelo de Carta de Recomendação
Modelo de Carta de Recomendação em Inglês
Modelo de Manifestação de Interesse
Formulário e Informações complementares aqui
O programa oferece para a comunidade a modalidade de Aluno Especial aos candidatos que preencham os requisitos básicos e apresentem a documentação solicitada. A solicitação de inscrição como Aluno Especial será analisada pela Comissão Coordenadora sendo aceita ou recusada de acordo com a disponibilidade de vagas nas turmas já oferecidas pelo PPGCC.
Documentação Solicitada
Para 1ª matrícula
Para matrículas subseqüentes
Requisitos Básicos
Observações: O fato do aluno cursar disciplinas na modalidade Aluno Especial não garante vaga para o curso em seleções futuras, nas quais o aluno interessado deve inscrever-se como os demais candidatos (Seleção). No entanto, uma vez aprovado na seleção, o aluno poderá solicitar aproveitamento das disciplinas cursadas como Aluno Especial. Mais Informações: Na secretaria do PPGCC pelo telefone 3320-3611 ou [email protected]
Aprendizado de Máquina – Banco de Dados – Big Data Analytics – Infraestrutura de Big Data – Visualização de Dados
Computação Gráfica – Realidade Aumentada – Realidade Virtual – Simulação de Humanos Virtuais – Visão Computacional
Desenvolvimento de Software Ágil – Engenharia de Requisitos – Interação Humano-Computador – Sistemas de Informação – Teste de Software
Aprendizado de Máquina – Planejamento Automático – Processamento de Linguagem Natural – Sistemas Multiagentes – Visão Computacional
Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica
Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores
| Nome | Coordenador |
|---|---|
| ConsegLab – Laboratório de Confiabilidade e Segurança de Sistemas | AVELINO FRANCISCO ZORZO |
| Laboratório DaVInt (Data Visualization and Interaction Lab) | ISABEL HARB MANSSOUR |
| Laboratório GMAP – Modelagem de Aplicações Paralelas | LUIZ GUSTAVO LEAO FERNANDES |
| Laboratório GPIN – Pesquisa em Inteligência de Negócio e Aprendizado de Máquina | DUNCAN DUBUGRAS ALCOBA RUIZ |
| Laboratório GRV – Realidade Virtual | MARCIO SARROGLIA PINHO |
| Laboratório GSE – Sistemas Embarcados | FABIANO PASSUELO HESSEL |
| Laboratório MALTA – Machine Learning Theory and Applications Lab | RODRIGO COELHO BARROS |
| Laboratório de Alto Desempenho (LAD-PUCRS) | TIAGO COELHO FERRETO |
| Laboratório de Inteligência Artificial (AI) | FELIPE RECH MENEGUZZI |
| Laboratório de Pesquisa Escola Politécnica/TERACOM | FERNANDO GEHM MORAES |
| Laboratório de Pesquisa GAPH | FERNANDO GEHM MORAES |
| Laboratório de Simulação de Humanos Virtuais | SORAIA RAUPP MUSSE |
| Laboratório de Sistemas Autônomos – LSA | FERNANDO GEHM MORAES |
| Nome | Coordenador |
|---|---|
| Núcleo de Pesquisa em Inteligência de Máquina e Robótica (MIR) | RODRIGO COELHO BARROS |
| Núcleo de Processamento Visual e Interação (PVI) | SORAIA RAUPP MUSSE |
| Núcleo de Sistemas Embarcados e Sistemas Digitais (SESD) | FERNANDO GEHM MORAES |
| Nome | Coordenador |
|---|---|
| CENTRO DE PESQUISA, ENSINO E INOVAÇÃO EM CIÊNCIA DE DADOS | MARCIO SARROGLIA PINHO |
| Centro de Pesquisa em Engenharia de Software (CePES) | SABRINA DOS SANTOS MARCZAK |
Agentes Autônomos, Arquiteturas de Agentes, Agentes BDI, Linguagens de Programação baseadas na Arquitetura BDI, uso de técnicas de planejamento e aprendizagem em programação de agentes, aplicações de agentes inteligentes.
Fundamentos de processamento de alto desempenho para aplicações Big Data tratando sobre as principais arquiteturas, programação paralela, balanceamento de carga, escalonamento, confiabilidade, manutenibilidade e elasticidade. O contexto da disciplina contempla, no escopo de Big Data, armazenamento, gestão de dados, tipos de dados e fontes geradoras, padrões de acesso e comunicação, replicação, particionamento, transações, consenso e consistência. São apresentados modelos de processamento em batch, micro-batch e stream, bem como aplicações de alto desempenho para Big Data, contemplando diferentes domínios e suas particularidades, requisitos, estratégias para exploração do paralelismo, melhores práticas, cargas de trabalho e avaliação de desempenho. Por fim, a disciplina abordará as principais tecnologias usadas no desenvolvimento de aplicações para diferentes modelos de processamento em Big Data.
Introdução à Animação Computadorizada; Modelagem e animação de personagens virtuais; Animação Comportamental; Ambientes Virtuais “inteligentes”.
Introdução à modelos de extração de dados em vídeo. Tratamento de texto para análise de informação. Estratégias para comunicação de resultados através de visualização de dados heterogêneos.
Análise e pré-processamento de dados. Aprendizado supervisionado. Aprendizado não-supervisionado. Avaliação de modelos preditivos e descritivos. Tópicos avançados em aprendizado de máquina.
Estudo da teoria e pressuposições por trás de algoritmos de aprendizado por reforço. Teoria da Decisão, Processos de Decisão Markovianos, e resolução por programação dinâmica. Aprendizado por diferença temporal. Aproximação de funções valor. Gradiente de política. Planejamento e aprendizado. Exploração e aproveitamento. Aplicações de aprendizado por reforço.
Processadores RISC, superescalares, SIMD, multiprocessadores, multicomputadores. Processadores multithread e dataflow. Hierarquia de memória. Redes de interconexão. Avaliação de desempenho de arquiteturas paralelas. Evolução das máquinas paralelas e suas atuais tendências evolutivas. Máquinas paralelas baseadas em agregados (Cluster Computing).
Agentes Autônomos, Arquiteturas de Agentes, Agentes BDI, Linguagens de Programação baseadas na Arquitetura BDI, uso de técnicas de planejamento e aprendizagem em programação de agentes, aplicações de agentes inteligentes.
Avaliação quantitativa de sistemas, classificação de métodos. Técnicas de simulação discreta. Métodos analíticos diretos e iterativos. Cadeias de Markov.
Introdução Histórica. Conceitos Básicos de Biologia Molecular. Bioinformática. Internet e Bancos de Dados de Seqüências Biológicas. Abordagem Computacional de Problemas Biológicos. Análise Computacional de Seqüências de DNA. Análise Computacional de Seqüências de Proteínas. Alinhamentos de Seqüências de Proteínas. Métodos Computacionais para Alinhamento de Seqüências de Proteínas. O Algoritmo de Programação Dinâmica. Métodos Heurísticos para Alinhamento de Seqüências de Proteínas. Estudo de Caso.
Introdução Histórica. Conceitos Básicos de Biologia Molecular Estrutural. Bioinformática Estrutural. Internet e Bancos de Dados de Estruturas Biológicas. Análise Computacional da Estrutura de Proteínas. Alinhamento de Estruturas de Proteínas. Classificação da Estrutura de Proteínas. Algoritmos para a Predição das Estruturas de Proteínas. Estudo de Caso.
Importância de algoritmos distribuídos. Fatores de complexidade para construção de algoritmos distribuídos. Níveis de consistência de algoritmos distribuídos. Medidas de complexidade computacional. Estratégias de modelagem e especificação de algoritmos distribuídos. Propriedades de algoritmos distribuídos. Raciocínio sobre propriedades. Implementação de algoritmos distribuídos. Métricas de avaliação. Estudos de caso práticos.
Introdução e Motivação. Computação inspirada na biologia. Computação Evolutiva. Inteligência coletiva. Otimização por Colônia de Formigas (ACO). Otimização por exame de partículas (PSO). Redes neurais artificiais. Sistemas imunológicos artificiais. Aplicações.
Fundamentos Matemáticos da Computação Gráfica. Técnicas de Rendering; Algoritmos de Detecção de Colisão; Técnicas de Aceleração de Aplicações Gráficas.
Esta disciplina tem como principal objetivo a apresentação dos principais conceitos associados a Computação em Nuvem. Para tanto, os seguintes pontos serão abordados: Características e tipos de computação em nuvem; Principais serviços providos em computação em nuvem; Principais desafios da área; Estudo de caso de um ambiente de computação em nuvem.
Inteligência Artificial e Comunicação. A comunicação e o processamento de linguagem natural. Comunicação e ontologias. Comunicação em agentes inteligentes.
Confiabilidade de Sistemas: Taxonomia. Erro. Falha. Defeito. Tolerância a falhas. Mecanismos para tolerância a falhas. Acordo em sistemas distribuídos. Redundância.
Criptografia clássica; cifras de fluxo (stream ciphers) e cifras de bloco (block ciphers); integridade de mensagens (Message Authentication Codess); criptografia simétrica.
Aritmética modular; números primos e fatoração; funções e geradores pseudo-aleatórios; criptografia assimétrica; assinaturas digitais.
Data warehouse. Descoberta de conhecimento em bases de dados. Mineração de dados. Aplicações. Tendências.
Sistemas Colaborativos. Desenvolvimento de Software Colaborativo. Tendências.
Tecnologia assistiva (TA), desenho universal e acessibilidade. Design de interação para tecnologia assistiva. Prototipação de Tecnologia Assistiva. Avaliação de qualidade de uso de Tecnologia Assistiva.
Esta disciplina tem como principal objetivo a apresentação dos principais conceitos associados ao empreendedorismo digital e à transformação de conhecimento científico em desenvolvimento para a sociedade. Serão abordados os seguintes pontos: Empreendedorismo, startups, modelo de negócio, lean startup, mínimo produto viável, ecossistemas de inovação como locus do processo empreendedor, legislação na área de Ciência, Tecnologia e Inovação (CT&I), além de casos reais de transformação de conhecimento científico em inovação e desenvolvimento por meio do empreendedorismo.
Introdução à modelos de extração de dados em vídeo. Tratamento de dados para análise de informação. Estratégias para comunicação de resultados através de visualização de dados heterogêneos.
Modelos de gestão de infraestrutura de TI. Componentes de infraestrutura de TI e suas funções. Análise do uso de técnicas de virtualização em infraestrutura de TI. Estudo do modelo de computação em nuvem e TI Verde.
Compreensão da gestão de bancos de dados sem esquemas prévios e de novas aplicações em dados: big data, dados de mídias sociais. Estudo sobre dados espaço-temporais, multimídia, hipermídia, de fluxo contínuo e de mídias digitais, e o suporte por bancos de dados sem esquemas prévios. Visão geral sobre plataforma de big data e nuvem: HDFS, Hadoop, MapReduce e Spark. Entendimento dos modelos de transações, de gerência de memória, de controle de concorrência e de recuperação após falhas, e de otimização de consultas e de transações em bancos de dados pela perspectiva de big data.
Visão geral sobre conceitos de Big Data e Infraestrutura de TI. Entendimento sobre a importância de Cluster Computing para Big Data e estudo de plataformas para Big Data. Compreensão sobre o funcionamento de sistemas de arquivos distribuídos para Big Data e suas principais características. Estudo sobre técnicas para ingestão de dados para diferentes tipos de dados. Compreensão sobre o funcionamento de sistemas de gerenciamento de recursos para Big Data e suas principais características. Visão geral sobre serviços para Big Data usando Computação em Nuvem.
Inteligência Artificial e Inteligência Computacional. Representação e Busca. Representação e Conhecimento. Paradigmas de Resolução de Problemas. Aprendizado de Máquina.
Introdução, Contextualização e Definição dos conceitos de Internet das Coisas e Cidades Inteligentes. Discussão sobre o tamanho do mercado mundial relacionado a IoT e Cidades Inteligentes, e o potencial de crescimento futuro deste mercado. Apresentação e Discussão sobre os principais desafios relacionados ao desenvolvimento de sistemas e aplicações voltados a IoT e Cidades Inteligentes. Arquitetura de hardware e software para aplicações de IoT e Cidades Inteligentes. Discussão sobre as oportunidades presentes e futuras relacionadas a IoT e Cidades Inteligentes. Apresentação e Discussão de casos reais em diferentes verticais de mercado.
Aprendizado de estilos e técnicas de supervisão em pesquisa. Aplicação da técnica de metodologia científica. Avaliação prática da importância da reprodutibilidade em pesquisa. Planejamento e administração de trabalho colaborativo.
Desenvolvimento de Software. Ciclo de Vida de Desenvolvimento de Software. Processos de Software. Projeto Prático de Desenvolvimento de Software.
Reticulados. Álgebra Booleana. Outras estruturas algébricas. Cálculo proposicional. Lógica de 1a ordem. Semântica de Tarski. Dedução natural. Completude e correção de sistemas dedutivos. Cálculo de seqüentes, método axiomático de prova. Forma causal e resolução. Teoremas. Lógica temporal de primeira ordem. Outras lógicas não clássicas.
<pDefinições de sistemas embarcados. Definição de sistemas embarcados de tempo real. Definição de modelos de computação. Definição das atividades de particionamento e mapeamento. Análise de requisitos de projeto para sistemas embarcados. Avaliação de desempenho e aplicação de qualidade de serviço (QoS) com modelos computacionais.
Definição de sistemas embarcados. Definição de sistemas embarcados de tempo real. Definição de modelos de computação. Definição das atividades de particionamento e mapeamento. Análise de requisitos de projeto para sistemas embarcados. Avaliação de desempenho e aplicação de qualidade de serviço (QoS) com modelos computacionais.
Conceitos básicos de sistemas distribuídos; troca de mensagens; modelos de programação distribuída; algoritmos distribuídos; ambientes de programação distribuída.
Introdução à pesquisa científica, o ciclo de pesquisa experimental, métodos de pesquisa experimentais, métodos de coleta e análise de dados.
Avaliação quantitativa de sistemas. Modelos Markovianos: cadeias de Markov e redes de autômatos estocásticos. Métodos analíticos à forma-produto, diretos e indiretos.
Pesquisa científica em Sistemas de Informação, Métodos de Pesquisa em Sistemas de Informação, Estudos primários, Estudos secundários, Estudo de Caso, Teoria Fundamentada em Dados, Coleta e Análise de Dados.
Visão geral sobre sistemas de armazenamento e recuperação de dados. Estudo sobre dados espaço-temporais, multimídia, hipermídia, de fluxo contínuo e de mídias digitais. Visão geral sobre novas aplicações em dados: Big data, Dados não estruturados, de mídias sociais, Mineração de dados de mídias sociais.
Ontologias e a representação do conhecimento. Ontologias na web semântica. Lógicas de descrição e raciocínio. Construção de ontologias. Aplicações.
Esta disciplina tem como principal objetivo apresentar as diferentes estratégias de planejamento de experimentos para sistemas computacionais empregando técnicas que garantam a confiabilidade e a precisão dos resultados. Para isso, os seguintes tópicos serão abordados: conceitos básicos de planejamento de experimentos; distribuição de probabilidade; introdução ao método de análise de variância; determinação do número de repetições; regressão linear simples e múltipla.
Planejamento automático: formalismos e assumptions. Planejamento clássico: formalismos e algoritmos. Planejamento HTN: formalismo e algoritmos. Planejamento não determinístico: formalismo e algoritmos. Aplicações de planejamento.
Este curso oferece uma ênfase prática na área de sistemas distribuídos. Revisão de abstrações e algoritmos distribuídos fundamentais em sistemas distribuídos. Avaliação de diferentes plataformas de suporte a distribuição com a funcionalidade do consenso. Implementação de algoritmos fundamentais para computação distribuída. Emprego de plataformas específicas em implementações.
Problemática do processamento de linguagens e do tratamento da linguagem natural: dificuldades lingüísticas, dificuldades computacionais, módulos de um sistema clássico. Níveis de análise e de processamento. Construção de sistemas de computação para o processamento de linguagens naturais.
Conceitos sobre processo de desenvolvimento de software, modelos de ciclo de vida de desenvolvimento de software, metodologias de desenvolvimento de software e tendências no desenvolvimento de software.
Este curso aprofunda o entendimento dos problemas de concorrência e dos mecanismos e abstrações existentes para construir sistemas concorrentes corretos e eficientes. Revisão de conceitos de concorrência e sincronização. Critérios de consistência para objetos concorrentes (consistência sequencial, quiescente, linearizabilidade). Sincronização bloqueante. Spin locks e contenção. Técnicas de sincronização: grão grosso (coarse-grained), grão-fino (fine grained), otimista, relaxada (lazy). Técnicas de sincronização não bloqueantes: livre de bloqueio (lock-free), livre de espera (wait-free), livre de obstrução (obstruction-free). Técnicas de argumentação de corretude para algoritmos concorrentes. Noções de memória transacional por SW e por HW.
Modelagem de programação Distribuída e Paralela. Expressão do paralelismo. Paradigmas de programação paralela. Aplicações distribuídas e paralelas. Estudo de caso.
Conceitos básicos de programação paralela estruturada (Parallel Design Patterns e Algorithmic Skeletons) e formas de exploração do paralelismo (dados, tarefas e stream); frameworks e bibliotecas de alto nível de abstração para programação paralela usadas em sistemas multi-core (e.g., FastFlow, TBB e SPar). Linguagens específicas de domínio; soluções emergentes para exploração de paralelismo; desafios e perspectivas das interfaces de programação paralela estruturada.
Conceitos básicos de programação paralela heterogênea (arquiteturas, aceleradores, gerenciamento de memória, etc.); frameworks e bibliotecas para programação paralela usados em sistemas heterogêneos (e.g., SkePU, OpenACC, CUDA, Thrust e OpenCL). Soluções emergentes para exploração de paralelismo; desafios e perspectivas das interfaces de programação paralela heterogênea.
Modelagem e programação de aplicações paralelas com o paradigma de troca de mensagens. Técnicas de otimização. Análise de desempenho.
Análise de algoritmo: somatórios, recorrências, ordens de crescimento. Desenvolvimento de algoritmos: algoritmos gulosos, programação dinâmica, métodos Branch and bound, divisão e conquista, meta-heurística.
Estilos de Interação. Diretrizes de Projeto. Modelagem de Interfaces. Acessibilidade.
Introdução a Avaliação de Sistemas Interativos. Avaliação por Inspeção. Avaliação por Testes com Usuários.
Conceitos de Realidade Virtual. Dispositivos Visualização e Rastreamento para Aplicações de Realidade Virtual. Técnicas de Interação em Ambientes Virtuais. Realidade Aumentada. Aplicações de Realidade Virtual e Realidade Aumentada.
Esta disciplina tem como principal objetivo a apresentação dos principais conceitos associados às redes neurais profundas e suas aplicações para análise de dados não-estruturados. Para tanto, os seguintes pontos serão abordados: Introdução à análise de dados não-estruturados; Classificadores de vizinhos mais próximos e classificadores lineares para classificação de imagens e textos; Redes neurais e o algoritmo de backpropagation; Arquiteturas e componentes de redes neurais convolucionais; Arquiteturas e componentes de redes neurais recorrentes; Aplicações para classificação, segmentação, detecção e localização de objetos em imagens e vídeos; Aplicações para geração automática de legendas, tradução automática e geração de textos; Visão geral de frameworks de deep learning.
Evolução das redes de computadores. Principais pilhas de protocolos para redes de computadores. Gerência de redes de computadores. Novas tecnologias de redes.
Prática com o estado da arte em programação de robôs móveis autônomos. Programação de sistemas embarcados e distribuídos com foco em aplicações de robótica. Middlewares de robótica. Problemas clássicos de robótica móvel como localização, desvio de obstáculo, e navegação. Problemas de inteligência artificial voltados à robótica, com ênfase em percepção e planejamento.
Compreensão dos conceitos e dos fundamentos teóricos do modelo de processamento de data stream. Entendimento dos desafios de desenvolver aplicações escaláveis em diferentes plataformas e arquiteturas de computação. Compreensão das principais tecnologias (por exemplo, Apache Storm, Apache Flink e Spark Streaming) e das estratégias de otimização de desempenho (balanceamento de carga, escalonamento, gerenciamento de stream e estado, organização de operadores e particionamento de estado). Desenvolvimento de protótipos de aplicações de data stream escaláveis. Conhecer os avanços recentes da pesquisa para processamento de data stream.
Apresentação das características de sistemas IoT. Discussão sobre os principais desafios de segurança relacionados a sistemas IoT. Apresentação e Discussão dos riscos de segurança e das vulnerabilidades dos sistemas IoT. Discussão sobre os fatores que fazem a segurança em sistema IoT ser mais complexa. Apresentação e Discussão dos possíveis ataques a sistemas IoT. Discussão sobre as possíveis soluções de segurança. Análise e discussão de casos reais.
Integrar professores, pesquisadores, estudantes de mestrado e doutorado com as recentes produções das áreas de concentração e linhas de pesquisa dos Programas de Pós-Graduação da Escola Politécnica, tanto as pertencentes ou relacionadas ao tema de pesquisa do estudante quanto as não relacionadas. Utilizar as apresentações dos seminários como instrumento formal para a compreensão do processo científico, seus aspectos construtivos, formais e conclusivos, visando qualificar a pesquisa realizada.
Introdução à Simulação Gráfica; Modelagem de problemas complexos de simulação gráfica; Tópicos em Animação Computadorizada e Visão Computacional; Simulação de Multidões.
Circuitos e sistemas síncronos. Circuitos e sistemas assíncronos. Circuitos e sistemas globalmente assíncronos, localmente síncronos. GALS. Sincronização e metaestabilidade. Sincronizadores. Protocolos de comunicação não-síncronos. Representações assíncronas de circuitos. Modelos de atraso. Insensibilidade a atrasos. Quase-insensibilidade a atrasos. Codificações insensíveis a atrasos. Projeto de sistemas não-síncronos. Projeto GALS. Projeto de sistemas QDI.
Este curso apresenta os conceitos e algoritmos fundamentais para construção de sistemas distribuídos confiáveis. Modelos de sincronia para sistemas distribuídos. Computações distribuídas, estados locais e globais. Relógios lógicos. Modelos de falhas. Resultado da Impossibilidade (FLP). Detectores de defeitos como abstração de suposições temporais. Eleição de líder como problema análogo a detectores de defeitos. Algoritmos de difusão, níveis de confiabilidade e formas de ordenação. Consenso regular e uniforme, consenso em fases, consenso logado. Problemas análogos ao consenso.
Sistemas embarcados, comunicação intra-chip, barramentos, redes intra-chip, multiprocessamento intra-chip.
Sistemas multi-agentes, cooperação através do contract net protocol, teoria dos jogos, tipos de leilões para alocação de recursos, negociação através do monotonic concession protocol, programação de sistemas multi-agentes, modelos organizacionais, sistemas normativos, comunicação entre agentes, representação de conteúdo de mensagens e conhecimento, ontologias, teoria dos atos de fala, linguagens de comunicação de agentes.
Introdução aos mecanismos de comunicação utilizados em circuitos integrados. Estudo dos conceitos de barramentos, barramentos padronizados (e.g., AXI), e barramentos dedicados. Evolução das infraestruturas de comunicação para as redes intra-chip (NoCs). Estudo de caso de implementação de NoC. Apresentação de arquiteturas multiprocessadas-em-chip, ou many-cores. Estudos dos problemas relacionados ao consumo de energia (dark silicon) e questões relacionadas à segurança dos sistemas many-core que utilizam NoC como infraestrutura de comunicação.
Definição de software embarcado. Software embarcado de tempo real. Modelos de programação. Metodologia de projeto de software. Consumo de energia do software. Virtualização. Avaliação de desempenho do software. QoS fim a fim.
Tópicos atuais de interesse em pesquisas e inovação na área de Ciência da Computação.
Tecnologias semânticas: Semântica e linguística computacional. Semântica computacional e web semântica. Semântica e ontologias. Uso de tecnologias semânticas na área da saúde, comunicação e outras áreas.
Tecnologias semânticas: Semântica e linguística computacional. Semântica computacional e web semântica. Semântica e ontologias. Uso de tecnologias semânticas em medicina, direito, comunicação, medicina, e outras áreas.
Tópicos atuais de interesse em pesquisas e inovação na área de Engenharia de Software.
Tópicos atuais de interesse em pesquisas e inovação na área de Engenharia de Software.
Teoria da computabilidade (Turing). Indecidibilidade do Problema da Parada. Hierarquia de Chomsky. Classes de Complexidade de problemas. Problemas NP. Reducibilidade de problemas. Provas de NP-completude.
Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas de Informação.
Prática com uso de linguagens de descrição de hardware (HDL), prototipação em FPGA, uso de simuladores, e emprego de técnicas básicas de verificação funcional de sistemas VLSI.
Prática com fluxo de projeto VLSI visando projeto de ASICs e uso de técnicas avançadas de verificação funcional de sistemas VLSI.
Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação.
Avaliação quantitativa de sistemas, classificação de métodos. Técnicas de simulação discreta. Métodos analíticos diretos e iterativos. Cadeias de Markov.
Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação.
Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação.
Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação.
Tópicos avançados de interesse à realização de pesquisas na área da Ciência da Computação.
Tópicos avançados de interesse à realização de pesquisas na área da Ciência da Computação.
Tópicos atuais de interesse à realização de pesquisas na linha de Bioinformática e Modelagem Computacional.
Tópicos atuais de interesse à realização de pesquisas na linha de Processamento Paralelo e Distribuído.
Tópicos atuais de interesse à realização de pesquisas na linha de Bioinformática e Modelagem Computacional.
Tópicos atuais de interesse à realização de pesquisas na linha de Confiabilidade de Sistemas.
Tópicos atuais de interesse à realização de pesquisas na linha de Processamento Paralelo e Distribuído.
Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas Embarcados e Sistemas Digitais.
Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas de Embarcados e Sistemas Digitais.
Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas Interativos I.
Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas Interativos I.
Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas de Informação.
Surgimento e evolução histórica. Introdução à área de visualização e suas aplicações. Tipos de dados e representações visuais. Visualização e interação.
Tópicos atuais de interesse à realização de pesquisas na linha de Interação Humano Computador.
Conceitos de Processamento de imagens. Morfologia matemática. Segmentação. Filtros de suavização. Detecção de bordas. Análise de imagens.
Noções gerais de verificação. Planejamento de verificação. Revisão das técnicas usuais. Infra-estrutura para a execução da verificação. Conclusão, análise e documentação da verificação.
Revisão rápida de linguagens de verificação de hardware (HVL). Linguagens para descrever asserções. Simulação de falhas. Verificação de equivalência. Verificação de propriedades. Métodos de verificação formal de sistemas VLSI.
Contextualização de abordagens dedutivas e de modelos para verificação de sistemas concorrentes. Aprofundamento em verificação de modelos. Linguagens, abstrações e ferramentas para: descrição de sistemas; especificação de comportamento e propriedades; avaliação do sistema contra as propriedades. Exemplificação. Aplicação dos conceitos em estudos de caso práticos.
Surgimento e evolução histórica. Introdução à área de visualização e suas aplicações. Visualização de informações, visualização científica e análise visual. Tipos de dados e representações visuais. Estratégias de visualização e interação.
| Nome | Currículo Lattes | |
|---|---|---|
| JORGE LUIS NICOLAS AUDY | [email protected] | Currículo Lattes |
Prof. Dr. Tiago Coelho Ferreto | [email protected]
Prof. Dr. Tiago Coelho Ferreto (Coordenador) | [email protected]
Prof. Dr. Afonso Henrique Corrêa de Sales | [email protected]
Profa. Dra. Milene Selbach Silveira | [email protected]
Profa. Dra. Soraia Raupp Musse | [email protected]
Prof. Dr. Fernando Gehm Moraes (Suplente) | [email protected]
Renato Barreto Hoffmann Filho (representante discente) | [email protected]
Diego Cintrão | [email protected]
Vanessa Ruschel |
| Nome | Lattes |
| ADRIEL SILVA DE ARAUJO | Link |
| ALEXANDRE YUKIO ICHIDA | Link |
| ANDERSON ROBERTO PINHEIRO DOMINGUES | Link |
| ANDRE FERNANDO ROLLWAGEN | Link |
| ANDREA GNECCO | Link |
| ANGELO ELIAS DALZOTTO | Link |
| ANIELLE SEVERO LISBOA DE ANDRADE | Link |
| BERNARDO SCAPINI CONSOLI | Link |
| BRUNA POLETTO SALTON | Link |
| CARLOS GABRIEL DE ARAUJO GEWEHR | Link |
| CARLOS HENRIQUE DA COSTA CANO | Link |
| CARLOS HENRIQUE KAYSER | Link |
| CHRISTIAN MATTJIE DE OLIVEIRA | Link |
| DOUGLAS ANTUNES TESCH | Link |
| ELIA RAFAEL DE LIMA BATISTA | Link |
| ESTEVAO SMANIA TESTA | Link |
| EVERTON LUIS LUZ DE QUADROS | Link |
| GABRIEL FONSECA SILVA | Link |
| GABRIEL GIORDANI DOS SANTOS | Link |
| GABRIEL ROSSI FIGLARZ | Link |
| GABRIELL ALVES DE ARAUJO | Link |
| GRAZIELA BASILIO PEREIRA | Link |
| GREICE PINHO DAL MOLIN | Link |
| GUILHERME GRAF SCHULER | Link |
| GUILHERME VAZ PEREIRA | Link |
| HENRY CABRAL NUNES | Link |
| JORDAN KOPPER | Link |
| JULIA KUBIAK MELGARE | Link |
| KIN MAX PIAMOLINI GUSMAO | Link |
| LAURA ANGELICA TOMAZ DA SILVA | Link |
| LUCIANE OLIVEIRA FORTES | Link |
| LUIS VINICIUS DE MOURA | Link |
| MAICON DIOGO MUCH | Link |
| MARIANA GOMES BORGES | Link |
| MARTIN DUARTE MORE | Link |
| MURILO SANTOS REGIO | Link |
| NATALYA MARJANA GOELZER | Link |
| NICOLAS PEREIRA DO NASCIMENTO | Link |
| OTAVIO PARRAGA | Link |
| PEDRO HENRIQUE MORAIS SANVIDO | Link |
| RAFAELA CAPPELARI RAVAZIO | Link |
| RENATA VINADE DA SILVA | Link |
| RENATO BARRETO HOFFMANN FILHO | Link |
| RICARDO MACIEL LEONARCZYK | Link |
| SILVIO AUGUSTO LANGER | Link |
| VICTOR FLAVIO DE ANDRADE ARAUJO | Link |
| VINICIUS CHRISOSTHEMOS TEIXEIRA | Link |
| VITOR MIGUEL XAVIER PERES | Link |
| WILLIAM DA ROSA FROHLICH | Link |
Em conformidade com o Estatuto e Regimento Geral da Universidade no art. 101 o Regulamento do PPGCC (art. 23 e art. 24) define que, para obtenção do título de Mestre ou Doutor, o aluno deve (entre outros pré-requisitos) cumprir e obter aprovação de créditos conforme a estrutura curricular do curso.
A estrutura curricular do PPGCC define que o aluno deve apresentar obrigatoriamente antes da defesa da Dissertação de Mestrado ou da Tese de Doutorado entre seu número total de créditos computados:
a) 4 créditos referentes a pelo menos duas das três disciplinas listadas abaixo:
Lógicas e Álgebras Computacionais (2 créditos);
Teoria da Computação (2 créditos);
Projeto e Análise de Algoritmos (2 créditos).
b) pelo menos 1 crédito obtido através de Produção Textual no caso de aluno de Mestrado ou pelo menos 2 créditos no caso de aluno de Doutorado (conforme Instrução Normativa “Aproveitamento de Créditos por Atividades de Formação Acadêmica e Profissional” em vigor).
c) adicionalmente, alunos de Mestrado devem atestar proficiência em língua inglesa na sua primeira matrícula no Curso ou, excepcionalmente, até o final de seu primeiro ano de curso. Alunos de Doutorado devem atestar proficiência em duas línguas estrangeiras, uma delas sendo obrigatoriamente a língua inglesa na sua primeira matrícula no Curso ou, excepcionalmente, até o final de seu primeiro ano de Curso.
| Data limite para entrega do Formulário de Indicação dos Avaliadores: PEP, Seminário de Andamento, Comissões Examinadoras de Mestrado e Doutorado | Jun p/ defesas até agos | Nov p/ defesa até mar |
| Entrega de Relatórios de Estágio de Docência | Jul para realizados 1º semestre do ano | Dez para realizados 2º semestre do ano |
| Encaminhamento de Solicitação de Estágio de Docência. | Até março para realização 1º semestre do ano | Até agosto para realizados 2º semestre do ano |
| Prazo |
|---|
| Conf. Acordo c/ orientador(a) |
| Prazo |
|---|
| O Orientador(a) e avaliador(a) devem encaminhar à Secretaria até a data da matrícula |
| Prazo |
|---|
| Conf. Acordo c/ orientador(a) |
| Prazo |
|---|
| Conf. Acordo c/ orientador(a) |
(Recomenda-se fortemente que a entrega do volume seja feita com antecedência mínima de 20 dias da data prevista para apresentação) Conf. Acordo c/ orientador(a)
Mestrado: mínimo de 12 e máximo de 30 meses / Regular 24 meses
(Recomenda-se fortemente que a entrega do volume seja feita com antecedência mínima de 20 dias da data prevista para apresentação) Conf. Acordo c/ orientador(a)
Doutorado: mínimo de 24 e máximo de 54 meses / Regular 48 meses
Horários das disciplinas 2024/1
As Instruções Normativas detalham o funcionamento do PPGCC em observância ao seu Regulamento.
| Para Todos Alunos do Programa | ||
|---|---|---|
| Nome | Instrução | Formulário |
| Aproveitamento de Créditos por Atividades de Formação Acadêmica e Profissional
Composição de bancas |
Clique aqui | |
| Aproveitamento e Integralização de Créditos (ingresso até 2021/2) | Clique aqui | Aproveitamento integralização |
| Aproveitamento e Integralização de Créditos (ingresso a partir 2022/1) | Clique aqui | Aproveitamento integralização |
| Estágio de Docência | Clique aqui |
Requerimento de realização Termo Compromisso Plano de Atividades Formulário de Aprovação |
| Formatos de Monografias, Dissertações e Teses | Clique aqui |
|
| Homologação e Solicitação de Diploma | Clique aqui | Termo de Apresentação – PT Termo de Apresentação – EN Orientação para Homologação Encaminhamento de Volume para Homologação |
| Para Alunos de Mestrado | ||
| Plano de Estudo e Pesquisa | Clique aqui |
Parecer de PEP |
| Seminário de Andamento | Clique aqui |
|
| Defesa de Dissertação | Clique aqui |
Parecer de Dissertação |
| Mudança de Nível do Mestrado para Doutorado(ingresso até 2021/2) | Clique aqui |
|
| Mudança de Nível do Mestrado para Doutorado (ingresso a partir 2022/1) | Clique aqui | |
| Para Alunos de Doutorado | ||
| Defesa de Tese | Clique aqui |
Parecer de Tese |
| Exame de Qualificação | Clique aqui |
|
| Proposta de Tese | Clique aqui |
Parecer de Proposta de Tese |
Regimento Geral da Universidade
Regulamento do Programa de Pós-Graduação em Ciência da Computação – PPGCC
Resolução PUCRS 003/2022
Regulamento da Prova de Proficiência em Língua Estrangeira
Regulamento do Estágio de Docência de Pós-Graduando
As pesquisas realizadas pelos docentes e discentes do PPGCC/PUCRS permitiram nos últimos anos a condução e/ou participação em um alto número de projetos de pesquisa, desenvolvimento e inovação definidos no contexto de cooperações nacionais e internacionais tanto com universidades como com empresas de tecnologia avançada.
As cooperações nacionais aparecem na forma da participação em grandes redes temáticas com renomadas universidades brasileiras financiadas por agências governamentais como FAPERGS, CAPES, CNPq e FINEP.
No âmbito internacional, os pesquisadores do PPGCC/PUCRS mantêm cooperação e projetos ativos com parceiros acadêmico-científicos em países como Alemanha, Austrália, Canadá, Chile, Estados Unidos, França, Itália, Portugal, Reino Unido, entre outros. Algumas destas parcerias oferecem aos alunos de pós-graduação a possibilidade de dupla-diplomação. Nesse panorama, destaca-se a ocorrência regular de visitas de pesquisadores internacionais ao PPGCC/PUCRS para missões de trabalho, oferta de disciplinas, palestras e participação em bancas.
Além dos projetos e cooperações financiados pelas agências governamentais, o PPGCC/PUCRS encontra parceria com diversas empresas, muitas das quais instaladas no Parque Tecnológico da PUCRS – TECNOPUC. Dentre as parcerias formadas em anos recentes, pode-se destacar os projetos de pesquisa realizados com empresas como: DELL, HP Inc., Hewlett Packard Enterprise, Microsoft, Motorola, Samsung, Petrobras, Huwaei, Siemens, entre outras.
As instalações do Programa de Pós-Graduação em Ciência da Computação (PPGCC) oferecem laboratórios de pesquisa conectados a uma rede de alta velocidade, modernas salas aula, de estudo e de videoconferência, além postos individuais de trabalho e de toda infraestrutura do Campus da PUCRS. Destaca-se aqui o Laboratório de Alto Desempenho (LAD), que disponibiliza recursos de alto poder computacional para utilização por grupos de pesquisa de toda Universidade.
O PPGCC conta com corpo docente qualificado, composto por Mestres e Doutores com formação em diversas universidades do mundo. A proximidade com o Parque Científico e Tecnológico da PUCRS (Tecnopuc) proporciona aos estudantes um ecossistema singular, que permite a realização de uma grande variedade de projetos em parceria com empresas nacionais e internacionais de Tecnologia da Informação. Tal ambiente destaca-se nacionalmente na busca por inovação e nas condições oferecidas para o empreendedorismo.
Estágio de Doutorado Sanduíche no Exterior: os alunos de Doutorado são incentivados a realizar estágios com duração de 6 a 12 meses em universidades parceiras no exterior. Nesses casos, há também a possibilidade de estabelecimento de acordos de dupla-diplomação.
Estágio de docência: durante o curso, alunos de Mestrado e Doutorado podem estagiar nas disciplinas oferecidas em alguns cursos de Graduação relacionados à Escola Politécnica (Ciência da Computação, Engenharia de Computação, Engenharia de Software e Sistemas de Informação).
Pós-doutorado: projetos vinculados ao PPGCC/PUCRS oferecem oportunidades para pós-doutorandos os quais podem ser financiados por bolsas CAPES ou bolsas obtidas através de projetos com empresas. Para acessar o último edital, clique aqui.
Credenciamento Docente: O PPGCC abre período para avaliação de pedidos de credenciamento anualmente no mês de outubro. O credenciamento segue edital público e é orientado por áreas de interesses pré-definidas.
Nesta sessão você encontrará os resumos das teses defendidas pelos alunos do nosso programa, os “links” resumo levam aos arquivos individuais de cada aluno.
Neste “link”, a Biblioteca Central disponibiliza todas as Teses e Dissertações em formato eletrônico a partir de 2006/1.
| Nº de Defesa | Nome | Defesa | Resumo |
| 519 | Matheus Duarte Vasconcelos | 31/08/2017 | resumo |
| 518 | Rafael Cauduro Oliveira Macedo | 30/08/2017 | resumo |
| 517 | Ralph José Rassweiller Filho | 22/08/2017 | resumo |
| 516 | Thomas Volpato de Oliveira | 22/08/2017 | resumo |
| 515 | Fabio Miguel Blasak da Fonseca | 11/08/2017 | resumo |
| 514 | Juliana Damasio Oliveira | 04/08/2017 | resumo |
| 513 | Ricardo Aquino Guazzeli | 31/03/2017 | resumo |
| 512 | Ânderson Rodrigo Schuh | 30/03/2017 | resumo |
| 511 | Marina Bellenzier | 29/03/2017 | resumo |
| 510 | Alan Diego dos Santos | 29/03/2017 | resumo |
| 509 | Eduardo Ghidini | 29/03/2017 | resumo |
| 508 | Thomas da Silva Paula | 28/03/2017 | resumo |
| 507 | Stephan Chang | 24/03/2017 | resumo |
| 506 | Matheus Crespi Schenfeld | 23/03/2017 | resumo |
| 505 | Marcelo Melo Linck | 22/03/2017 | resumo |
| 504 | Gianlucca Oliveira Puglia | 21/03/2017 | resumo |
| 503 | Julia Silva Weber | 21/03/2017 | resumo |
| 502 | Henry Emanuel Leal | 20/03/2017 | resumo |
| 501 | Elisa Costa Diel | 16/03/2017 | resumo |
| 500 | Rafael Anton Eichelberger | 15/03/2017 | resumo |
| 499 | Ramon Costi Fernandes | 13/03/2017 | resumo |
| 498 | Leonardo Rosa Amado | 13/03/2017 | resumo |
| 497 | João Pedro Dewes Guterres | 08/03/2017 | resumo |
| Nº de Defesa | Nome | Defesa | Resumo |
| 496 | Greice De Carli Roman | 15/12/2016 | resumo |
| 495 | Jônatas Wehrmann | 29/10/2016 | resumo |
| 494 | Luciano Alves | 23/09/2016 | resumo |
| 493 | Mateus Eugênio Colet | 19/08/2016 | resumo |
| 492 | Filipo Novo Mór | 18/08/2016 | resumo |
| 491 | Pedro Costa Klein | 29/03/2016 | resumo |
| 490 | Holisson Soares da Cunha | 30/03/2016 | resumo |
| 489 | Ildo Inês Robão Massitela | 23/03/2016 | resumo |
| 488 | Marcelo Vasconcelos Gomes | 30/06/2016 | resumo |
| 487 | Ramon Fraga Pereira | 15/03/2016 | resumo |
| 486 | Maurício Cecílio Magnaguagno | 11/03/2016 | resumo |
| 485 | Matheus Gibiluka | 04/03/2016 | resumo |
| 484 | Leonardo Veronese Soletti | 30/03/2016 | resumo |
| 483 | Graziela Basilio Pereira | 18/03/2016 | resumo |
| 482 | Marcelo Cabral Ghilardi | 28/03/2016 | resumo |
| 481 | Lauriane Correa Pereira Moraes | 29/03/2016 | resumo |
| 480 | Rodrigo Augusto Silva dos Santos | 10/03/2016 | resumo |
| 479 | Bruno Gomes Xavier | 04/03/2016 | resumo |
| 478 | Marcelo da Silva Conterato | 15/01/2016 | resumo |
| 477 | Rodrigo Cadore Cataldo | 04/03/2016 | resumo |
| 476 | Flávio Steffens de Castro | 19/01/2016 | resumo |
| 475 | João Henrique Stocker Pinto | 29/02/2016 | resumo |
| 474 | Kassiano José Matteussi | 25/03/2016 | resumo |
| 473 | Ramão Tiago Tiburski | 16/03/2016 | resumo |
| 472 | Willian Tessaro Lunardi | 23/03/2016 | resumo |
| 471 | Anibal Sólon Heinsfeld | 28/03/2016 | resumo |
| 470 | Augusto Weiand | 01/03/2016 | resumo |
| 469 | Cleverson Lopes Ledur | 30/03/2016 | resumo |
| 468 | Douglas Roberto Guarani da Silva | 03/03/2016 | resumo |
| 467 | Everton de Matos | 29/03/2016 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 466 | Bruno Konzen Stahl | 17/12/2015 | resumo | |
| 465 | Walter Ritzel Paixão-Côrtes | 26/08/2015 | resumo | |
| 464 | Vanessa Stangherlin Machado | 26/08/2015 | resumo | |
| 463 | João Paulo de Souza Aires | 07/08/2015 | resumo | |
| 462 | Aline Zanin | 26/08/2015 | resumo | |
| 461 | Rômulo Reis de Oliveira | 24/04/2015 | resumo | |
| 460 | Daniel Couto Adornes | 31/03/2015 | resumo | |
| 469 | Samir Young Jun Zampiva | 30/03/2015 | resumo | |
| 458 | Marco Pokorski Stefani | 30/03/2015 | resumo | |
| 457 | Alison Roberto Panisson | 27/03/2015 | resumo | |
| 456 | Deivid Antunes Tesch | 27/03/2015 | resumo | |
| 455 | Márcio Gustavo Gusmão Scherer | 27/03/2015 | resumo | |
| 454 | Endrigo D’Agostini Conte | 26/03/2015 | resumo | |
| 453 | Felipe de Fraga Roman | 24/03/2015 | resumo | |
| 452 | Pablo Frederico Oliveira Thiele | 24/03/2015 | resumo | |
| 451 | Felipe Groisman Sieben | 20/03/2015 | resumo | |
| 450 | Isaque Vacari | 17/03/2015 | resumo | |
| 449 | Ciro Goulart dos Santos | 17/03/2015 | resumo | |
| 448 | Cristofer Weber | 16/03/2015 | resumo | |
| 447 | Douglas Machado Monteiro | 16/03/2015 | resumo | |
| 446 | Francisco Favorino da Silva Barreto | 13/03/2015 | resumo | |
| 445 | Pablo Neves Machado | 26/03/2015 | resumo | |
| 444 | Gregory de Oliveira Feijó | 18/06/2015 | resumo | |
| 443 | Daniel Camozzato | 18/06/2015 | resumo | |
| 442 | Nestor Ziliotto Salamon | 13/03/2015 | resumo | |
| 441 | Vinícius Morais Fochi | 13/03/2015 | resumo | |
| 440 | Márcio Godoy Morais | 11/03/2015 | resumo | |
| 439 | Rodrigo Buenavides Wesz | 11/03/2015 | resumo | |
| 438 | Silvia Cristina Nunes das Dôres | 06/03/2015 | resumo | |
| 437 | Daniela Schmidt | 06/03/2015 | resumo | |
| 436 | Caroline Seligman Froehlich | 26/02/2015 | resumo | |
| 435 | Israel Campos de Oliveira | 13/03/2015 | resumo | |
| 434 | Régio Antonio Michelin | 22/01/2015 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 433 | Vinícius Santos da Silva | 25/08/2014 | resumo | |
| 432 | Germano Duarte Mergel | 31/07/2014 | resumo | |
| 431 | Priscila Guarienti | 31/03/2014 | resumo | |
| 430 | Rafael Cauê Cardoso | 21/03/2014 | resumo | |
| 429 | Giuliano Bruno Martins Guarese | 18/03/2014 | resumo | |
| 428 | Tiago da Silveira Duarte | 18/03/2014 | resumo | |
| 427 | Yan Ghidini de Souza | 12/03/2014 | resumo | |
| 426 | William Schneider | 13/03/2014 | resumo | |
| 425 | Oliver Bellaver Longhi | 12/03/2014 | resumo | |
| 424 | Luis Carlos Jersak | 26/02/2014 | resumo | |
| 423 | Paolo Cemim | 06/03/2014 | resumo | |
| 422 | Marcelo Ruaro | 26/02/2014 | resumo | |
| 421 | Rodrigo Castro Martins | 24/02/2014 | resumo | |
| 420 | Lucio Polese Cossio | 17/03/2014 | resumo | |
| 419 | Luciano Niederauer Schonarth | 11/03/2014 | resumo | |
| 418 | Jieverson Maissiat | 24/02/2014 | resumo | |
| 417 | Flaviano Jacobs Luzzatto | 07/03/2014 | resumo | |
| 416 | Felipe Eduardo Lammel | 25/02/2014 | resumo | |
| 415 | Felipe Augusto Kuentzer | 25/02/2014 | resumo | |
| 414 | Fabiano Ricardo Farias | 23/04/2014 | resumo | |
| 413 | Evandro Brasil Fonseca | 21/03/2014 | resumo | |
| 412 | Daiane Hemerich | 20/03/2014 | resumo | |
| 411 | Antônio Rafael da Rosa Techio | 17/03/2014 | resumo | |
| 410 | Bruno Fin Ferreira | 11/03/2014 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 409 | Viviane Linck Lara | 25/11/2013 | resumo | |
| 408 | Timoteo Alberto Peters Lange | 30/08/2013 | resumo | |
| 407 | Christian Lykawka | 06/08/2013 | resumo | |
| 406 | Adriana Cássia da Costa | 22/04/2013 | resumo | |
| 405 | Vanderson Dill | 27/03/2013 | resumo | |
| 404 | Vinicius Pessil Bohrer | 27/03/2013 | resumo | |
| 403 | Lucas Giaretta Oleksinski | 25/03/2013 | resumo | |
| 402 | Luana Müller | 25/03/2013 | resumo | |
| 401 | Francine Bülow Bergmann | 27/03/2013 | resumo | |
| 400 | Lucas Welter Hilgert | 26/03/2013 | resumo | |
| 399 | Paulo Jacó Rech | 27/03/2013 | resumo | |
| 398 | Claiton Marques Correa | 23/03/2013 | resumo | |
| 397 | Tiago Luis Bonamigo | 22/03/2013 | resumo | |
| 396 | Igor Kramer Pinotti | 22/03/2013 | resumo | |
| 395 | Felipe Gohring de Magalhães | 21/03/2013 | resumo | |
| 394 | Leandro Sehnem Heck | 27/03/2013 | resumo | |
| 393 | Alberto do Carmo Sulzbacher Wondracek | 25/03/2013 | resumo | |
| 392 | Miguel Gomes Xavier | 20/032013 | resumo | |
| 391 | Vanessa Marcos Gomes | 18/03/2013 | resumo | |
| 390 | Daniela Oliveira Ferreira do Amaral | 15/03/2013 | resumo | |
| 389 | Thiago Lipinski Paes | 15/03/2013 | resumo | |
| 388 | Eduardo Henrique Spies | 15/03/2013 | resumo | |
| 387 | Juliano Gomes da Silveira | 14/03/2013 | resumo | |
| 386 | Silvana Teodoro | 13/03/2013 | resumo | |
| 385 | Guilherme Afonso Madalozzo | 11/03/2013 | resumo | |
| 384 | Laura Mattos Flach | 15/03/2013 | resumo | |
| 383 | Rafael Hocevar de Moura | 15/03/2013 | resumo | |
| 382 | Artur Luiz Silva da Cunha Freitas | 08/03/2013 | resumo | |
| 381 | Jerônimo Carbonell Corrêa | 20/03/2013 | resumo | |
| 380 | Roni Antônio Dall Orsoletta | 01/03/2013 | resumo | |
| 379 | Bernardo José da Silva Estácio | 28/02/2013 | resumo | |
| 378 | Guilherme Machado de Castilhos | 25/01/2013 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 377 | Vinicius Hartmann Ferreira | 11/12/2012 | resumo | |
| 376 | Eduardo José Fabris | 28/11/2012 | resumo | |
| 375 | Silvio Normey Gómez | 30/08/2012 | resumo | |
| 374 | Raffael Bottoli Schemmer | 29/08/2012 | resumo | |
| 373 | Guilherme Heck | 27/08/2012 | resumo | |
| 372 | Rafael Tweedie Campos | 09/08/2012 | resumo | |
| 371 | Raquel Dias | 06/08/2012 | resumo | |
| 370 | Filipi Damasceno Vianna | 10/08/2012 | resumo | |
| 369 | Alan Ricardo dos Santos | 27/08/2012 | resumo | |
| 368 | Henry Braun | 03/08/2012 | resumo | |
| 367 | Renata De Paris | 12/04/2012 | resumo | |
| 366 | Fábio André Frantz | 12/04/2012 | resumo | |
| 365 | Fernando Furlan Rui | 29/03/2012 | resumo | |
| 364 | Estevão Ricardo Hess | 28/03/2012 | resumo | |
| 363 | Rafael Audy Glanzner | 28/03/2012 | resumo | |
| 362 | Silvio Augusto Langer | 28/03/2012 | resumo | |
| 361 | Matheus Cavalheiro Teixeira | 23/03/2012 | resumo | |
| 360 | Paulo Guilherme Gil | 22/03/2012 | resumo | |
| 359 | Thiago Raupp da Rosa | 27/03/2012 | resumo | |
| 358 | Bernardo Severo de Souza | 23/03/2012 | resumo | |
| 357 | Karina Cristina da Motta Dall’Agno | 22/03/2012 | resumo | |
| 356 | Angelina de Carvalho A. Ziesemer | 20/03/2012 | resumo | |
| 355 | Marlo Vieira dos Santos e Souza | 19/03/2012 | resumo | |
| 354 | Dalvan Jair Griebler | 19/03/2012 | resumo | |
| 353 | Joaquim Vinicius Carvalho Assunção | 27/03/2012 | resumo | |
| 352 | Luis Fernando Planella Gonzalez | 27/03/2012 | resumo | |
| 351 | Alexandre Kazuo Seki | 15/03/2012 | resumo | |
| 350 | Taciano Dreckmann Perez | 15/03/2012 | resumo | |
| 349 | Matheus Trevisan Moreira | 13/04/2012 | resumo | |
| 348 | Leandro Teodoro Costa | 08/03/2012 | resumo | |
| 347 | Maicon Bernardino da Silveira | 08/03/2012 | resumo | |
| 346 | Eduardo de Brum Antunes | 29/02/2012 | resumo | |
| 345 | Leonardo Rodriguez Heredia | 26/01/2012 | resumo | |
| 344 | Rafael Mezzari | 23/01/2012 | resumo | |
| 343 | Tales Marchesan Chaves | 23/01/2012 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 342 | João Batista Mossmann | 19/04/2011 | resumo | |
| 341 | Rafael Nemetz | 31/03/2011 | resumo | |
| 340 | Peterson Fernandes Colares | 30/03/2011 | resumo | |
| 339 | Roger Leitzke Granada | 29/03/2011 | resumo | |
| 338 | Neumar Silva Ribeiro | 29/03/2011 | resumo | |
| 337 | Carolina Marques Fonseca | 29/03/2011 | resumo | |
| 336 | Marcelo Zilio Pereira | 28/03/2011 | resumo | |
| 335 | Luis Henrique Souza Fidelix | 25/03/2011 | resumo | |
| 334 | Luis Otávio de Colla Furquim | 25/03/2011 | resumo | |
| 333 | Fabiana Winovski w | 24/03/2011 | resumo | |
| 332 | Humberto Dumont Souto Júnior | 23/03/2011 | resumo | |
| 331 | Aline Duarte Riva | 23/03/2011 | resumo | |
| 330 | Eduardo Weber Wächter | 23/03/2011 | resumo | |
| 329 | Christian Vahl Quevedo | 22/03/2011 | resumo | |
| 328 | Marcelo Grandi Mandelli | 22/03/2011 | resumo | |
| 327 | Vinícius Jurinic Cassol | 22/03/2011 | resumo | |
| 326 | Alberto Sales E Silva | 21/03/2011 | resumo | |
| 325 | Antonio Argeu Moreira de Lima | 18/03/2011 | resumo | |
| 324 | Luciana da Silveira Espindola | 17/03/2011 | resumo | |
| 323 | Igor da Silveira Wendt | 15/03/2011 | resumo | |
| 322 | Everton Luís Berz | 24/01/2011 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 321 | Mírian Bruckschen | 20/12/2010 | resumo | |
| 320 | André Luís da Silva | 31/08/2010 | resumo | |
| 319 | Evandro Miguel Kuszera | 25/03/2010 | resumo | |
| 318 | Cleber Roberto Milani | 25/03/2010 | resumo | |
| 317 | Luciano Rigelo Azevedo | 22/03/2010 | resumo | |
| 316 | Adilson Arthur Mohr | 22/03/2010 | resumo | |
| 315 | Paulo Junior Penna Pivetta | 19/03/2010 | resumo | |
| 314 | Rossana Baptista de Queiros | 19/03/2010 | resumo | |
| 313 | Juliano Lucas Moreira | 17/03/2010 | resumo | |
| 312 | John Igor Bandeira da Cruz | 16/03/2010 | resumo | |
| 311 | Luciano Costa Blomberg | 19/03/2010 | resumo | |
| 310 | Taciano Ares Rodolfo | 15/03/2010 | resumo | |
| 309 | Anderson Besteti dosSantos | 15/03/2010 | resumo | |
| 308 | Larissa Astrogildo de Freitas | 15/03/2010 | resumo | |
| 307 | Élder Francisco Fontana Bernarfi | 11/03/2010 | resumo | |
| 306 | Vinicius Vieira Gomes | 09/03/2010 | resumo | |
| 305 | Eduardo da Silva Brandes | 09/03/2010 | resumo | |
| 304 | Samuel Camargo de Souza | 12/03/2010 | resumo | |
| 303 | Dione Tascheto | 12/03/2010 | resumo | |
| 302 | Leonardo Davi Viccari | 12/ 03/2010 | resumo | |
| 301 | Samuel dos Santos Marczak | 11/03/2010 | resumo | |
| 300 | Tatiane Coreixas de Moraes | 10/03/2010 | resumo | |
| 299 | Rejane Nunes Schösser | 04/03/2010 | resumo | |
| 298 | Rodrigo Fernando Shimazu | 27/01/2010 | resumo | |
| 297 | Toni Amorim de Oliveira | 27/01/2010 | resumo | |
| 296 | Clarissa Castellã Xavier | 08/03/2010 | resumo | |
| 295 | Alzemiro Henrique L. de Oliveira | 27/01/2010 | resumo | |
| 294 | Thaís Ebling | 21/01/2010 | resumo | |
| 293 | Gustavo Bahnert | 18/01/2010 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 292 | Gunnar Ramos Fermino | 21/12/2009 | resumo | |
| 291 | André Luís Sanson Gomes | 18/12/2009 | resumo | |
| 290 | Juliana Fonseca Antunes | 17/12/2009 | resumo | |
| 289 | Luciano Zamperetti Wolski | 21/12/2009 | resumo | |
| 287 | Ivan Luiz Pedroso Pires | 21/12/2009 | resumo | |
| 286 | Everton Ricardo do Nascimento | 17/12/2009 | resumo | |
| 285 | Rodrigo Coelho Barros | 10/12/2009 | resumo | |
| 284 | Mauro Francisco dos Santos Junior | 18/12/2009 | resumo | |
| 283 | Estelamaris Pellissari | 18/12/2009 | resumo | |
| 282 | Custódio Gastão da Silva | 15/12/2009 | resumo | |
| 281 | Odair Moreira | 23/10/2009 | resumo | |
| 280 | Cirano Soares de Campos | 07/10/2009 | resumo | |
| 279 | Fernando Selleri Silva | 24/09/2009 | resumo | |
| 278 | Nilseu Perside Ortiz Padilha Junior | 21/09/2009 | resumo | |
| 277 | Katya Patricia Hunhoff | 19/08/2009 | resumo | |
| 276 | Adriano Lima Nepomuceno | 19/08/2009 | resumo | |
| 275 | Jeronimo Cunha Bezzera | 07/08/2009 | resumo | |
| 274 | Maicon Aparecido Sartin | 20/07/2009 | resumo | |
| 273 | Edson Shin-Iti Komatsu | 06/07/2009 | resumo | |
| 272 | Benevid Felix da Silva | 06/07/2009 | resumo | |
| 271 | Tales Nereu Bogoni | 06/07/2009 | resumo | |
| 270 | Leonardo da Silva Romeu | 30/04/2009 | resumo | |
| 269 | Everton Batista Petró Alexandre | 30/03/2009 | resumo | |
| 268 | Thiago Locatelli da Silva | 26/03/2009 | resumo | |
| 267 | Marcelo Paravisi | 27/03/2009 | resumo | |
| 266 | Rafael Araújo Rodrigues | 27/03/2009 | resumo | |
| 265 | André Benvenuti Trombetta | 26/03/2009 | resumo | |
| 264 | Ezequiel Conceição Blasco | 16/03/2009 | resumo | |
| 263 | Gabriel Rossato Costa | 19/03/2009 | resumo | |
| 262 | Luciana Mesquita Belleza | 18/03/2009 | resumo | |
| 261 | Alexandra da Costa Aguiar | 11/03/2009 | resumo | |
| 260 | Josiane Fontoura dos Anjos Brandolt | 09/03/2009 | resumo | |
| 259 | Guilherme Spolavori dos Santos | 05/03/2009 | resumo | |
| 258 | Felipe Bacin de Araujo e Silva | 28/01/2009 | resumo | |
| 257 | Andriele Bussatto do Carmo | 27/01/2009 | resumo | |
| 256 | Thyago Bohrer Borges | 26/01/2009 | resumo | |
| 255 | Marcelo da Silva Strzykalski | 26/01/2009 | resumo | |
| 254 | Ricardo Farias Bidart Piccoli | 23/01/2009 | resumo | |
| 253 | Carlos Alberto Petry | 16/01/2009 | resumo | |
| 252 | Mateus Raeder | 16/01/2009 | resumo | |
| 251 | Thiago Tasca Nunes | 16/01/2009 | resumo | |
| 250 | Márcio Bastos Castro | 16/01/2009 | resumo | |
| 249 | Guilherme Montez Guindani | 12/01/2009 | resumo | |
| 248 | Karine de Pinho Peralta | 08/01/2009 | resumo | |
| 247 | Elder de Macedo Rodrigues | 08/01/2009 | resumo | |
| 246 | Rita Cristina Galarraga Berardi | 7/01/2009 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 245 | Valderi Reis Quietinho Leithardt | 30/12/2008 | resumo | |
| 244 | Alex Mulattieri Suarez Orozco | 23/12/2008 | resumo | |
| 243 | Marcos Tadeu Silva | 23/12/2008 | resumo | |
| 242 | Giovani Salvador | 22/12/2008 | resumo | |
| 241 | Marcos José Hermes | 19/12/2008 | resumo | |
| 240 | Maurício da Silva Escobar | 12/12/2009 | resumo | |
| 239 | Filipe Pereira da Silveira | 25/08/2008 | resumo | |
| 238 | Fernanda Vieira Figueira | 31/03/2008 | resumo | |
| 237 | Rafael Antonioli | 28/03/2008 | resumo | |
| 236 | Fabrício Pretto | 26/03/2008 | resumo | |
| 235 | Márcio Martins Farias | 25/03/2008 | resumo | |
| 234 | Mauro Strelow Storch | 26/03/2008 | resumo | |
| 233 | Alexandre Gaddo | 25/03/2008 | resumo | |
| 232 | Jeferson Librelotto Prevedello | 18/03/2008 | resumo | |
| 231 | Sérgio Johann Filho | 04/03/2008 | resumo | |
| 230 | Felipe Mainieri Franciosi | 28/02/2008 | resumo | |
| 229 | Kleinner Silva Farias de Oliveira | 28/02/2008 | resumo | |
| 228 | Julian José Hilgemberg Pontes | 19/02/2008 | resumo | |
| 227 | Roger Gonçalves Urdagarin | 28/02/2008 | resumo | |
| 226 | Danilo Rosa dos Santos | 30/01/2008 | resumo | |
| 225 | Daniel da Silva Elian | 29/01/2008 | resumo | |
| 224 | Rafael Saraiva Garcia | 30/01/2008 | resumo | |
| 223 | Maurício Covolan Rosito | 17/01/2008 | resumo | |
| 222 | Márcio Dorn | 14/01/2008 | resumo | |
| 221 | Tiago Thompsen Primo | 24/03/2008 | resumo | |
| 220 | Flávio Franco Knob | 22/01/2008 | resumo | |
| 219 | Tiago Silva da Silva | 16/01/2008 | resumo | |
| 218 | André Luiz Becker | 16/01/2008 | resumo | |
| 217 | Guilherme da Cunha Rodrigues | 17/01/2008 | resumo | |
| 216 | Fábio Diniz Rossi | 15/01/2008 | resumo | |
| 215 | Marcos Camponogara | 09/01/2008 | resumo | |
| 214 | Everton Alceu Carara | 10/01/2008 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 213 | Patrícia Souza Silveira | 21/12/2007 | resumo | |
| 212 | Ana Trindade Winck | 20/12/2007 | resumo | |
| 211 | Hugo Vares Vieira | 17/12/2007 | resumo | |
| 210 | Gustavo Sandini Linden | 06/12/2007 | resumo | |
| 209 | Rosana Perazzolo Disconzi | 31/10/2007 | resumo | |
| 208 | Guilherme Frederico Rohde | 31/08/2007 | resumo | |
| 207 | Daniel da Silva Cotrim | 15/08/2007 | resumo | |
| 206 | Marcos Borba Cardoso | 12/07/2007 | resumo | |
| 205 | Thaize Rorato | 11/05/2007 | resumo | |
| 204 | Leandro Paulo Bogoni | 30/03/2007 | resumo | |
| 203 | Karina dos Santos Machado | 30/03/2007 | resumo | |
| 202 | Carlos Adail Scherer Junior | 30/03/2007 | resumo | |
| 201 | Joseane Abudes Pedroso | 28/03/2007 | resumo | |
| 200 | Ricardo Rosa Angrisani | 21/03/2007 | resumo | |
| 199 | André de Almeida Barros | 20/03/2007 | resumo | |
| 198 | Leonardo Penczek | 16/03/2007 | resumo | |
| 197 | Andressa Covatti | 09/03/2007 | resumo | |
| 196 | Fábio Longaray Delamare | 02/03/2007 | resumo | |
| 195 | Márcio Garcia Martins | 22/03/2007 | resumo | |
| 194 | Luís Henrique Leal Ries | 22/03/2007 | resumo | |
| 193 | Elisa Cerri e Cerri | 08/03/2007 | resumo | |
| 192 | Cristiane Raquel Woszezenki | 28/02/2007 | resumo | |
| 191 | David Matschulat | 26/02/2007 | resumo | |
| 190 | Juliano Baldez de Freitas | 26/01/2007 | resumo | |
| 189 | Ana Paula Lemke | 24/01/2007 | resumo | |
| 188 | Vanessa Barbisan Pires | 23/01/2007 | resumo | |
| 187 | Rodrigo Perozzo Noll | 22/01/2007 | resumo | |
| 186 | Jean Paulo Sandri Orengo | 18/01/2006 | resumo | |
| 185 | Aline Vieira de Mello | 16/01/2007 | resumo | |
| 184 | Gabriel Marchesan Almeida | 12/01/2007 | resumo | |
| 183 | Márcio Porto Basgalupp | 11/01/2007 | resumo | |
| 182 | Mauro César Charão dos Santos | 09/01/2007 | resumo | |
| 181 | Túlio Lima Baségio | 05/01/2007 | resumo | |
| 180 | Patrick Ücker Calvetti | 05/01/2007 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 179 | Rafael Rieder | 21/12/2006 | resumo | |
| 178 | Maria Isabel Giusti Moreira | 21/12/2006 | resumo | |
| 177 | Fabiana Zaffalon Ferreira | 15/12/2006 | resumo | |
| 176 | Cristian Tristão | 14/12/2006 | resumo | |
| 175 | Lucas Janssen Baldo | 12/12/2006 | resumo | |
| 174 | Pedro Antônio M. de C. Velho | 14/09/2006 | resumo | |
| 173 | Guilherme A. Anzilago Tesser | 30/08/2006 | resumo | |
| 172 | Caren Moraes Nichele | 23/08/2006 | resumo | |
| 171 | Ana Paula Salengue Scolari | 31/03/2006 | resumo | |
| 170 | Fábio Paulo Basso | 31/03/2006 | resumo | |
| 169 | Rodrigo Santos de Espíndola | 30/03/2006 | resumo | |
| 168 | Leonardo Santa Maria Pilatti | 30/03/2006 | resumo | |
| 167 | Peter Schuck Hemasath | 30/03/2006 | resumo | |
| 166 | Nathalie Rey da Silva | 23/03/2006 | resumo | |
| 165 | Gustavo da Costa Oliveira | 16/03/2006 | resumo | |
| 164 | Taísa Carla Novello | 08/03/2006 | resumo | |
| 163 | Ricardo De Gasperi Presotto | 02/03/2006 | resumo | |
| 162 | Fábio Pasini | 23/02/2006 | resumo | |
| 161 | Rogério Timmers Zambom | 27/01/2006 | resumo | |
| 160 | Virginia Silva da Cunha | 27/01/2006 | resumo | |
| 159 | Érico Nunes Ferreira Bastos | 26/01/2006 | resumo | |
| 158 | Rodrigo Neves Calheiros | 24/01/2006 | resumo | |
| 157 | Rafael Krolow Santos Silva | 23/01/2006 | resumo | |
| 156 | Augusto Mecking Caringi | 19/01/2006 | resumo | |
| 155 | Melissa Schwanz Vetromille | 19/01/2006 | resumo | |
| 154 | Odorico Machado Mendizabal | 18/01/2006 | resumo | |
| 153 | Leonardo Albernaz Amaral | 17/01/2006 | resumo | |
| 152 | Rafael Iankowski Soares | 16/01/2006 | resumo | |
| 151 | Luciano Bathaglini Biasi | 11/01/2006 | resumo | |
| 150 | Diego Alonso Hinojoza Foronda | 10/01/2006 | resumo | |
| 149 | Régis Augusto Poli Kopper | 09/01/2006 | resumo | |
| 148 | Aléxis Cabeda Faria | 06/01/2006 | resumo | |
| 147 | Ricardo Melo Czekster | 04/01/2006 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 146 | Fabiano Turchetto | 20/12/2005 | resumo | |
| 145 | Leandro Heleno Möller | 19/12/2005 | resumo | |
| 144 | Leonel Pablo Tedesco | 19/12/2005 | resumo | |
| 143 | Eliana Beatriz Pereira | 19/12/2005 | resumo | |
| 142 | André Rodrigues da Silva | 14/12/2005 | resumo | |
| 141 | Everton S. Reisdorfer Dewes | 18/11/2005 | resumo | |
| 140 | Mônica Lopes Muniz Corrêa | 22/07/2005 | resumo | |
| 139 | Rafael Matone Chanin | 07/07/2005 | resumo | |
| 138 | Silvia C. Coelho de Oliveira | 25/05/2005 | resumo | |
| 137 | Luiz Carlos Mieres Caruso | 15/04/2005 | resumo | |
| 136 | Felipe Barp Neuwald | 28/03/2005 | resumo | |
| 135 | Cristiano Bertollini | 28/02/2005 | resumo | |
| 134 | Ricardo Furtado Joris | 28/02/2005 | resumo | |
| 133 | Leandro Teixeira Lopes | 31/01/2005 | resumo | |
| 132 | Eduardo Costa Lopes | 20/01/2005 | resumo | |
| 131 | Rodrigo Perottoni | 14/01/2005 | resumo | |
| 130 | Giliane Redolfi | 13/01/2005 | resumo | |
| 129 | Daniel Ordobás Bortolás | 13/01/2005 | resumo | |
| 128 | Mariana Luderitz Kolberg | 11/01/2005 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 127 | Mariângela Vanzin | 20/12/2004 | resumo | |
| 126 | Caroline Bellan Oliva | 20/12/2004 | resumo | |
| 125 | Andrei Oliveira da Silva | 15/12/2004 | resumo | |
| 124 | Marco Aurélio Stelmar Netto | 19/11/2004 | resumo | |
| 123 | Leandro Ávila de Ávila | 12/08/2004 | resumo | |
| 122 | Luciana Spagnoli | 09/08/2004 | resumo | |
| 121 | Tito Lívio Castro | 02/06/2004 | resumo | |
| 120 | Fernanda Lopes Guedes | 17/03/2004 | resumo | |
| 119 | Ewerson Luiz de Souza Carvalho | 11/03/2004 | resumo | |
| 118 | Anibal Lopes Guedes | 11/03/2004 | resumo | |
| 117 | Edson Ifarraguirre Moreno | 05/03/2004 | resumo | |
| 116 | Luciano Copelo Ost | 05/03/2004 | resumo | |
| 115 | Claudia Pedrozo da Silva | 05/03/2004 | resumo | |
| 114 | João Ricardo de Bittencourt Menezes | 01/03/2004 | resumo | |
| 113 | Eduardo Wenzel Brião | 21/01/2004 | resumo | |
| 112 | Tasso Gomes de Faria | 15/01/2004 | resumo | |
| 111 | Simone Regina Ceolin | 12/01/2004 | resumo | |
| 110 | João Carlos de Carvalho e Silva Ribeiro | 09/01/2004 | resumo | |
| 109 | Ângela Cristina Mazzorani | 09/01/2004 | resumo | |
| 108 | Marcírio Silveira Chaves | 09/01/2004 | resumo | |
| 107 | Carlos Guilherme Marquardt | 09/01/2004 | resumo | |
| 106 | Osmar Marchi dos Santos | 08/01/2004 | resumo | |
| 105 | Paulo Henrique de Souza Schneider | 07/01/2004 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 104 | Leonardo Cavalheiro Langie | 22/12/2003 | resumo | |
| 103 | Afonso Henrique Corrêa de Sales | 22/12/2003 | resumo | |
| 102 | Thais Christina Webber dos Santos | 22/12/2003 | resumo | |
| 101 | Cristiano Bonato Both | 12/12/2003 | resumo | |
| 100 | Tiago Coelho Ferreto | 11/12/2003 | resumo | |
| 99 | Felipe Rech Meneguzzi | 09/12/2003 | resumo | |
| 98 | Sabrina dos Santos Marczak | 21/11/2003 | resumo | |
| 97 | Rafael Prikladnicki | 21/10/2003 | resumo | |
| 96 | Leonardo Brenner | 27/08/2003 | resumo | |
| 95 | Carine Bueira Loureiro | 26/08/2003 | resumo | |
| 94 | Anete Persch Espindola | 31/07/2003 | resumo | |
| 93 | Cassiano Ricardo Hess | 28/02/2003 | resumo | |
| 92 | Luciano Azevedo Cassol | 27/02/2003 | resumo | |
| 91 | Leonardo Dutra Castanheira | 20/02/2003 | resumo | |
| 90 | Sheila Moreira Souza | 28/01/2003 | resumo | |
| 89 | Eduardo Tavares Rödel | 21/01/2003 | resumo | |
| 88 | Letícia dos Santos Machado | 17/01/2003 | resumo | |
| 87 | Alexandre de Morais Amory | 10/01/2003 | resumo | |
| 86 | Luiz Augusto Sangoi Pizzato | 08/01/2003 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 85 | Roberto Zanoni | 26/12/2002 | resumo | |
| 84 | Alberto Sbardelotto Chemale | 20/12/2002 | resumo | |
| 83 | Andréa Aparecida Konzen | 20/12/2002 | resumo | |
| 82 | Willian Bolzan dos Santos | 20/12/2002 | resumo | |
| 81 | Karina Benato | 20/12/2002 | resumo | |
| 80 | Leonardo Sewald Cunha | 19/12/2002 | resumo | |
| 79 | Cristiano Rech Meneguzzi | 18/12/2002 | resumo | |
| 78 | André Gobbi Farina | 18/12/2002 | resumo | |
| 77 | Newton Cunha Müller | 22/11/2002 | resumo | |
| 76 | Paulo César Furlanetto Marques | 02/08/2002 | resumo | |
| 75 | Reynaldo Cardoso Novaes | 29/05/2002 | resumo | |
| 74 | Ricardo Ferreira de Oliveira | 04/04/2002 | resumo | |
| 73 | José Carlos Sant´Anna Palma | 23/01/2002 | resumo | |
| 72 | Mariane Machado Moraes | 17/01/2002 | resumo | |
| 71 | Daniela Rodrigues Ribas | 15/01/2002 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 146 | Fabiano Turchetto | 20/12/2005 | resumo | |
| 145 | Leandro Heleno Möller | 19/12/2005 | resumo | |
| 144 | Leonel Pablo Tedesco | 19/12/2005 | resumo | |
| 143 | Eliana Beatriz Pereira | 19/12/2005 | resumo | |
| 142 | André Rodrigues da Silva | 14/12/2005 | resumo | |
| 141 | Everton S. Reisdorfer Dewes | 18/11/2005 | resumo | |
| 140 | Mônica Lopes Muniz Corrêa | 22/07/2005 | resumo | |
| 139 | Rafael Matone Chanin | 07/07/2005 | resumo | |
| 138 | Silvia C. Coelho de Oliveira | 25/05/2005 | resumo | |
| 137 | Luiz Carlos Mieres Caruso | 15/04/2005 | resumo | |
| 136 | Felipe Barp Neuwald | 28/03/2005 | resumo | |
| 135 | Cristiano Bertollini | 28/02/2005 | resumo | |
| 134 | Ricardo Furtado Joris | 28/02/2005 | resumo | |
| 133 | Leandro Teixeira Lopes | 31/01/2005 | resumo | |
| 132 | Eduardo Costa Lopes | 20/01/2005 | resumo | |
| 131 | Rodrigo Perottoni | 14/01/2005 | resumo | |
| 130 | Giliane Redolfi | 13/01/2005 | resumo | |
| 129 | Daniel Ordobás Bortolás | 13/01/2005 | resumo | |
| 128 | Mariana Luderitz Kolberg | 11/01/2005 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 42 | Jiani Cordeiro Cardoso | 28/12/2000 | resumo | |
| 41 | Marcelo Pedroso da Roza | 22/12/2000 | resumo | |
| 40 | Victor Martins Sant´Anna | 13/12/2000 | resumo | |
| 39 | Tatiana de Oliveira Petry | 13/07/2000 | resumo | |
| 38 | Cinara Guellner Ghedini Hita | 13/06/2000 | resumo | |
| 37 | Walter Adel Leite Pereira | 09/06/2000 | resumo | |
| 36 | Daniel Antonio Callegari | 07/04/2000 | resumo | |
| 35 | Alessandro Copetti | 24/03/2000 | resumo | |
| 34 | Guilherme Dhein | 24/03/2000 | resumo | |
| 33 | Adéle Malta Pontes | 24/03/2000 | resumo | |
| 32 | Mauricio Arone Pillon | 20/03/2000 | resumo | |
| 31 | Karen Selbach Borges | 06/03/2000 | resumo | |
| 30 | André Luís Alice Raabe | 10/03/2000 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 29 | César Augusto Kruger | 27/08/1999 | resumo | |
| 28 | Ricardo Annes | 30/07/1999 | resumo | |
| 27 | Luciano David Gerber | 30/04/1999 | resumo | |
| 26 | Patrícia Augustin Jaques | 12/04/1999 | resumo | |
| 25 | Daniela Remião de Macedo | 24/03/1999 | resumo | |
| 24 | Márcia Cristina Moraes | 24/03/1999 | resumo | |
| 23 | Egídio Loch Terra | 11/01/1999 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 22 | Fabian Viegas | 21/12/1998 | resumo | |
| 21 | Ana Lúcia Zanella | 13/11/1998 | resumo | |
| 20 | Evandro Preuss | 24/08/1998 | resumo | |
| 19 | Eugênio de O. Simonetto | 27/07/1998 | resumo | |
| 18 | Letícia Silva Garcia | 08/07/1998 | resumo | |
| 17 | Francisco Alberto R. Silveira | 08/07/1998 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 16 | Paulo Ricardo C. Abrahão | 15/12/1997 | resumo | |
| 15 | Ivandré Paraboni | 15/12/1997 | resumo | |
| 14 | Alexandre Agustini | 09/12/1997 | resumo | |
| 13 | Luiz Cláudio Dalmolin | 25/09/1997 | resumo | |
| 12 | Raul Henrique D. Martins | 15/07/1997 | resumo | |
| 11 | Ari Ricardo Goetze | 07/07/1997 | resumo | |
| 10 | Dilnei Venturini | 10/07/1997 | resumo | |
| 09 | Ana Paula Terra Bacelo | 04/06/1997 | resumo | |
| 08 | João Luís Tavares da Silva | 24/04/1997 | resumo | |
| 07 | Simone Nunes Ferreira | 24/03/1997 | resumo |
| Nº de Defesa | Nome | Defesa | Volume | Resumo |
| 06 | Salvador Loni T. Camargo | 19/12/96 | resumo | |
| 05 | Adriana Beiler | 13/11/96 | resumo | |
| 04 | Mára Lúcia F. Carneiro | 10/09/96 | resumo | |
| 03 | Henry Muratore de Oliveira | 23/08/96 | resumo | |
| 02 | Marco Antônio I. Gonzalez | 23/08/96 | resumo | |
| 01 | Omer Pohlmann Filho | 19/03/96 | resumo |
O PUCRS PrInt promove a mobilidade de docentes e discentes, com ênfase em doutorandos, pós-doutorandos e docentes para o exterior e do exterior para o Brasil, vinculados a programas de pós-graduação stricto sensu com cooperação internacional.
Os projetos contemplados no Programa de Pós-Graduação em Ciência da Computação são:
O Programa de Doutorado Sanduíche no Exterior (PDSE) oferecerá bolsas de estágio em pesquisa de doutorado no exterior, alinhadas com o Plano de Internacionalização da Instituição de Ensino Superior, de forma a complementar os esforços despendidos pelos programas de pós-graduação Stricto sensu brasileiros de excelência na formação de recursos humanos de alto nível para inserção nos meios acadêmicos, de ensino e de pesquisa no país.
| Público | Valor |
|---|---|
| Público Geral |
R$ 3.217,42
|
O valor integral do Mestrado é parcelado em 24 mensalidades, que devem ser pagas na sua totalidade, mesmo que o estudante conclua o curso antes de dois anos. O valor do Doutorado é dividido em 42 mensalidades que, da mesma forma, devem ser pagas na totalidade, mesmo se o curso for concluído antecipadamente. Estudantes de Doutorado que ingressam logo após a conclusão do Mestrado na PUCRS, com 24 créditos já cursados, terão o número de mensalidades reduzido para 36. Caso não concluam o curso em até três anos, o pagamento é prorrogado até a conclusão, com prazo de 54 meses.
O vencimento das mensalidades ocorre sempre no dia 15 de cada mês, exceto
a primeira parcela (no ingresso ou reingresso) que vencerá conforme escala de
matrículas. O aluno deverá realizar, antes da efetivação da matrícula, o
pagamento da parcela do semestre.
Será cobrado 2% de multa após o vencimento, mais encargos financeiros.
A Universidade envia pelos correios o documento bancário para pagamento
das parcelas. No caso do não recebimento do documento bancário até a data
do vencimento, poderá ser solicitada uma segunda via em qualquer agência
bancária do BRADESCO, mediante informação do CPF do aluno, solicitado
pelo e-mail do Setor Financeiro, [email protected], ou realizado diretamente no Setor Financeiro Acadêmico da Universidade. O Setor Financeiro também envia o boleto para o e-mail cadastrado junto à secretaria do curso.
Caso não tenha concluído o curso (incluindo a defesa da tese ou dissertação) após o período de pagamento das parcelas, o aluno poderá continuar matriculado, desde que mantenha o pagamento das mensalidades.
O limite máximo para a conclusão do Mestrado é de 30 meses, e do Doutorado é de 54 meses, estabelecido no Regimento Geral da Universidade. A não conclusão do Programa de Pós-Graduação nesses prazos levará à exclusão do estudante.
Os valores das parcelas serão reajustados anualmente.
QUEM ESTUDA NA PUCRS TEM MAIS BENEFÍCIOS
Saiba mais sobre as oportunidades de mobilidade acadêmica oferecidas pela Unversidade e outras informações relacionadas.
A pesquisa permite integração entre pesquisares e alunos, participe de um projeto de pesquisa e inicie sua vida na pesquisa com nossos programas e bolsas.
São diversos laboratórios de ensino e pesquisa com equipamentos e softwares de última geração.
Confira quais trilhas você pode seguir a partir deste curso e explore todas as possibilidade de uma formação fluída.
Mestrado
Ciência da Computação
A PUCRS disponibiliza ao estudante da Escola Politécnica diferentes espaços que contribuem com o desenvolvimento de atividades práticas, além de complementar a teoria desenvolvida em sala de aula.
Não perca nada do que está acontecendo e acompanhe todas as notícias da Universidade e fique por dentro!
Veja todas as notícias
Evento aconteceu nos dias 19 e 20 de abril e é considerado o mais tradicional encontro científico do RS na área
sexta-feira, 26 de abril | 2024
