Programa de Pós-Graduação em

CIÊNCIA DA COMPUTAÇÃO

Conceito CAPES – 7

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.

Inscrições: De 29/04 a 30/06/2024

Duração mestrado: 12 a 30 meses

Duração doutorado: 24 a 54 meses

Email: [email protected]

Compartilhe este curso

  • Apresentação

    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.

  • Objetivos

    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.

  • Escopo

    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.

  • Ciência de Dados

    Aprendizado de Máquina – Banco de Dados – Big Data Analytics – Infraestrutura de Big Data – Visualização de Dados

  • Computação Gráfica

    Computação Gráfica – Realidade Aumentada – Realidade Virtual – Simulação de Humanos Virtuais – Visão Computacional

  • Engenharia de Software

    Desenvolvimento de Software Ágil – Engenharia de Requisitos – Interação Humano-Computador – Sistemas de Informação – Teste de Software

  • Inteligência Artificial

    Aprendizado de Máquina – Planejamento Automático – Processamento de Linguagem Natural – Sistemas Multiagentes – Visão Computacional

  • Sistemas Embarcados

    Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica

  • Sistemas Paralelos e Distribuídos

    Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores

  • Agentes Autônomos

    Código 54664-02 | 30 horas-aula

    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.

  • Alto Desempenho para Aplicações de Big Data

    Código 1982E-02 | 30 horas-aula

    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.

  • Animação Computadorizada

    Código 54602-02 | 30 horas-aula

    Introdução à Animação Computadorizada; Modelagem e animação de personagens virtuais; Animação Comportamental; Ambientes Virtuais “inteligentes”.

  • Análise e Visualização de Dados Heterogêneos

    Código 5461A-03 | 45 horas-aula

    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.

  • Aprendizado de Máquina

    Código 54676-02 | 30 horas-aula

    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.

  • Aprendizado por Reforço

    Código 1987I-02 | 30 horas-aula

    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.

  • Arquiteturas Paralelas

    Código 34639-02 | 30 horas-aula

    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).

  • Autonomous Agents

    Código 198BT-02 | 30 horas-aula

    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 de Desempenho de Sistemas

    Código 44626-02 | 30 horas-aula

    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.

  • Bioinformática Comparativa

    Código 34668-02 | 30 horas-aula

    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.

  • Bioinformática Estrutural

    Código 34669-02 | 30 horas-aula

    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.

  • Construção De Algoritmos Distribuídos

    Código 198KL-02 | 30 horas-aula

    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.

  • Computação Bioinspirada

    Código 54683-02 | 30 horas-aula

    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.

  • Computação Gráfica

    Código 54603-02 | 30 horas-aula

    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.

  • Computação em Nuvem

    Código 19805-02 | 30 horas-aula

    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.

  • Comunicação, Linguagem Natural e Ontologias

    Código 54666-03 | 45 horas-aula

    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

    Código 34653-02 | 30 horas-aula

    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

    Código 54668-02 | 30 horas-aula

    Criptografia clássica; cifras de fluxo (stream ciphers) e cifras de bloco (block ciphers); integridade de mensagens (Message Authentication Codess); criptografia simétrica.

  • Criptografia Avançada

    Código 54672-02 | 30 horas-aula

    Aritmética modular; números primos e fatoração; funções e geradores pseudo-aleatórios; criptografia assimétrica; assinaturas digitais.

  • Descoberta de Conhecimento em Base de Dados I

    Código 34674-02 | 30 horas-aula

    Data warehouse. Descoberta de conhecimento em bases de dados. Mineração de dados. Aplicações. Tendências.

  • Desenvolvimento Colaborativo de Software

    Código 54677-02 | 30 horas-aula

    Sistemas Colaborativos. Desenvolvimento de Software Colaborativo. Tendências.

  • Design de Tecnologia Assistiva

    Código 54691-02 | 30 horas-aula

    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.

  • Empreendedorismo Digital – Transformando Conhecimento em Desenvolvimento

    Código 1982K-02 | 30 horas-aula

    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.

  • Extração e Análise Visual de Dados Heterogêneos

    Código 1983J-02 | 30 horas-aula

    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.

  • Gerencia de Infraestrutura TI

    Código 54671-02 | 30 horas-aula

    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.

  • Gestão de Dados para Big Data

    Código 1982F-02 | 30 horas-aula

    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.

  • Infraestrutura para Big Data

    Código 1982H-02 | 30 horas-aula

    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 Computacional

    Código 54606-03 | 45 horas-aula

    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.

  • Internet da Coisas e Cidades Inteligentes: Desafios e Oportunidades

    Código 1982J-02 | 30 horas-aula

    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.

  • Introdução à Supervisão em Pesquisa

    Código 198B6-02 | 30 horas-aula

    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.

  • Laboratório em Processo de Desenvolvimento de Software

    Código 54678-01 | 15 horas-aula

    Desenvolvimento de Software. Ciclo de Vida de Desenvolvimento de Software. Processos de Software. Projeto Prático de Desenvolvimento de Software.

  • Logicas e Álgebras Computacionais

    Código 34648-02 | 30 horas-aula

    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.

  • Modelagem Computacional para Sistemas Embarcados

    Código 54689-02 | 30 horas-aula

    Definiçõ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.

  • Modelagem de Sistemas Embarcados

    Código 54659-03 | 45 horas-aula

    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.

  • Modelos de Programação Distribuída

    Código 54669-02 | 30 horas-aula

    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.

  • Métodos De Pesquisa Experimentais

    Código 198BS-02 | 30 horas-aula

    Introdução à pesquisa científica, o ciclo de pesquisa experimental, métodos de pesquisa experimentais, métodos de coleta e análise de dados.

  • Métodos Analíticos

    Código 34619-02 | 30 horas-aula

    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.

  • Métodos de Pesquisa em Sistemas de Informação II

    Código 54645-03 | 45 horas-aula

    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.

  • Novas fronteiras em bancos de dados

    Código 54679-02 | 30 horas-aula

    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

    Código 54625-02 | 30 horas-aula

    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.

  • Planejamento de Experimentos para Sistemas Computacionais

    Código 5461C-02 | 30 horas-aula

    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 em Inteligência Artificial

    Código 1982D-02 | 30 horas-aula

    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.

  • Plataformas Computacionais para Sistemas Distribuídos

    Código 19802-02 | 30 horas-aula

    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.

  • Processamento da Linguagem Natural

    Código 44639-02 | 30 horas-aula

    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.

  • Processo de Desenvolvimento de Software

    Código 34678-03 | 45 horas-aula

    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.

  • Programação Concorrente

    Código 1982G-02 | 30 horas-aula

    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.

  • Programação Paralela

    Código 34652-04 | 60 horas-aula

    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.

  • Programação Paralela Estruturada

    Código 54695-02 | 30 horas-aula

    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.

  • Programação Paralela Heterogênea

    Código 54696-02 | 30 horas-aula

    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.

  • Programação Paralela com Troca de Mensagens

    Código 1983K-02 | 30 horas-aula

    Modelagem e programação de aplicações paralelas com o paradigma de troca de mensagens. Técnicas de otimização. Análise de desempenho.

  • Projeto e Analise de Algoritmos

    Código 54684-02 | 30 horas-aula

    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.

  • Projetos de Interfaces

    Código 34656-02 | 30 horas-aula

    Estilos de Interação. Diretrizes de Projeto. Modelagem de Interfaces. Acessibilidade.

  • Qualidade de Sistemas Interativos

    Código 34655-02 | 30 horas-aula

    Introdução a Avaliação de Sistemas Interativos. Avaliação por Inspeção. Avaliação por Testes com Usuários.

  • Realidade Virtual

    Código 54610-02 | 30 horas-aula

    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.

  • Redes Neurais Profundas

    Código 19801-02 | 30 horas-aula

    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.

  • Redes de Computadores

    Código 54670-02 | 30 horas-aula

    Evolução das redes de computadores. Principais pilhas de protocolos para redes de computadores. Gerência de redes de computadores. Novas tecnologias de redes.

  • Robótica Móvel Inteligente

    Código 54694-04 | 60 horas-aula

    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.

  • Scalable Data Stream Processing

    Código 198B5-02 | 30 horas-aula

    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.

  • Segurança em Sistemas IoT

    Código 19853-02 | 30 horas-aula

    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.

  • Seminários Integrados

    Código 5461B-02 | 30 horas-aula

    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.

  • Simulação Gráfica

    Código 54611-02 | 30 horas-aula

    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.

  • Sincronização em Sistemas Digitais

    Código 54663-03 | 45 horas-aula

    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.

  • Sistemas Distribuídos

    Código 19803-02 | 30 horas-aula

    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 Integrados em Chip

    Código 54660-03 | 45 horas-aula

    Sistemas embarcados, comunicação intra-chip, barramentos, redes intra-chip, multiprocessamento intra-chip.

  • Sistemas Multi-Agentes

    Código 54665-03 | 45 horas-aula

    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.

  • Sistemas Multiprocessados em Chip – Comunicação e Computação

    Código 198BR-02 | 30 horas-aula

    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.

  • Software Embarcado

    Código 54661-03 | 45 horas-aula

    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.

  • Tendências De Pesquisa Em Ciência Da Computação

    Código 198LB-01 | 15 horas-aula

    Tópicos atuais de interesse em pesquisas e inovação na área de Ciência da Computação.

  • Tecnologias Semânticas

    Código 54693-02 | 30 horas-aula

    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 e sua Aplicação em Diversas Áreas do Conhecimento

    Código 54680-03 | 45 horas-aula

    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.

  • Tendências de Pesquisa em Engenharia de Software

    Código 198H4-01 | 15 horas-aula

    Tópicos atuais de interesse em pesquisas e inovação na área de Engenharia de Software.

  • Tendências de Pesquisa em Engenharia de Software

    Código 198H4-02 | 30 horas-aula

    Tópicos atuais de interesse em pesquisas e inovação na área de Engenharia de Software.

  • Teoria da Computação

    Código 54685-02 | 30 horas-aula

    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.

  • Top. Esp. em Sistemas de Informacao II

    Código 34635-02 | 30 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas de Informação.

  • Técnicas de Projeto VLSI I

    Código 54658-03 | 45 horas-aula

    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.

  • Técnicas de Projeto VLSI II

    Código 54662-03 | 45 horas-aula

    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 Avançados I

    Código 44613-01 | 15 horas-aula

    Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação.

  • Tópicos Avançados II

    Código 44614-01 | 15 horas-aula

    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 Avançados III

    Código 34641-01 | 15 horas-aula

    Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação.

  • Tópicos Avançados IV

    Código 34642-01 | 15 horas-aula

    Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação.

  • Tópicos Avançados V

    Código 34643-01 | 15 horas-aula

    Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação.

  • Tópicos Avançados em Ciência da Computação VI

    Código 54600-02 | 30 horas-aula

    Tópicos avançados de interesse à realização de pesquisas na área da Ciência da Computação.

  • Tópicos Avançados em Ciência da Computação VII

    Código 54601-02 | 30 horas-aula

    Tópicos avançados de interesse à realização de pesquisas na área da Ciência da Computação.

  • Tópicos Esp. em Bioinformática e Modelagem Computacional II

    Código 34671-02 | 30 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Bioinformática e Modelagem Computacional.

  • Tópicos Especiais Processamento Paralelo e Distribuído II

    Código 34633-02 | 30 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Processamento Paralelo e Distribuído.

  • Tópicos Especiais em Bioinformática e Modelagem Computacional I

    Código 34670-01 | 15 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Bioinformática e Modelagem Computacional.

  • Tópicos Especiais em Confiabilidade de Sistemas

    Código 34654-02 | 30 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Confiabilidade de Sistemas.

  • Tópicos Especiais em Processamento Paralelo e Distribuído I

    Código 34632-01 | 15 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Processamento Paralelo e Distribuído.

  • Tópicos Especiais em Sistemas Embarcados e Sistemas Digitais I

    Código 34663-01 | 15 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas Embarcados e Sistemas Digitais.

  • Tópicos Especiais em Sistemas Embarcados e Sistemas Digitais II

    Código 34664-02 | 30 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas de Embarcados e Sistemas Digitais.

  • Tópicos Especiais em Sistemas Interativos I

    Código 34658-02 | 30 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas Interativos I.

  • Tópicos Especiais em Sistemas Interativos II

    Código 34659-02 | 30 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas Interativos I.

  • Tópicos Especiais em Sistemas de Informação I

    Código 34634-01 | 15 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas de Informação.

  • Tópicos Especiais em Visualização I

    Código 54675-01 | 15 horas-aula

    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 em Interação Humano Computador I

    Código 54687-01 | 15 horas-aula

    Tópicos atuais de interesse à realização de pesquisas na linha de Interação Humano Computador.

  • Tópicos em Processamento de Imagens

    Código 54686-01 | 15 horas-aula

    Conceitos de Processamento de imagens. Morfologia matemática. Segmentação. Filtros de suavização. Detecção de bordas. Análise de imagens.

  • Verificação Funcional de Sistemas Digitais

    Código 54644-02 | 30 horas-aula

    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.

  • Verificação Funcional de Sistemas Digitais II

    Código 19854-02 | 30 horas-aula

    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.

  • Verificação de Sistemas Concorrentes

    Código 1987J-02 | 30 horas-aula

    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.

  • Visualização de Dados

    Código 54688-02 | 30 horas-aula

    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.

  • Processo seletivo

    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:

    • Dedicação mínima de 20hs semanais em contato presencial com grupo de pesquisa e orientador;
    • Candidato com plano de trabalho contemplando doutorado-sanduíche;
    • Candidato com publicações internacionais qualificadas.

    O programa realiza processos de inscrição e de seleção de novos alunos para Doutorado duas vezes por ano.

    Edital 2024/2 – Mestrado e Doutorado

    Selecionado(a) Doutorado Sanduíche no Exterior 2024/1

    Documentos

    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

  • Alunos especiais (disciplina isolada)

    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

    • Cópia do Histórico Escolar (autenticada);
    • Cópia do Diploma de Graduação ou comprovante (autenticada);
    • Cópia da Carteira de Identidade e CPF;
    • Cópia do certificado de reservista;
    • Cópia do título de eleitor e comprovante eleitoral;
    • Curriculum Vitae;
    • Uma foto 3×4.
    • Formulário de solicitação de ingresso como Aluno Especial encaminhada à Comissão Coordenadora;
  • Bolsas e Incentivos

    Capes, CNPq e outras, conforme disponibilidade.

    Seleção e Concessão de Bolsas

    A seleção dos candidatos é feita com base no histórico escolar, curriculum vitae e cartas de recomendação. As bolsas serão concedidas com base na classificação dos candidatos. O número de bolsas de estudos é definido em cada período letivo, dependendo da concessão das agências de fomento.

    Itens considerados para a seleção dos candidatos:

    Índice de Desempenho
    Artigos publicados em Revistas/Congressos

  • Programa G-PG

    Programa de Integração da Graduação com a Pós: você aproveita seus créditos eletivos para cursar disciplinas de mestrado e doutorado, com o mesmo valor da Graduação.

  • Programa G+1

    Por meio do G+1, o (a) estudante que deseja seguir na área acadêmica pode viver a experiência no mestrado durante a graduação. Para isso, ele (a) precisa ter cursado, pelo menos, 50% da graduação e participar do processo seletivo do Programa de Pós-Graduação de interesse.

  • Alunos Mestrado

    Nome Lattes
    ALAN DA SILVA AGUIRRE Link
    ANA CARLA GOMES DA SILVA Link
    ANDREW RAFAEL FRITSCH Link
    ANTONY DE AGUIAR SALVI Link
    ARIEL ROSSETTO RIL Link
    CANDIDO LUCIANO DE FARIAS Link
    CARLOS RENAN SCHICK LOUZADA Link
    CASSIANO DA SILVA SOUZA Link
    CLARA DA CUNHA D`AVILA Link
    CLEYSON BRAGA DE OLIVEIRA Link
    DANIEL DOS SANTOS KRUG Link
    DAVIDE CLODE DA SILVA Link
    DIEGO CANDIDO DE SOUZA Link
    DIEGO GIMENEZ PEDROSO Link
    DIEGO OLIVEIRA LOPES Link
    EDUARDA CRISTINA PISSOLATTO Link
    EDUARDO FERNANDES CEOLIN Link
    ELISA GARCIA PEREIRA Link
    EMILIO BRESOLIN Link
    ERIK ROSA FILIPPINI Link
    FELIPE PRITSCH FAHRION Link
    FERNANDO AMARO DA SILVA JUNIOR Link
    FERNANDO VARRONE GIACOMINI Link
    FRANCISCO BITTENCOURT DE SOUZA Link
    GABRIEL RUSTICK FIM Link
    GABRIEL TEIXEIRA CORREA Link
    GABRIEL VAZ DE SOUZA Link
    GERALDO MATEUS MACOU JUNIOR Link
    GILBERTO NEVES JUNIOR Link
    GUIDO LUIS GLUFKE MAINARDI Link
    GUILHERME FABRIN FRANCO Link
    GUILHERME GOMES SCHREIBER Link
    GUILHERME GRAF SCHULER Link
    GUSTAVO COMARU RODRIGUES Link
    GUSTAVO HERNANDEZ DUARTE Link
    GUSTAVO PEREIRA FLORES Link
    GUSTAVO SAVI FRAINER Link
    HENDRICK BATAGLIN GONCALVES Link
    HIGOR UELINTON DA SILVA Link
    JERUSA DALBOSCO FINATTO Link
    JOANA MENEGUZZO PASQUALI Link
    JOAO BENNO WEBER Link
    JOAO VITOR BERNARDI SEVERO Link
    JULIO ALEXANDER SIEG Link
    JUNIOR CESAR DA SILVA ALVES Link
    KALISSA RODRIGUES Link
    LARISSA DAIANE CANEPPELE GUDER Link
    LAURA MENDES RIBEIRO CAETANO Link
    LEANDRO DE OLIVEIRA ALFONSO Link
    LEONARDO BARBOSA DA ROSA Link
    LEONARDO GIBROWSKI FAE Link
    LUAN DOPKE Link
    LUCAS AUGUSTO RABAIOLLI MAZOCCO Link
    LUCAS LUZ ZANOLEETE Link
    LUCAS MACHADO ALF Link
    LUCAS ROGES DE ARAUJO Link
    LUCCA DORNELLES CEZAR Link
    LUCIAN THOMAZ DA SILVA Link
    LUIS VINICIUS DE MOURA Link
    LUIZ HENRIQUE BORGES MOSMANN Link
    MANUEL ADAHIL MUNIZ OSTERNO Link
    MARCELO MUSSI DELUCIS Link
    MARCELO ORTIZ QUEIROS DA SILVA Link
    MARCO NEMETZ BOCHERNITSAN Link
    MARCO VINICIUS MATOS OLIVEIRA Link
    MARCOS ANTONIO FLECK SEVERO JUNIOR Link
    MARCOS BRUM FREIRE Link
    MATEUS GUZINSKI HAAS Link
    MATEUS KIRINUS PIVETA Link
    MIGUEL ZANELA Link
    NADINE ANDERLE Link
    NATALYA MARJANA GOELZER Link
    NATHAN BAPTISTA SCHOSTACK Link
    NAYARA SILVA DAS NEVES Link
    NEVERSON DOS SANTOS E SILVA Link
    NICOLAS MATHIAS HAHN Link
    NICOLLE MUSSOI PERICO Link
    PATRIC CASTELLI Link
    PAULO RICARDO PRASS Link
    PEDRO LUIZ ANDRADE HEEMANN Link
    PEDRO PORTELLA POSSAMAI Link
    RAFAEL RUDA FRANCA ROCHA Link
    RAPHAEL VARELA RIBEIRO Link
    RODRIGO HENRICH Link
    RODRIGO LUAN FERRAZZA Link
    SABRINA BORN TEIXEIRA Link
    SAULO AZEVEDO OLIVEIRA Link
    TARSIO ONOFRIO CARDOSO DA SILVA Link
    TEMIS MACHADO DE MEDEIROS Link
    THALES DE OLIVEIRA VOLTZ Link
    THIAGO RODRIGUES GUEDES DA SILVA Link
    TIAGO GONCALVES CHAGAS Link
    TIAGO ULRICH BENEDITTO Link
    VANESSA DE MOURA BARTOSKI Link
    VITOR HUGO GARCEZ BARCELLOS DOS SANTOS Link
    WAGNER SAVARIS Link
    WILLIAM ESTEVES CAMPOS DE OLIVIERA Link
    WILLIAN ANALDO NUNES Link
    YURI DE SOUZA PAZIN Link
  • Alunos Doutorado

    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
  • Grade horária

  • Estrutura Curricular

    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.

  • Normas

    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

    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
  • Regulamentos

  • Acordos

    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.

  • Oportunidades

    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.

  • Prazos e parcelas

    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 18 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 60 meses.

  • Formas de pagamento

    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.

  • Prorrogação

    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.

  • Prazo máximo para conclusão

    O limite máximo para a conclusão do Mestrado é de 30 meses, e do Doutorado é de 60 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.

  • Valores das mensalidades

  • Bolsas e financiamentos

ESPAÇOS DE APRENDIZAGEM DA ESCOLA

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.

Notícias

Não perca nada do que está acontecendo, acompanhe todas as notícias da Universidade e fique por dentro!

Veja todas as notícias
Veja todas as notícias