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.
Mestrado: 24 créditos (ingresso até 2021/2) e 18 créditos (ingresso a partir de 2022/1)
Mestrado: mínimo de 12 e máximo de 30 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
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 |
| 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 |
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 Defesas | Nome | Defesa | Resumo |
| 087 | Daniela Oliveira Ferreira do Amaral | 14/09/2017 | resumo |
| 086 | Giovani Parente Farias | 31/08/2017 | resumo |
| 085 | Artur Luiz Silva da Cunha Freitas | 31/08/2017 | resumo |
| 084 | Leandro Teodoro Costa | 22/08/2017 | resumo |
| 083 | Guilherme Machado de Castilhos | 10/08/2017 | resumo |
| 082 | Mauro Strelow Storch | 10/08/2017 | resumo |
| 081 | Felipe Göhring de Magalhães | 25/05/2017 | resumo |
| 080 | Thiago Lipinski Paes | 24/03/2017 | resumo |
| 079 | Taciano Dreckmann Perez | 03/05/2017 | resumo |
| 078 | Bernardo José da Silva Estácio | 28/03/2017 | resumo |
| 077 | Amyr Borges Fortes Neto | 09/03/2017 | resumo |
| 076 | João Mário Lopes Brezolin | 15/03/2017 | resumo |
| 075 | Bernardo Severo de Souza | 20/02/2017 | resumo |
| 074 | Andriele Busatto do Carmo | 18/01/2017 | resumo |
| 073 | Luciana da Silveira Espindola | 18/01/2017 | resumo |
| 072 | Rasha Hasan | 16/01/2017 | resumo |
| 071 | Guilherme Afonso Madalozzo | 12/01/2017 | resumo |
| 070 | Renata de Paris | 28/10/2016 | resumo |
| 069 | Alessandra Costa Smolenaars Dutra | 19/08/2016 | resumo |
| 068 | Fauzi De Moraes Shubeita | 23/08/2016 | resumo |
| 067 | Joaquim Vinicius Carvalho Assunção | 09/08/2016 | resumo |
| 066 | Alan Ricardo dos Santos | 08/08/2016 | resumo |
| 065 | Maicon Bernardino da Silveira | 07/03/2016 | resumo |
| 064 | Carlos Roberto Moratelli | 22/03/2016 | resumo |
| 063 | Fábio Diniz Rossi | 13/05/2016 | resumo |
| 062 | Dalvan Jair Griebler | 30/03/2016 | resumo |
| 061 | Vinicius Jurinic Cassol | 30/03/2016 | resumo |
| 060 | Odorico Machado Mendizabal | 16/05/2016 | resumo |
| 059 | Matheus Trevisan Moreira | 14/01/2016 | resumo |
| 058 | Christian Vahl Quevedo | 21/01/2016 | resumo |
| 057 | Roger Leitzke Granada | 28/09/2015 | resumo |
| 056 | Rossana Baptista Queiroz | 25/08/2015 | resumo |
| 055 | Marcelo Grandi Mandelli | 13/07/2015 | resumo |
| 054 | Eduardo Weber Wachter | 10/07/2015 | resumo |
| 053 | Everton Luís Berz | 30/03/2015 | resumo |
| 052 | Larissa Astrogildo de Freitas | 23/03/2015 | resumo |
| 051 | Marcelo Trindade Rebonatto | 26/02/2015 | resumo |
| 050 | Juliano Varella de Carvalho | 20/03/2015 | resumo |
| 049 | Marcelo Veiga Neves | 22/01/2015 | resumo |
| 048 | Josiane Kroll | 13/10/2014 | resumo |
| 047 | Mateus Raeder | 27/08/2014 | resumo |
| 046 | Luciano Costa Blomberg | 22/08/2014 | resumo |
| 045 | Adriana Braun | 08/08/2014 | resumo |
| 044 | Guilherme Montez Guindani | 14/07/2014 | resumo |
| 043 | Tales Nereu Bogoni | 28/04/2014 | resumo |
| 042 | Clarissa Castellã Xavier | 12/03/2014 | resumo |
| 041 | Maurício Covolan Rosito | 23/01/2014 | resumo |
| 040 | Sandra Collovini de Abreu | 16/01/2014 | resumo |
| 039 | Alexandra da Costa Pinto de Aguiar | 30/08/2013 | resumo |
| 038 | Elder de Macedo Rodrigues | 21/08/2013 | resumo |
| 037 | Leandro Lorenzett Dihl | 12/08/2013 | resumo |
| 036 | Rodrigo Rafael Villarreal Goulart | 26/03/2013 | resumo |
| 035 | Mauricio da Silva Escobar | 07/03/2013 | resumo |
| 034 | Julian José Hilgemberg Pontes | 28/08/2012 | resumo |
| 033 | Fernando Pinho Marson | 29/08/2012 | resumo |
| 032 | Rodrigo Perozzo Noll | 13/08/2012 | resumo |
| 031 | Julio Cezar Silveira Jacques Junior | 20/04/2012 | resumo |
| 030 | Sílvia Maria Wanderley Moraes | 30/03/2012 | resumo |
| 029 | Letícia Lopes Leite | 27/03/2012 | resumo |
| 028 | Tiago Silva da Silva | 22/03/2012 | resumo |
| 027 | Sérgio Johann Filho | 14/03/2012 | resumo |
| 026 | Anderson Ricardo Yanzer Cabral | 26/01/2012 | resumo |
| 025 | Lucelene Lopes | 26/01/2012 | resumo |
| 024 | Ana Trindade Winck | 17/01/2012 | resumo |
| 023 | Rodrigo Santos de Espindola | 09/12/2011 | resumo |
| 022 | Everton Alceu Carara | 25/08/2011 | resumo |
| 021 | Marcelo Cunha de Azambuja | 21/08/2011 | resumo |
| 020 | Leonardo Albernaz Amaral | 15/07/2011 | resumo |
| 019 | Eliana Beatriz Pereira | 27/06/2011 | resumo |
| 018 | Rafael Rieder | 28/04/2011 | resumo |
| 017 | Karina dos Santos Machado | 31/03/2011 | resumo |
| 016 | Ana Paula Lemke | 28/03/2011 | resumo |
| 015 | Patrícia Nogueira Hübler | 10/12/2010 | resumo |
| 014 | Rafael Iankowski Soares | 12/11/2010 | resumo |
| 013 | Luciano Copello Ost | 13/05/2010 | resumo |
| 012 | Leonel Pablo Tedesco | 12/05/2010 | resumo |
| 011 | Cristina Moreira Nunes | 08/04/2010 | resumo |
| 010 | Nelson Nunes Tenório Junior | 30/03/2010 | resumo |
| 009 | Ricardo Melo Czekster | 29/03/2010 | resumo |
| 008 | Tiago Coelho Ferreto | 05/03/2010 | resumo |
| 007 | Daniel Antonio Callegari | 05/03/2010 | resumo |
| 006 | Rodrigo Neves Calheiros | 05/03/2010 | resumo |
| 005 | Edson Ifarraguirre Moreno | 27/01/2010 | resumo |
| 004 | Rafael Prikladnicki | 15/12/2009 | resumo |
| 003 | Thais Christina Webber dos Santos | 27/03/2009 | resumo |
| 002 | Ewerson Luiz de Souza Carvalho | 10/03/2009 | resumo |
| 001 | Mariana Luderitz Kolberg | 09/01/2009 | resumo |
O Núcleo de Inteligência Artificial atua em pesquisa teórica e aplicada nos diversos ramos da IA. Desenvolvemos pesquisa, por exemplo, na área de Sistemas Multiagentes com foco em planejamento e argumentação, além de abordagens para programação e verificação. Na área de linguagem natural, atuamos nas áreas de extração de informação, sistemas de diálogos e análise de sentimentos, entre outras. Na área de representação do conhecimento, desenvolvemos pesquisa com aprendizado, visualização e alinhamento de ontologias. Essas e outras técnicas de IA, tais como aprendizado de máquina e raciocínio automático, são aplicadas por exemplo à internet das coisas, robótica e web semântica. Temos interesse nos domínios de medicina e saúde, geologia, segurança e resgate em situações de desastre. O grupo possui colaboração internacional com França, Portugal, Itália e Inglaterra. Contamos também com a colaboração de pesquisadores das áreas de linguística, filosofia, e medicina, e queremos fortalecer ainda mais o diálogo transdisciplinar para o desenvolvimento da IA.
| Professor Orientador da Estrutura: |
| Renata Vieira | [email protected] | Curriculo Lattes | Citações em Google Acadêmico |
| Rafael Heitor Bordini | [email protected] | Curriculo Lattes | Citações em Google Acadêmico |
| Para acessar a página da estrutura, clique aqui. |
Este grupo de pesquisa tem como objetivos a formação de alunos de graduação e pós-graduação nas áreas de Confiabilidade e Segurança de Sistemas através do estudo de Tolerância a Falhas, Mecanismos para Tolerância a Falhas, Injeção de Falhas, Detecção de Falhas, Modelagem de Sistemas Confiáveis, Criptografia, Protocolos de Segurança, Esteganografia e Forense Digital.
| Professor Orientador da Estrutura: |
| Avelino Francisco Zorzo | [email protected] | Curriculo Lattes | Citações em Google Acadêmico |
Os objetos de pesquisa do DDC incluem: sistemas distribuídos de alto desempenho e disponibilidade; algoritmos distribuídos; ambientes assíncronos; tolerância a falhas; replicação; modelos de consistência; técnicas de durabilidade, recuperação e reconfiguração; técnicas de programação para alto desempenho e confiabilidade. O grupo emprega metodologias como prototipação, simulação, especificação formal e análise para avaliação de algoritmos distribuídos de coordenação úteis em vários ambientes como: computação em nuvem (Google-Datastore e Microsoft-Azure-Tables); sistemas de gerenciamento de dados (Cassandra, Amazon-DynamoDB, Facebook-RocksDB, Oracle-NoSQL-Database); mecanismos de sincronização (Google-File-System, MapReduce, Google-DNS, Apache-ZooKeeper); comunicação confiável de alto desempenho (Paxos, Zab, Raft); entre outros.
| Professor Orientador da Estrutura: |
| Fernando Luís Dotti | [email protected] | Curriculo Lattes | Citações em Google Acadêmico |
O GAPH tem como objetivo geral a pesquisa e o desenvolvimento de métodos e ferramentas para o projeto, prototipação, implementação e validação de sistemas digitais integrados, bem como a construção de tais sistemas mediante emprego dos métodos e ferramentas que propõe. Do ponto de vista arquitetural, a pesquisa do grupo abarca sistemas multiprocessados integrados, com foco tanto na infraestrutura habilitadora de sua construção (redes de interconexão intrachip e processadores) como na construção e avaliação de estudos de caso de tais sistemas. Do ponto de vista de projeto de circuitos, o grupo pesquisa temas como técnicas alternativas de projeto (e.g. para circuitos assíncronos e GALS), o teste de tais circuitos, e a construção de bibliotecas de células para dar suporte ao projeto semi-dedicado destes circuitos. As áreas de aplicação alvo abordadas pela pesquisa do grupo incluem circuitos para: telecomunicações, redes de sensores, aplicações médicas e a Internet das coisas, entre outras.
| Professores Orientadores da Estrutura: |
| Alexandre de Morais Amory | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| César Augusto Missio Marcon | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Fernando Gehm Moraes | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Ney Laert Vilar Calazans | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
Desenvolvimento de pesquisa e ensino nas áreas de gerencia de recursos e virtualização aplicadas as áreas de arquiteturas paralelas e distribuídas, redes de computadores e sistemas operacionais. As pesquisas do grupo são dedicadas ao estudo de técnicas e metodologias de gerência de recursos e virtualização aplicadas no desenvolvimento de soluções para problemas das áreas de arquiteturas paralelas e distribuídas, redes de computadores e sistemas operacionais. O grupo apresenta atualmente duas linhas principais de pesquisa: (a) utilização e aprimoramento de técnicas de virtualização em ambientes corporativos e (b) aprimoramento da gerência de recursos em máquinas agregadas (clusters) e nuvens computacionais (cloud).
| Professor Orientador da Estrutura: |
| César Augusto F. De Rose | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
O GMAP desenvolve pesquisas visando a construção de abstrações de paralelismo de alto nível, eficiência energética para computação de alto desempenho e modelagem de aplicações científicas interdisciplinares para ambientes com alto poder computacional. Algumas das principais áreas de interesse incluem: construção de compiladores e linguagens específicas de domínio (DSL); escalonamento para eficiência energética em ambientes distribuídos; computação em nuvem e autônoma para alto desempenho; e desenvolvimento de algoritmos paralelos estruturados (design patterns e algorithmic skeletons). O grupo possui cooperações acadêmicas tanto nacionais quanto internacionais, oferecendo possibilidade de intercâmbio para estudantes com universidades da Itália e da França.
| Professor Orientador da Estrutura: |
| Luiz Gustavo Leão Fernandes | [email protected] | Curriculo Lattes | Citações em Google Acadêmico |
| Para acessar a página da estrutura, clique aqui. |
O GRIN (Grupo de Pesquisa em Redes, Infraestrutura e Computação em Nuvem) desenvolve pesquisas em infraestrutura de TI, com ênfase em redes de computadores, virtualização e computação em nuvem. Algumas das principais áreas de interesse do grupo incluem: gerência de redes e infraestrutura de TI, consolidação de servidores, estratégias para eficiência energética, redes definidas por software (SDN), virtualização de funções de rede (NFV), escalonamento de máquinas virtuais, automação no provisionamento de infraestrutura, computação em nuvem móvel, avaliação de mecanismos de virtualização e segurança em redes de computadores.
| Professor Orientador da Estrutura: |
| Tiago Coelho Ferreto | [email protected] | Curriculo Lattes | Citações em Google Acadêmico |
O GSE pesquisa e desenvolve sistemas inovadores de hardware/software aplicados a Smart Cities, IoT e eHealth. Atua principalmente nas áreas de Real Time Embedded Systems; Network-on-Chip, MPSoC, Wireless Sensor Network, Embedded Operating Systems, Middleware e Virtualization, possuindo forte ligação com a indústria, propiciando um conhecimento diferenciado através da interação com profissionais de áreas fins. O GSE possui cooperações acadêmicas nacionais e com universidades do Canadá, França, Espanha e Austrália permitindo aos alunos a troca de experiências com outros pesquisadores. O GSE é parte integrante do Smart City Innovation Center.
| Professores Orientadores da Estrutura: |
| César Augusto Missio Marcon | [email protected] | Curriculo Lattes | Citações em Google Acadêmico |
| Fabiano Passuelo Hessel | [email protected] | Curriculo Lattes | Citações em Google Acadêmico |
O Núcleo de Pesquisa em Inteligência de Máquina e Robótica (Machine Intelligence and Robotics – MIR) investiga técnicas, algoritmos e ferramentas nas áreas de Aprendizado de Máquina, Mineração de Dados, Inteligência Artificial Centralizada e Distribuída (Agentes), Robótica, Computação Autônoma e tópicos correlatos. A pesquisa realizada tem caráter tanto acadêmico quanto aplicado, e os seus pesquisadores lideram projetos de pesquisa fomentados por agências governamentais e em parceria com empresas líderes de Tecnologia da Informação. A produção intelectual do Núcleo inclui não apenas publicações em veículos de prestígio e alto impacto como também propriedade intelectual (patentes) e inovações tecnológicas. Seus pesquisadores contam com um ampla rede de colaboradores nacionais e internacionais, incluindo Carnegie Mellon University, University of Newcastle, King’s College London, University of Aberdeen, Universidade do Porto e Università di Trento. Os laboratórios vinculados ao Núcleo possuem computadores e equipamentos robóticos de última geração.
| Professores Orientadores da Estrutura: |
| Alexandre de Morais Amory | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Duncan Dubugras Alcoba Ruiz | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Felipe Rech Meneguzzi | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Rodrigo Coelho Barros | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
Fundado em 2002, o grupo MuNDDoS iniciou suas atividades para responder à demanda de empresas sobre a distribuição de seus processos de desenvolvimento de software ao redor do mundo. Com o tempo, o grupo ampliou seus tópicos de investigação para temas tais como metodologias ágeis, engenharia de requisitos, crowdsourcing, engenharia de software experimental, educação em Engenharia de Software. O grupo mantém seu caráter inovador de realizar pesquisa aplicada em parceria com a indústria e neste contexto atua em parcerias com instituições nacionais e internacionais em diversos projetos de P&D.
| Professores Orientadores da Estrutura: |
| Sabrina dos Santos Marczak | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Rafael Prikladnicki | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
O objetivo do grupo é estimular e promover pesquisa científica em avaliação de desempenho, contribuindo para a difusão do formalismo de Redes de Autômatos Estocásticos (SAN) e outros formalismos estruturados como ferramenta efetiva de modelagem estocástica. Estes formalismos podem ser aplicados a diferentes áreas como engenharia de software, confiabilidade, programação paralela e concorrente, linhas de produção e os mais diversos ramos do conhecimento como previsão de séries temporais aplicadas. Por exemplo, o grupo possui além das aplicações citadas trabalhos aplicados em Geologia, Teste de Software e Processamento de Linguagem Natural.
| Professor Orientador da Estrutura: |
| Paulo Henrique Lemelle Fernandes | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
No Laboratório de PLN investiga-se questões relacionadas à extração de informação de bases textuais não estruturadas, tais como documentos, notícias, trabalhos acadêmicos e científicos, blogs, e mídias sociais. Em especial, lida-se com problemas de reconhecimento de entidades, relacionamento entre entidades, correferência nominal, extração de conceitos, geração de estruturas conceituais e mineração de opiniões. Tem-se interesse no tratamento semântico da informação, na construção automática e manual de ontologias, bem como no emprego de ontologias em diversas áreas da computação, tais como internet das coisas, ambientes inteligentes, informática na saúde, sistemas multiagentes, engenharia de software, etc.
| Professora Orientadora da Estrutura: |
| Renata Vieira | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
O Núcleo de pesquisa em Processamento Visual e Interação (PVI) é composto por 5 professores permanentes e 36 pesquisadores entre alunos e bolsistas de Pós-doutorado, atuando nas áreas de Computação Gráfica, Interação Humano-Computador, Visão Computacional, Visualização e Realidade Virtual e Aumentada. O Núcleo desenvolve projetos de pesquisa em parceria com empresas privadas e órgãos governamentais, tratando de temas como Visualização de Informações extraídas de Redes Sociais, Adaptação e Autoria de Sistemas por Usuário Final, Simulação e Animação de Humanos Virtuais, Design de Interface e de Interação para Inclusão, Tecnologias Assistivas, Adaptáveis e Inclusivas, aplicações de Visão Computacional e Realidade Virtual. Os professores vinculados ao PVI mantêm colaborações acadêmicas que possibilitam o intercâmbio de alunos com instituições internacionais. Fazem parte do Núcleo o VHLab (Virtual Human Lab), o GRV (Grupo de Realidade Virtual) e o HU-S.ER (Human-System Experience Research Group). O PVI ainda conta com uma sala de visualização usada para projeção estereoscópica.
| Professores Orientadores da Estrutura: |
| Isabel Harb Manssour | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Márcio Sarroglia Pinho | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Milene Selbach Silveira | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Rafael Prikladnicki | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Soraia Raupp Musse | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
O grupo SMART produz pesquisa reconhecida internacionalmente na área de Inteligência Artificial, principalmente por sua atuação nas áreas de sistemas multiagentes e de ontologias para representação de conhecimento específico de domínios. O grupo tem interesse em uma série de técnicas, por exemplo argumentação, planejamento multiagente, reconhecimento de intenções, algoritmos para alocação de tarefas, raciocínio ontológico, espaços conceituais, linguagens de programação multiagentes, semântica formal e verificação de sistemas multiagentes, entre outras. As aplicações de interesse são diversas, incluindo computação assistiva, resgate em situações de desastres, robótica cognitiva, multirrobótica, cidades inteligentes, patrulhamento em áreas de preservação ecológica, e problemas em logística. De forma geral, o grupo pretende empregar as técnicas que desenvolve para a produção de tecnologias inovadoras que contribuam para o bem social e a sustentabilidade do planeta.
| Professores Orientadores da Estrutura: |
| Rafael Heitor Bordini | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
| Renata Vieira | [email protected] | Currículo Lattes | Citações em Google Acadêmico |
TR 089 Kin Max Piamolini Gusmão, Felipe Rech Meneguzzi “PLANNING AND GOAL RECOGNITION WITH SAT-BASED APPROACHES: A SURVEY”. PDF
TR 088 Vanessa de Moura Bartoski, César Augusto Missio Marcon “ANÁLISE COMPARATIVA DE ALGORITMOS DE MACHINE LEARNING NA DETECÇÃO DE QUEDAS”. PDF
TR 087 Leandro Ripoll Saldanha, Avelino Francisco Zorzo “SECURITY REQUIREMENTS IN AGILE SOFTWARE DEVELOPMENT: A SYSTEMATIC MAPPING STUDY”. PDF
TR 086 Aline Zanin, Avelino Francisco Zorzo, Henry Cabral Nunes “AN EXAMPLE OF AQUILA USAGE: A DSL FOR MODEL BASED TESTING IN AGILE ENVIRONMENTS”. PDF
TR 085 Alessandra C. S. Dutra,Azriel Majdenbaum, Cássio A. W. Trindade, Daniel A. Callegari, Marcelo Yamaguti “Percepção da Contribuição da AGES para o Aprendizado em Engenharia de Software”. PDF
TR 084 Daniel Dalalana Bertoglio, Avelino Francisco Zorzo, “Um Mapeamento Sistemático sobre Testes de Penetração”. PDF
TR 083 Matheus T. Moreira, Leandro S. Heck, Guilherme Heck, Matheus Gibiluka, Ney L. V. Calazans, Fernando G. Moraes, “The YeAH NoC Router”. PDF
TR 082 Isaque Vacari, Rafael Prikladnicki, “Desenvolvimento de Software na Administração Pública: Uma Revisão Sistemática da Literatura.”. PDF
TR 081 Filipe Denaur de Moraes, Daniel Antonio Callegari, “Automated Detection of Interictal Spikes in EEG: A literature review”. PDF
TR 080 Thais Webber, Adelcio Biazi, Thomas Volpato de Oliveira,Matheus Senna de Oliveira, Plauto de Abreu Neto, Letícia B. Poehls, César Marcon, “Localization Heuristic in Mobile Wireless Networks”. PDF
TR 079 Fauzi de Moraes Shubeita, Thais Webber, Ramon Fernandes, César Marcon, Letícia Bolzani Poehls, “Um Estudo sobre Monitoramento e Controle de Biodigestores de Pequena Escala”. PDF
TR 078 Odorico Machado Mendizabal, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone “Recovery in Parallel State-Machine Replication“. PDF
TR 077 Matheus Trevisan Moreira, Ney Laert Vilar Calazans, “Proposal of an Exploration of Asynchronous Circuits Templates and their Applications“. PDF
TR 076 Rasha Ghassan Hasan, Odorico Machado Mendizabal, Fernando Luís Dotti, “Hybrid Synchrony Virtual Networks: Definition and Embedding“. PDF
TR 075 Matheus Moreira, Felipe Magalhães, Matheus Gibiluka, Fabiano P. Hessel and Ney Laert V. Calazans, “Power-Efficient Clockless Intrachip Communication Design with an Integrated High to Low Level Flow based on the Balsa Framework“. PDF
TR 074 Lucelene Lopes and Rebata Vieira, ” Construção automática de hierarquias de conceitos a partir de corpus: Abordagens existentes e suas limitações”. PDF
TR 073 Luis Carlos Jersak, Adriana Cassia da Costa, and Daniel Antonio Callegari, “A Systematic Review on Mobile Health Care”. PDF
TR 072 Alberto C. S. Wondracek, Fernando L. Dotti, “Tradução de Modelos Redes de Autômatos Estocásticos
para a Linguagem do NuSMV”. PDF
TR 071 Thais Webber, César Marcon, Leonardo A. Amaral, Rubem D. R. Fagundes, Letícia B. Poehls, “Pervasive Computing Integration on Healthcare Environments”. PDF
TR 070 Vinicius Bohrer, Ramon Fernandes, Thais Webber, César Marcon, “WiNeS – A Flexible Framework for Wireless Network Description and Simulation”. PDF
TR 069 Elder M. Rodrigues, Avelino F. Zorzo, Itana M. Gimenez Elisa Y. Nakagawa, Flávio M. Oliveira, José C. Maldonado, “A Software Product Line for Model-Based Testing Tools”. PDF
TR 068 Lucas Hilgert, Fabio Calefato, Fillipo Lanubile, Rafael Prikladnicki, Renata Vieira, Maria José Finatto, Susana Termignoni, “Real-Time Machine Translation for Software Development Teams”. PDF
TR 067 Andre Takeshi Endo , Maicon Bernardino da Silveira, Elder Macedo Rodrigues, Adenilso Simao , Flavio Moreira de Oliveira, Avelino Francisco Zorzo, “Using models to test web service-oriented applications: an experience report”. PDF
TR 066 Fernandes, P.; O’Kelly, M.E.J.; Papadopoulos, C.T.; Sales, A., “Modeling Exponential Reliable Production Lines using Kronecker Descriptors”. PDF
TR 065 Matheus Moreira, Bruno Oliveira,Julian Pontes, Ney Calazans. “Automated versus Manual Design of Asynchronous Circuits in DSM Technologies”.PDF
TR 064 Griebler, Dalvan; Fernandes, Luiz Gustavo Leão. , “Padrões e Frameworks de Programação Paralela em Arquiteturas Multi-Core”.PDF
TR 063 Leandro Costa, Elder Rodrigues, Filipi Teixeira Vilmar Consul, Jean Schmidt, Avelino Zorzo, “Testes de Midleware para Sistema de Agência de Viagens”.PDF
TR 062 Lucelene Lopes.; Renata Vieira, “Building Domain Specific Corpora in Portuguese Language”. PDF
TR 061 Czekster, Ricardo M.; Fernandes, Paulo; Sales, Afonso; Webber, Thais “Performance Analysis of Global Software Development Teams using a Structured Stochastic Modeling Formalism”. PDF
TR 060 Taciano Perez, César A. F. De Rose, “Non-Volatile Memory: Emerging Technologies And Their Impacts on Memory Systems”. PDF
TR 059 – Rafael A. Glanzner, Rafael Prikladnicki, Jorge L. N. Audy, “Classificando organizações de Desenvolvimento Distribuído de Software no modelo de capacidade WAVE”. PDF
TR 058 – Czekster, Ricardo M.; Fernandes, Paulo; Webber, Thais; “Applying tensor term permutations to improve the numerical solution of structured Markovian models”. PDF
TR 057 – Czekster, Ricardo M.; Fernandes, Paulo; Webber, Thais; “Efficient Vector-Descriptor Product Exploiting Time-Memory Trade-offs. PDF
TR 056 – Lopes, Lucelene; Vieira, Renata; “Aprendizagem de Ontologias a partir de Textos” PDF
TR 055 – Dotti, F. L., “An approach for the formal development of fault-tolerant systems using CSP” PDF
TR 054 – Lopes, Lucelene; Vieira, Renata; “ExATOlp – Extrator Automático de Termos para Ontologias em Língua Portuguesa” PDF .
TR 053 – Lopes, Lucelene; Oliveira, M. H. L.; Vieira, Renata; “Análise Comparativa de Métodos de Extração de Termos: Abordagens Linguística Estatística” PDF
TR 052 – Czekster, R. M.; Fernandes, P.; Webber, T; “The Hybrid Algorithm to Vector-Descriptor Product” PDF
TR 051 – Carara, E. A.; Moraes, F.G. MPSoC-H – Implementação e Avaliação de Sistema MPSoC Utilizando a Rede Hermes PDF.
TR 050 – Bastos, E. N. F.; Socool, C.; Calazans, N. L. V, Projeto e Implementação da Arquitetura de Comunicação MERCURY: uma NoC intra-chip com topologia toro, filas centrais compartilhadas e modo de chaveamento virtual-cut-through. PDF
TR 049 – Corrêa, M.; Chanin, R.; Sales, A.; Scheer, R.; Zorzo, A, Multilevel Load Balancing in NUMA Computers. PDF
TR 048 – Corrêa, M.; Chanin, R.; Sales, A.; Scheer, R.; Zorzo, A, Performance Evaluation of a Multilevel Load Balancing Algorithm. PDF.
TR 047 – Fernandes, P.; Presotto, R.; Sales, A.; Webber, T, An Alternative Algorithm to Multiply a Vector by a Kronecker Represented Descriptor. PDF.
TR 046 – Chanin, R.; Corrêa M.; Fernandes P.; Sales, A.; Scheer, r.; Zorzo, A, Analytical Modeling for Operating System Schedules on NUMA Systms. PDF.
TR 045 – Lopes, E. C; Bins, J. C, Detectação de Faces e Características Faciais. PDF
TR 044 – Lopes, E. C; Bins, J. C, Estudo de Técnicas Computacionais para o Reconhecimento de Faces. PDF
TR 043 – Duarte, L. M; Dotti, F. L., Development of An Active Network Architecture Using Mobile Agents – A Case Study. PDF
TR 042 – Carvalho, E; Möller, F; Moraes, F. G; Calazans N., Design Frameworks Configuration Controllers for Dynamic And Partial Reconfiguration. PDF.
TR 041 – Redolfi, G; Spagnoli, L. A; Bastos, R. M; Cristal, M; Espindola, A., P., Especificando Informações para Componentes Reutilizáveis. PDF
TR 040 – Mello, A. V; Ost, L. C; Calazans, N. L; Moraes, F. G., Evaluation of Routing Algorithms in Mesh Based NoCs. PDF.
TR 039 – Baldo, L.; Fernandes, L. G; Roisenberg, P; Velho, P.; Weber, T., Parallel PEPS Tool Performance Analysis Using Stochastic Automata Networks. PDF
TR 038 – Brenner, L.; Sales, A; Webber, T; Fernandes, P. , A Framework to Decompose GSPN models. PDF
TR 037 – Brenner, L.; Sales, A; Fernandes, P., Why you should care about Generalized Tensor Algebra. PDF
TR 036 – Calazans, N. L. V.; Ide, A. N.; Moreno, E. I.; Rodolfo, T. A.; Moraes, F. G., Tutorial e Diretivas para Captura de Projeto, Validação e Prototipação de Módulos de Harware Descritos em SystemC. PDF
TR 035 – Möller, L. H., Moraes, F. G., Calazans, N. L. V.,Ferramentas de Configuração Parcial, Remota e Dinâmica de FPGAs Virtex. PDF
TR 034 – Moraes, F. G.; Calazans, N. L. V.; Mello, A. V.; Möller, L. H.; Ost, L. C., HERMES: an Insfrastructure for Low Area Overhead Packet-switching Networks on Chip. PDF.
TR 033 – Brião, E. W.; Calazans, N. L. V., Tutoriais Sobre Reconfiguração Parcial e Dinâmica usando o Fluxo do Projeto Modular sobre a Plataforma Insight V2MB1000. PDF
TR 032 – Nunes, M. P.; Giraffa, L. M. M., A Educação na Ecologia Digital. PDF.
TR 031 – Bittencourt, J. R.; Giraffa, L. M. M., A Utilização dos Role-Playing Games Digitais no Processo de Ensino-Aprendizagem. PDF
TR 030 – Brenner, L.; Sales, A.; Fernandes, P., MQNA – Markovian Queueing Networks Analyser. PDF
TR 029 – Marczak, S.S.; Giraffa, L. M. M., A Gerência de Informação em Ambientes de Ensino a Distância: Um Estudo Comparativo. PDF.
TR 028 – Marczak, S.S.; Giraffa, L. M. M., Ambientes Inteligentes para Suporte ao Ensino de Programação. PDF.
TR 027 – Cunha, L.S.; Giraffa, L. M. M., Unreal Script Language Syntax. PDF
TR 026 – Spagnoli, L.; Becker, K., Um Estudo Sobre o Desenvolvimento Baseado em Componentes. PDF
TR 025 – Brenner, L.; Fernandes, P.; Alegretti, C. G. P. Redes de Autômatos Estocásticos: Um Formalismo para Avaliação de Desempenho e Confiabilidade de Sistemas. PDF
TR 024 – Giraffa, L. M. M.; Bolzan, W., Estudo Comparativo Sobre Sistemas Tutores Inteligentes Multiagentes WEB. PDF
TR 023 – Farina, A. G.; Oliveira, F. M. de. A Comparison between Usage Modeling Formalisms for Statistical Software Testing. PDF.
TR 022 – Zorzo, A. F.; Cassol, L. A.; Nodari, A. L.; Oliveira, L. A.; Morais, L. R., Long Term Scheduler for Real Time Industrial Installations. PDF
TR 021 – Gasperin, C. V.; Lima, V. L. S. Fundamentos do Processamento Estatístico da Linguagem Natural. PDF
TR 019 – Giraffa, L. M. M. Modelling and implementing educational environments using an interdisciplinary approach. PDF.
TR 018 – Zamberlam, A. O.; Goulart, R. R. V.; Móra, M. C.; Giraffa, L. M. M. Manual do X-BDI. PDF
TR 017 – Cunha, L. S.; Giraffa, L. M. M. Um estudo sobre o uso de agentes em Jogos Computadorizados Interativos. PDF.
TR 016 – Duarte, L. M.; Dotti, F. L. Estudo de Linguagens de Programação com Suporte à Mobilidade de Código.PDF
TR 015 – Duarte, L. M.; Dotti, F. L. Uma Análise de Lingugens de Especificação para Sistemas Distribuídos. PDF
TR 014 – Juchem, M.; Bastos, R. M. Engenharia de Sistemas Multiagentes: Uma investigação sobre o estado da arte. PDF
TR 013 – Juchem, M.; Bastos, R. M. Arquiteturas de Agentes. PDF.
TR 011 – Goulart, R. R. V.; Giraffa, L. M. M. Arquiteturas de Sistemas Tutores Inteligentes. PDF
TR 010 – Bezerra, E. A.; Vargas, F.; Gough, M. P. Improving Reconfigurable Systems Reliability by Combining Periodical Testing Redundancy Techniques: A Case Study. PDF.
TR 009 – Zamberlan, A. O.; Giraffa, L. M. M.; Mora, M. C. X-BDI: uma ferramenta para programação de agentes BDI. PDF
TR 008 – Zamberlan, A. O.; Giraffa, L. M. M. Modelagem de agentes utilizando a arquitetura BDI. PDF
TR 007 – Oliveira, J.B.; Santa Maria, I. Effective reduction of arithmetical expressions. PDF
TR 006 – Moraes, I.; Zorzo, A. F. Uma arquitetura genérica para aplicações colaborativas. PDF
TR 005 – Boff, E.; Giraffa, L.M.M. Uma proposta metodológica para construção de um ambiente de ensino-aprendizagem cooperativo. PDF
TR 004 – Fernandes, P.; Plateau, B. Modeling Finite Capacity Queueing Networks with Stochastic Automata Networks. PDF
TR 003 – Bezerra, E.; Gough, M. P. A Guide to Migrating from Microprocessor to FPGA Coping with the Support Tool Limitations. PDF
TR 002 – Moraes, F.G.; Ferreira, E.H.; Calazans, N.L.V. Implementação de uma arquitetura load/store em um ambiente de prototipação. PDF
TR 001 – Zorzo, A.F.; Randell, B. Towards a formal specification of dependable multiparty interactions.PDF
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:
| 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 Unversidad ee 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
