PUCRS realiza ação no Cais Embarcadero
Foto: Divulgação Na próxima quinta-feira, dia 29/02, a PUCRS estará no Cais Embarcadero com mais uma atração para encantar o público…
29/02/2024 | 29/02/2024 Saiba mais
CIÊNCIA DA COMPUTAÇÃO Conceito Capes – 7
O Programa de Pós-Graduação em Ciência da Computação da PUCRS figura entre os melhores do país na área, sendo reconhecido com a nota máxima na avaliação Capes (nota 7). Com 30 anos de história, oferece os cursos de Mestrado e Doutorado e se destaca, entre outros fatores, pela infraestrutura de pesquisa avançada e bem equipada da Universidade. O programa propõe uma produção científica de alta qualidade e impacto, tanto em aspectos teóricos quanto práticos e tecnológicos.
Inscrições: De 01/09/2024 a 25/11/2024
Duração mestrado: 12 a 30 meses
Duração doutorado: 24 a 54 meses
Turno das disciplinas: Manhã
Email: [email protected]
Telefone: (51) 3320-3621
Compartilhe este curso
Conceitos como Inteligência artificial (IA), Internet das Coisas (IoT) e computação em nuvem, aos poucos, estão se tornando mais familiares para a população em geral. No entanto, nem todos têm consciência do quanto essas tecnologias são imprescindíveis para o funcionamento da sociedade e, portanto, precisam ser estudadas não só para viabilizar produtos e serviços já existentes como também permitir que novos sejam criados.
Neste contexto, o Programa de Pós-Graduação em Ciência da Computação da PUCRS visa contribuir para a inovação e o desenvolvimento tecnológico por meio de projetos de pesquisa aplicados e de uma forte parceria com a indústria e governos. Com grande impacto econômico e social, sua produção científica busca soluções para desafios nas áreas de segurança digital, inteligência artificial aplicada à saúde, otimização de sistemas complexos e desenvolvimento de tecnologias emergentes, como computação em nuvem e Internet das Coisas (IoT).
O programa conta com a infraestrutura de excelência da Universidade e com o Parque Científico e Tecnológico da PUCRS (Tecnopuc), sede de diversas empresas que interagem com o PPG em importantes projetos de inovação. Outro diferencial é seu corpo docente, composto por professores que são destaques em sociedades científicas nacionais e internacionais. Além disso, alguns deles contribuem de forma significativa para a política científica de instituições como o Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) e a Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Capes).
A nota máxima recebida pelo Programa de Pós-Graduação em Ciência da Computação da PUCRS na mais recente avaliação Capes (nota 7) atesta a excelência na formação de mais de 690 mestres e 170 doutores ao longo dos seus 30 anos de história. Além de contar com a qualidade no aprendizado, os estudantes que passam pelo PPG também participam de projetos de pesquisa de cooperação nacional e internacional e têm uma alta taxa de absorção no mercado e em instituições acadêmicas.
As seis linhas de pesquisa do programa são Ciência de Dados, Computação Gráfica, Engenharia de Software, Inteligência Artificial, Sistemas Embarcados e Sistemas Paralelos e Distribuídos. Nelas, tanto o Mestrado quanto o Doutorado enfatizam a capacidade de entender e aplicar o método científico, identificar e resolver problemas complexos na área de Ciência da Computação e comunicar a ciência de forma efetiva, seja como docente ou líder técnico em pesquisa e desenvolvimento.
As linhas de pesquisa do programa são: Ciência de Dados, Computação Gráfica, Engenharia de Software, Inteligência Artificial, Sistemas Embarcados e Sistemas Paralelos e Distribuídos. O PPGCC enfatiza o uso do método científico para resolver problemas complexos e comunicar a ciência de forma eficaz, formando tanto docentes quanto líderes técnicos.
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 da área de Computação, tais como: Ciência da Computação, Engenharia de Software, Sistemas de Informação, Engenharia de Computação e Ciência de Dados. 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.
O programa se beneficia da infraestrutura de excelência da PUCRS e da interação com o Tecnopuc, um parque tecnológico que abriga empresas envolvidas em projetos inovadores. Além disso, conta com um corpo docente renomado, que se destaca em sociedades científicas nacionais e internacionais e participa ativamente da política científica no CNPq e na Capes.
O Programa de Pós-Graduação em Ciência da Computação (PPGCC) da Escola Politécnica da PUCRS teve início com o Mestrado em Informática em 1993, reconhecido pela CAPES em 1998. Em 2005, o curso de Doutorado foi implementado, recomendado pela CAPES em 2004
O PPG possui 01 (uma) área de concentração: Ciência da Computação
| Linhas de Pesquisa | Descriçã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 |
Disciplinas
A PUCRS acredita que a formação em Pós-Graduação Stricto Sensu deve ser mais abrangente, flexível e dinâmica, visando o desenvolvimento de competências e habilidades diversificadas que ampliem as oportunidades profissionais do egresso. A formação de recursos humanos de alto nível para a pesquisa, docência, inovação e para o mercado não acadêmico exige diversificação nas possibilidades de trajetórias formativas.
Assim, a Política Institucional de Aproveitamento de Créditos para Atividades de Formação Acadêmica e Profissional tem por objetivo reconhecer o aproveitamento de créditos nos cursos de Pós-Graduação Stricto Sensu da PUCRS, e estimular a realização de atividades que contribuam para a formação de habilidades e competências fundamentais para a inserção acadêmica e profissional do egresso dos Programas de Pós-Graduação da PUCRS.
Poderão ser aproveitados créditos em atividades de formação acadêmica e profissional, observado o limite definido na Normatização de cada Programa de Pós-Graduação, nas atividades enquadradas nas seguintes categorias: (1) produção bibliográfica, (2) internacionalização, (3) inovação e (4) impacto social.
Conheça as normas do seu programa
| COD | Carga Horária | Descrição |
| 54664-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1982E-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54602-02 | 30 | Introdução à Animação Computadorizada; Modelagem e animação de personagens virtuais; Animação Comportamental; Ambientes Virtuais “inteligentes”. |
| Professor | Tempo de Casa | Currículo Lattes |
| SORAIA RAUPP MUSSE | 19 anos e 11 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 5461A-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54676-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1987I-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34639-02 | 30 | 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). |
| Professor | Tempo de Casa | Currículo Lattes |
| CESAR AUGUSTO FONTICIELHA DE ROSE | 26 anos e 4 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198BT-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 44626-02 | 30 | 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. |
| Professor | Tempo de Casa | Currículo Lattes |
| AFONSO HENRIQUE CORREA DE SALES | 12 anos e 11 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34668-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34669-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198KL-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54683-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54603-02 | 30 | 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 |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 19805-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54666-03 | 45 | Inteligência Artificial e Comunicação. A comunicação e o processamento de linguagem natural. Comunicação e ontologias. Comunicação em agentes inteligentes. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34653-02 | 30 | Confiabilidade de Sistemas: Taxonomia. Erro. Falha. Defeito. Tolerância a falhas. Mecanismos para tolerância a falhas. Acordo em sistemas distribuídos. Redundância. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54668-02 | 30 | Criptografia clássica; cifras de fluxo (stream ciphers) e cifras de bloco (block ciphers); integridade de mensagens (Message Authentication Codess); criptografia simétrica. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54672-02 | 30 | Aritmética modular; números primos e fatoração; funções e geradores pseudo-aleatórios; criptografia assimétrica; assinaturas digitais. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34674-02 | 30 | Data warehouse. Descoberta de conhecimento em bases de dados. Mineração de dados. Aplicações. Tendências. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54677-02 | 30 | Sistemas Colaborativos. Desenvolvimento de Software Colaborativo. Tendências. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54691-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1982K-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Educação Científica | MESTRADO | Não Obrigatória |
| Educação Científica | DOUTORADO | Não Obrigatória |
| Engenharia e Tecnologia de Materiais | MESTRADO | Não Obrigatória |
| Engenharia e Tecnologia de Materiais | DOUTORADO | Não Obrigatória |
| Materiais e Processos Relacionados | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| Aprendizagem, Ensino e Formação de Professores em Ciências e Matemática | Essa linha envolve estudos sobre o ensino e a aprendizagem em Ciências e Matemática, utilizando contribuições teóricas e metodológicas relacionadas à educação pela pesquisa, que está epistemologicamente vinculada à linguagem, a inter e transdisciplinaridade, a ciência e natureza do ser e aos processos de modelagem em Ciências e Matemática, associadas à formação inicial e continuada de professores, na Educação Básica e no Ensino Superior |
| Cultura, Epistemologia e Educação Científica | abrange pesquisas envolvendo aspectos históricos, epistemológicos e socioculturais relacionados ao desenvolvimento científico, matemático e tecnológico, e à alfabetização científica e popularização das ciências e da Matemática em espaços formais e não formais da educação. |
| Tecnologias na Educação em Ciências e Matemática | Essa linha abrange pesquisas relacionadas às tecnologias de informação e comunicação, como suporte ao processo de ensino e aprendizagem em Ciências e Matemática no ensino presencial e a distância. |
| Materiais metálicos | Visa o estudo e o desenvolvimento de ligas metálicas para diversas aplicações em engenharia, envolvendo a purificação de matéria prima, o estudo do processo de fabricação, tratamentos térmicos e termoquímicos e desempenho em uso (corrosão, …). |
| Biomateriais, Biomecânica e Bioprocessos | Visa desenvolver materiais para aplicações em implantes, além de projeto, fabricação e avaliação de desempenho dos mesmos em uso. Envolve também processos de separação, purificação e fracionamento de produtos naturais para aplicações em engenharia. |
| Materiais poliméricos | Envolve a síntese e a caracterização de polímeros e compósitos de matriz polimérica, visando a obtenção de polímeros condutores, polímeros biodegradáveis e polímeros para revestimentos, entre outros. |
| Modelagem e Simulação Aplicadas a Materiais e Processos | Visa estudar, sob a ótica da modelagem matemática e da simulação numérica, os processos e as tecnologias envolvidas com a produção, transporte e o desenvolvimento de materiais. Para tanto estudos relacionados aos fenômenos físicos; fortemente apoiados nos fenômenos de transporte, nas ciências dos materiais e na termodinâmica; são investigados. |
| Materiais e processos para mitigação e controle de impactos ambientais | Visa desenvolver materiais e processos usados em controle ambiental (água, ar, solo,…), envolvendo a reciclagem de materiais, materiais que permitam economizar energia e aplicação de tecnologias para a redução das emissões de gases de efeito estufa. |
| Materiais nanoestruturados | Visa desenvolver e caracterizar materiais nanoestruturados para aplicações especiais, tais como: polímeros condutores, super-redes de alta dureza, materiais magnéticos, filtros, sensores, entre outros. |
| Semicondutores e células solares | Visa o estudo e a produção de materiais semicondutores, bem como a fabricação e caracterização de células solares e o desenvolvimento de módulos fotovoltaicos convencionais e concentradores. |
| Materiais metálicos | Visa o estudo e o desenvolvimento de ligas metálicas para diversas aplicações em engenharia, envolvendo a purificação de matéria prima, o estudo do processo de fabricação, tratamentos térmicos e termoquímicos e desempenho em uso (corrosão, …). |
| Materiais poliméricos | Envolve a síntese e a caracterização de polímeros e compósitos de matriz polimérica, visando a obtenção de polímeros condutores, polímeros biodegradáveis e polímeros para revestimentos, entre outros. |
| Materiais e processos para mitigação e controle de impactos ambientais | Visa desenvolver materiais e processos usados em controle ambiental (água, ar, solo,…), envolvendo a reciclagem de materiais, materiais que permitam economizar energia e aplicação de tecnologias para a redução das emissões de gases de efeito estufa. |
| Modelagem e Simulação Aplicadas a Materiais e Processos | Visa estudar, sob a ótica da modelagem matemática e da simulação numérica, os processos e as tecnologias envolvidas com a produção, transporte e o desenvolvimento de materiais. Para tanto estudos relacionados aos fenômenos físicos; fortemente apoiados nos fenômenos de transporte, nas ciências dos materiais e na termodinâmica; são investigados. |
| Biomateriais, Biomecânica e Bioprocessos | Visa desenvolver materiais para aplicações em implantes, além de projeto, fabricação e avaliação de desempenho dos mesmos em uso. Envolve também processos de separação, purificação e fracionamento de produtos naturais para aplicações em engenharia. |
| Materiais nanoestruturados | Visa desenvolver e caracterizar materiais nanoestruturados para aplicações especiais, tais como: polímeros condutores, super-redes de alta dureza, materiais magnéticos, filtros, sensores, entre outros. |
| Semicondutores e células solares | Visa o estudo e a produção de materiais semicondutores, bem como a fabricação e caracterização de células solares e o desenvolvimento de módulos fotovoltaicos convencionais e concentradores. |
| COD | Carga Horária | Descrição |
| 1983J-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54671-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1982F-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1982H-02 | 30 | 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. |
| Professor | Tempo de Casa | Currículo Lattes |
| TIAGO COELHO FERRETO | 20 anos e 11 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54606-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1982J-02 | 30 | 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. |
| Professor | Tempo de Casa | Currículo Lattes |
| FABIANO PASSUELO HESSEL | 31 anos e 11 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198B6-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54678-01 | 15 | Desenvolvimento de Software. Ciclo de Vida de Desenvolvimento de Software. Processos de Software. Projeto Prático de Desenvolvimento de Software. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34648-02 | 30 | 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. |
| Professor | Tempo de Casa | Currículo Lattes |
| DUNCAN DUBUGRAS ALCOBA RUIZ | 32 anos e 6 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Obrigatória |
| Ciência da Computação | DOUTORADO | Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198MA-02 | 30 | The course covers fundamental principles of Artificial Intelligence (AI) and Machine Learning (ML). The course first briefly reviews some fundamental mathematical methods used in AI and ML such as metrics, distances, maximum likelihood and information theory. The course discusses the main conventional clustering and classification methods such as K-means, K nearest neighbors, naïve bayes, support vector machines, neural networks, regression trees and random forest. In addition, the course briefly introduces some of the main models used in deep learning and generative models such as convolutional neural networks, autoencoders, and reinforcement learning. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54689-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54659-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54669-02 | 30 | 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 |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198BS-02 | 30 | Introdução à pesquisa científica, o ciclo de pesquisa experimental, métodos de pesquisa experimentais, métodos de coleta e análise de dados. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34619-02 | 30 | 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 |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54645-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54679-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54625-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 5461C-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1982D-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 19802-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 44639-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34678-02 | 30 | 11. EMENTA: 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1982G-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34652-04 | 60 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54695-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54696-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1983K-02 | 30 | Modelagem e programação de aplicações paralelas com o paradigma de troca de mensagens. Técnicas de otimização. Análise de desempenho. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54684-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Obrigatória |
| Ciência da Computação | DOUTORADO | Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34656-02 | 30 | Estilos de Interação. Diretrizes de Projeto. Modelagem de Interfaces. Acessibilidade. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34655-02 | 30 | Introdução a Avaliação de Sistemas Interativos. Avaliação por Inspeção. Avaliação por Testes com Usuários. |
| Professor | Tempo de Casa | Currículo Lattes |
| MILENE SELBACH SILVEIRA | 30 anos e 6 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54610-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 19801-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54670-02 | 30 | Evolução das redes de computadores. Principais pilhas de protocolos para redes de computadores. Gerência de redes de computadores. Novas tecnologias de redes. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54694-04 | 60 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198B5-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 19853-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 5461B-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Educação Científica | MESTRADO | Não Obrigatória |
| Educação Científica | DOUTORADO | Não Obrigatória |
| Engenharia e Tecnologia de Materiais | MESTRADO | Não Obrigatória |
| Engenharia e Tecnologia de Materiais | DOUTORADO | Não Obrigatória |
| Materiais e Processos Relacionados | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| Aprendizagem, Ensino e Formação de Professores em Ciências e Matemática | Essa linha envolve estudos sobre o ensino e a aprendizagem em Ciências e Matemática, utilizando contribuições teóricas e metodológicas relacionadas à educação pela pesquisa, que está epistemologicamente vinculada à linguagem, a inter e transdisciplinaridade, a ciência e natureza do ser e aos processos de modelagem em Ciências e Matemática, associadas à formação inicial e continuada de professores, na Educação Básica e no Ensino Superior |
| Cultura, Epistemologia e Educação Científica | abrange pesquisas envolvendo aspectos históricos, epistemológicos e socioculturais relacionados ao desenvolvimento científico, matemático e tecnológico, e à alfabetização científica e popularização das ciências e da Matemática em espaços formais e não formais da educação. |
| Tecnologias na Educação em Ciências e Matemática | Essa linha abrange pesquisas relacionadas às tecnologias de informação e comunicação, como suporte ao processo de ensino e aprendizagem em Ciências e Matemática no ensino presencial e a distância. |
| Materiais metálicos | Visa o estudo e o desenvolvimento de ligas metálicas para diversas aplicações em engenharia, envolvendo a purificação de matéria prima, o estudo do processo de fabricação, tratamentos térmicos e termoquímicos e desempenho em uso (corrosão, …). |
| Biomateriais, Biomecânica e Bioprocessos | Visa desenvolver materiais para aplicações em implantes, além de projeto, fabricação e avaliação de desempenho dos mesmos em uso. Envolve também processos de separação, purificação e fracionamento de produtos naturais para aplicações em engenharia. |
| Materiais poliméricos | Envolve a síntese e a caracterização de polímeros e compósitos de matriz polimérica, visando a obtenção de polímeros condutores, polímeros biodegradáveis e polímeros para revestimentos, entre outros. |
| Modelagem e Simulação Aplicadas a Materiais e Processos | Visa estudar, sob a ótica da modelagem matemática e da simulação numérica, os processos e as tecnologias envolvidas com a produção, transporte e o desenvolvimento de materiais. Para tanto estudos relacionados aos fenômenos físicos; fortemente apoiados nos fenômenos de transporte, nas ciências dos materiais e na termodinâmica; são investigados. |
| Materiais e processos para mitigação e controle de impactos ambientais | Visa desenvolver materiais e processos usados em controle ambiental (água, ar, solo,…), envolvendo a reciclagem de materiais, materiais que permitam economizar energia e aplicação de tecnologias para a redução das emissões de gases de efeito estufa. |
| Materiais nanoestruturados | Visa desenvolver e caracterizar materiais nanoestruturados para aplicações especiais, tais como: polímeros condutores, super-redes de alta dureza, materiais magnéticos, filtros, sensores, entre outros. |
| Semicondutores e células solares | Visa o estudo e a produção de materiais semicondutores, bem como a fabricação e caracterização de células solares e o desenvolvimento de módulos fotovoltaicos convencionais e concentradores. |
| Materiais metálicos | Visa o estudo e o desenvolvimento de ligas metálicas para diversas aplicações em engenharia, envolvendo a purificação de matéria prima, o estudo do processo de fabricação, tratamentos térmicos e termoquímicos e desempenho em uso (corrosão, …). |
| Materiais poliméricos | Envolve a síntese e a caracterização de polímeros e compósitos de matriz polimérica, visando a obtenção de polímeros condutores, polímeros biodegradáveis e polímeros para revestimentos, entre outros. |
| Materiais e processos para mitigação e controle de impactos ambientais | Visa desenvolver materiais e processos usados em controle ambiental (água, ar, solo,…), envolvendo a reciclagem de materiais, materiais que permitam economizar energia e aplicação de tecnologias para a redução das emissões de gases de efeito estufa. |
| Modelagem e Simulação Aplicadas a Materiais e Processos | Visa estudar, sob a ótica da modelagem matemática e da simulação numérica, os processos e as tecnologias envolvidas com a produção, transporte e o desenvolvimento de materiais. Para tanto estudos relacionados aos fenômenos físicos; fortemente apoiados nos fenômenos de transporte, nas ciências dos materiais e na termodinâmica; são investigados. |
| Biomateriais, Biomecânica e Bioprocessos | Visa desenvolver materiais para aplicações em implantes, além de projeto, fabricação e avaliação de desempenho dos mesmos em uso. Envolve também processos de separação, purificação e fracionamento de produtos naturais para aplicações em engenharia. |
| Materiais nanoestruturados | Visa desenvolver e caracterizar materiais nanoestruturados para aplicações especiais, tais como: polímeros condutores, super-redes de alta dureza, materiais magnéticos, filtros, sensores, entre outros. |
| Semicondutores e células solares | Visa o estudo e a produção de materiais semicondutores, bem como a fabricação e caracterização de células solares e o desenvolvimento de módulos fotovoltaicos convencionais e concentradores. |
| COD | Carga Horária | Descrição |
| 54611-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54663-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 19803-02 | 30 | 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. |
| Professor | Tempo de Casa | Currículo Lattes |
| FERNANDO LUIS DOTTI | 26 anos e 11 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54660-03 | 45 | Sistemas embarcados, comunicação intra-chip, barramentos, redes intra-chip, multiprocessamento intra-chip. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54665-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198BR-02 | 30 | 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 |
| Professor | Tempo de Casa | Currículo Lattes |
| FERNANDO GEHM MORAES | 28 anos e 11 meses |
|
| CESAR AUGUSTO MISSIO MARCON | 29 anos e 6 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54661-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198LB-01 | 15 | Tópicos atuais de interesse em pesquisas e inovação na área de Ciência da Computação. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54693-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54680-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198H4-01 | 15 | Tópicos atuais de interesse em pesquisas e inovação na área de Engenharia de Software. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 198HL-02 | 30 | Tópicos atuais de interesse em pesquisas e inovação na área de Engenharia de Software. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54685-02 | 30 | 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. |
| Professor | Tempo de Casa | Currículo Lattes |
| LUCAS SILVEIRA KUPSSINSKU | 3 anos e 6 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Obrigatória |
| Ciência da Computação | DOUTORADO | Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34635-02 | 30 | Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas de Informação. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54658-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54662-03 | 45 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 44613-01 | 15 | Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 44614-01 | 15 | 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 |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34641-01 | 15 | Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34642-01 | 15 | Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34643-01 | 15 | Tópicos atuais de interesse à realização de pesquisas em Ciência da Computação. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54600-02 | 30 | Tópicos avançados de interesse à realização de pesquisas na área da Ciência da Computação. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54601-02 | 30 | Tópicos avançados de interesse à realização de pesquisas na área da Ciência da Computação. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34671-02 | 30 | Tópicos atuais de interesse à realização de pesquisas na linha de Bioinformática e Modelagem Computacional. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34633-02 | 30 | Tópicos atuais de interesse à realização de pesquisas na linha de Processamento Paralelo e Distribuído. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34670-01 | 15 | Tópicos atuais de interesse à realização de pesquisas na linha de Bioinformática e Modelagem Computacional. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34654-02 | 30 | Tópicos atuais de interesse à realização de pesquisas na linha de Confiabilidade de Sistemas. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34632-01 | 15 | Tópicos atuais de interesse à realização de pesquisas na linha de Processamento Paralelo e Distribuído. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34663-01 | 15 | Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas Embarcados e Sistemas Digitais. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34664-02 | 30 | Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas de Embarcados e Sistemas Digitais. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34658-02 | 30 | Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas Interativos I. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34659-02 | 30 | Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas Interativos I. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 34634-01 | 15 | Tópicos atuais de interesse à realização de pesquisas na linha de Sistemas de Informação. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54675-01 | 15 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54687-01 | 15 | Tópicos atuais de interesse à realização de pesquisas na linha de Interação Humano Computador |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54686-01 | 15 | Conceitos de Processamento de imagens. Morfologia matemática. Segmentação. Filtros de suavização. Detecção de bordas. Análise de imagens. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54644-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 19854-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 1987J-02 | 30 | 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. |
| Sem oferecimento no semestre corrente |
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
| COD | Carga Horária | Descrição |
| 54688-02 | 30 | 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. |
| Professor | Tempo de Casa | Currículo Lattes |
| ISABEL HARB MANSSOUR | 25 anos e 11 meses |
|
| Área de Concentração | Tipo | Obrigatoriedade |
| Ciência da Computação | MESTRADO | Não Obrigatória |
| Ciência da Computação | DOUTORADO | Não Obrigatória |
| Linha de Pesquisa | Descrição |
| SISTEMAS EMBARCADOS | Arquitetura Many-core – Cibersegurança – Codificação de Vídeo – Internet das Coisas – Microeletrônica |
| 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 PARALELOS E DISTRIBUÍDOS | Cibersegurança – Computação em Nuvem – Computação Paralela – Confiabilidade de Sistemas – Redes de Computadores |
O processo seletivo para Mestrado e Doutorado ocorre semestralmente via edital. Podem participar diplomados em áreas relacionadas à Computação ou com domínio de fundamentos da área.
Para o Doutorado, é preferível que os candidatos tenham: dedicação mínima de 20h semanais com grupo de pesquisa e orientador, plano de trabalho com doutorado-sanduíche e produções científicas em veículos internacionais qualificados.
Edital de Seleção 2025/1 – Mestrado e Doutorado
Selection for admission to Master’s and Doctoral programs in 2025/1
Selección para accender a los programas de Máster y Doctorado 2025/1
Bolsa de Pós-Doutorado – PIPD/CAPES
O Programa Institucional de Pós-Doutorado tem como objetivo a promoção da realização de estudos de excelência em alto nível, o reforço dos grupos de pesquisa nacionais e a promoção da inserção de pesquisadores em estágio pós-doutoral, estimulando sua integração com projetos de pesquisa desenvolvidos pelos programas de pós-graduação no país. Além disso, o PIPD busca promover o aperfeiçoamento de doutores por meio da atuação no ensino e na pesquisa e da internacionalização dos programas de pós-graduação incentivando a realização de estágio pós-doutoral no exterior.
Os bolsistas do Programa Institucional de Pós-Doutorado – PIPD poderão realizar estágio pós-doutoral no exterior, conforme as disposições estabelecidas pela Diretoria de Relações Internacionais da CAPES.
O aluno especial realiza matrícula em disciplinas do PPG de forma isolada. A matrícula é realizada durante o período de complementação de matrícula, conforme o Calendário Acadêmico. O limite máximo de créditos permitido na matrícula desta categoria de aluno é definido no Regulamento do PPG.
Podem pleitear a matrícula na categoria de aluno especial graduados em qualquer área de conhecimento que tenham diploma expedido por instituição reconhecida pelo MEC. Para alunos matriculados nesta categoria há o faturamento de mensalidades.
Para mais informações, entre em contato com a Secretaria do PPG.
Email: [email protected]
Telefone: (51) 3320-3621
Estudantes de mestrado ou doutorado de outras Instituições de Ensino Superior, nacionais ou internacionais, podem cursar disciplinas de PPGs da PUCRS na modalidade aluno convênio, desde que as instituições envolvidas possuam convênio. Nesta modalidade o estudante poderá cursar até, no máximo, 8 (oito) créditos por semestre e o convênio deverá estar vigente durante todo o semestre.
A matrícula é realizada durante o período de complementação de matrícula, conforme o Calendário Acadêmico, em disciplinas do PPG de forma isolada.
Para alunos matriculados nesta categoria não há o faturamento de mensalidades.
Para mais informações, entre em contato com a Secretaria do PPG.
Email: [email protected]
Telefone: (51) 3320-3621
Aluno G-PG é o aluno vinculado a curso de Graduação da PUCRS, que efetua matrículas em disciplinas isoladas nos Programas de Pós-Graduação, observando as normas do Programa Integrado de Ensino Graduação – Pós-Graduação (G-PG) estabelecidas na Resolução 05/2018.
Para alunos matriculados nesta categoria há o faturamento de mensalidades obedecendo valor do crédito da Graduação.
Saiba maisO Programa para Aceleração do Mestrado via Integração com a Graduação (Programa G+1) destina-se a alunos de Graduação da PUCRS interessados em antecipar atividades e disciplinas do curso de Mestrado em Programa de Pós-Graduação da Universidade de forma concomitante aos seus cursos de Graduação. O ingresso de alunos da Graduação da PUCRS no Programa G+1 é regido pelas normas estabelecidas pela Resolução 007/2021 da Reitoria.
A seleção de alunos para participação no Programa G+1 deve ocorrer por meio de processo seletivo regido por edital específico a ser lançado pelos Programas de Pós-Graduação conforme calendário anual a ser definido pela Diretoria de Pós-Graduação (DPG) da Pró-Reitoria de Pesquisa e Pós-Graduação (PROPESQ).
Edital Complementar G+ 1 1/2024
Saiba maisProf. Dr. Tiago Coelho Ferreto | [email protected]
Prof. Dr. Tiago Coelho Ferreto (Coordenador) | [email protected]
Prof. Dr. Fernando Gehm Moraes (Suplente) | [email protected]
Profa. Dra. Milene Selbach Silveira | [email protected]
Profa. Dra. Soraia Raupp Musse | [email protected]
Christian Mattjie de Oliveira (Representante Discente) | [email protected]
Prof. Dr. Tiago Coelho Ferreto (Coordenador) | [email protected]
Prof. Dr. Fernando Gehm Moraes (Suplente) | [email protected]
Profa. Dra. Milene Selbach Silveira | [email protected]
Profa. Dra. Soraia Raupp Musse | [email protected]
Christian Mattjie de Oliveira (Representante Discente) | [email protected]
Prof. Dr. Tiago Coelho Ferreto | [email protected]
Profa. Dra. Soraia Raupp Musse | [email protected]
Prof. Dr. Fernando Gehm Moraes | [email protected]
Prof. Dr. César Augusto Fonticielha De Rose | [email protected]
Christian Mattjie de Oliveira (Representante Discente) | [email protected]
Diego Cintrão | [email protected]
Vanessa Ruschel dos Santos | [email protected]
Secretária | [email protected]
| Nome | Currículo Lattes | |
|---|---|---|
| Afonso Henrique Correa De Sales | [email protected] |
|
| Avelino Francisco Zorzo | [email protected] |
|
| Cesar Augusto Fonticielha De Rose | [email protected] |
|
| Cesar Augusto Missio Marcon | [email protected] |
|
| Dalvan Jair Griebler | [email protected] |
|
| Duncan Dubugras Alcoba Ruiz | [email protected] |
|
| Fabiano Passuelo Hessel | [email protected] |
|
| Felipe Rech Meneguzzi | [email protected] |
|
| Fernando Gehm Moraes | [email protected] |
|
| Fernando Luis Dotti | [email protected] |
|
| Isabel Harb Manssour | [email protected] |
|
| Lucas Silveira Kupssinsku | [email protected] |
|
| Luiz Gustavo Leao Fernandes | [email protected] |
|
| Marcio Sarroglia Pinho | [email protected] |
|
| Milene Selbach Silveira | [email protected] |
|
| Rafael Prikladnicki | [email protected] |
|
| Rodrigo Coelho Barros | [email protected] |
|
| Sabrina Dos Santos Marczak | [email protected] |
|
| Soraia Raupp Musse | [email protected] |
|
| Tiago Coelho Ferreto | [email protected] |
|
| Nome | Currículo Lattes | |
|---|---|---|
| Jorge Luis Nicolas Audy | [email protected] |
|
| Nome | Currículo Lattes |
|---|---|
| Alan Da Silva Aguirre |
|
| Ana Carla Gomes Da Silva |
|
| Andrew Rafael Fritsch |
|
| Ariel Rossetto Ril |
|
| Candido Luciano De Farias |
|
| Cassiano Da Silva Souza |
|
| Clara Da Cunha D`avila |
|
| Cleyson Braga De Oliveira |
|
| Cristovam Lage Da Silva |
|
| Daniela Pereira Rigoli |
|
| Diego Gimenez Pedroso |
|
| Eduarda Cristina Pissolatto |
|
| Eduardo Fernandes Ceolin |
|
| Emerson Vieira Martins |
|
| Emilio Bresolin |
|
| Erik Rosa Filippini |
|
| Felipe Pritsch Fahrion |
|
| Fernando Amaro Da Silva Junior |
|
| Francisco Bittencourt De Souza |
|
| Gabriel Rustick Fim |
|
| Geraldo Mateus Macou Junior |
|
| Gilberto Neves Junior |
|
| Guido Luis Glufke Mainardi |
|
| Guilherme Gomes Schreiber |
|
| Guilherme Hiago Costa Dos Santos |
|
| Gustavo Comaru Rodrigues |
|
| Gustavo Hernandez Duarte |
|
| Gustavo Pereira Flores |
|
| Gustavo Savi Frainer |
|
| Higor Uelinton Da Silva |
|
| Jerusa Dalbosco Finatto |
|
| Joana Meneguzzo Pasquali |
|
| Joao Benno Weber |
|
| Joao Vitor Bernardi Severo |
|
| Junior Cesar Da Silva Alves |
|
| Kalissa Rodrigues De Castro |
|
| Laura Mendes Ribeiro Caetano |
|
| Leonardo Barbosa Da Rosa |
|
| Leonardo Gibrowski Fae |
|
| Luan Dopke |
|
| Lucas Augusto Rabaiolli Mazocco |
|
| Lucas Luz Zanolete |
|
| Lucas Machado Alf |
|
| Lucas Vaz Pires |
|
| Lucca Dornelles Cezar |
|
| Lucian Thomaz Da Silva |
|
| Manuel Adahil Muniz Osterno |
|
| Marcelo Mussi Delucis |
|
| Marco Nemetz Bochernitsan |
|
| Marco Vinicius Matos Oliveira |
|
| Mateus Guzinski Haas |
|
| Miguel Zanela |
|
| Nadine Anderle |
|
| Nathan Baptista Schostack |
|
| Neverson Dos Santos E Silva |
|
| Nicolas Mathias Hahn |
|
| Nicolle Mussoi Perico |
|
| Patric Castelli |
|
| Paulo Ricardo Prass |
|
| Pedro Portella Possamai |
|
| Pedro Prokath Wagner |
|
| Rafael Almeida De Bem |
|
| Rafael Ruda Franca Rocha |
|
| Raphael Varela Ribeiro |
|
| Raquel Severo Celia |
|
| Ricardo Ferreira Guimaraes |
|
| Rodrigo Henrich |
|
| Rodrigo Luan Ferrazza |
|
| Sabrina Born Teixeira |
|
| Saulo Azevedo Oliveira |
|
| Tarsio Onofrio Cardoso Da Silva |
|
| Temis Machado De Medeiros |
|
| Thales De Oliveira Voltz |
|
| Tiago Ulrich Beneditto |
|
| Vitor Hugo Garcez Barcellos Dos Santos |
|
| William Esteves Campos De Oliveira |
|
| Willian Analdo Nunes |
|
| Wolfgang Ricardo Rowell Junior |
|
| Yuri De Souza Pazin |
|
| Nome | Currículo Lattes |
|---|---|
| Adriel Silva De Araujo |
|
| Alex Otesbelgue |
|
| Alexandre Yukio Ichida |
|
| Andre Fernando Rollwagen |
|
| Andrea Gnecco |
|
| Angelo Elias Dalzotto |
|
| Anielle Severo Lisboa De Andrade |
|
| Bernardo Scapini Consoli |
|
| Bruna Poletto Salton |
|
| Caio Steglich Borges |
|
| Carlos Henrique Da Costa Cano |
|
| Carlos Henrique Kayser |
|
| Christian Mattjie De Oliveira |
|
| Douglas Antunes Tesch |
|
| Elia Rafael De Lima Batista |
|
| Estevao Smania Testa |
|
| Gabriel Fonseca Silva |
|
| Gabriel Giordani Dos Santos |
|
| Gabriel Rossi Figlarz |
|
| Gabriell Alves De Araujo |
|
| Graziela Basilio Pereira |
|
| Guilherme Dall`agnol Deconto |
|
| Guilherme Graf Schuler |
|
| Guilherme Vaz Pereira |
|
| Julia Kubiak Melgare |
|
| Kin Max Piamolini Gusmao |
|
| Larissa Daiane Caneppele Guder |
|
| Laura Angelica Tomaz Da Silva |
|
| Luciane Oliveira Fortes |
|
| Luis Vinicius De Moura |
|
| Mariana Gomes Borges |
|
| Martin Duarte More |
|
| Murilo Santos Regio |
|
| Natalya Marjana Goelzer |
|
| Nicolas Pereira Do Nascimento |
|
| Otavio Parraga |
|
| Pedro Henrique Morais Sanvido |
|
| Rafaela Cappelari Ravazio |
|
| Renata Vinade Da Silva |
|
| Renato Barreto Hoffmann Filho |
|
| Ricardo Maciel Leonarczyk |
|
| Silvio Augusto Langer |
|
| Vinicius Chrisosthemos Teixeira |
|
| Vitor Miguel Xavier Peres |
|
| William Da Rosa Frohlich |
|
| Nome | Currículo Lattes |
|---|---|
| Anderson Roberto Pinheiro Domingues |
|
| Carlos Falcao De Azevedo Gomes |
|
| Mauricio Cecilio Magnaguagno |
|
| Rafael Follmann Faccenda |
|
Disciplinas Obrigatórias
A estrutura curricular do PPGCC define que o aluno de Mestrado deve concluir antes da defesa da Dissertação de Mestrado 4 créditos referentes a pelo menos duas das três disciplinas listadas abaixo:
34648-02 – Lógicas e Álgebras Computacionais (2 créditos)
54385-02 – Teoria da Computação (2 créditos)
54648-02 – Projeto e Análise de Algoritmos (2 créditos)
Proficiência
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.
Mais detalhes podem ser encontrados no Regulamento do PPGCC.
Créditos da Disciplinas
O número mínimo de créditos exigido no Programa para alunos de Mestrado são 18 (dezoito) créditos. O aluno deve cursar no mínimo 2 disciplinas obrigatórias (4 créditos) e no mínimo obter 1 crédito de Produção Textual (Monografia ou Artigo Científico). Os demais créditos devem ser obtidos através das disciplinas do curso ou Atividades de Formação Acadêmica e Profissional (máximo de 6 créditos) conforme descrito na Instrução Normativa respectiva.
Mais detalhes podem ser encontrados no Regulamento do PPGCC e na Instrução Normativa de Aproveitamento de Créditos por Atividades de Formação Acadêmica e Profissional.
Política de Aproveitamento de Créditos
As disciplinas cursadas, como aluno especial ou regular, no Programa, antes do ingresso atual no curso, podem eventualmente ser integralizadas.
Disciplinas cursadas ou atividades realizadas em outros Programas de Pós-Graduação da PUCRS ou de outras instituições podem eventualmente ser aproveitadas conforme critérios estabelecidos pela Comissão Coordenadora e observando o limite de 9 créditos.
Os alunos de Mestrado podem obter até 6 créditos em Atividades de Formação Acadêmica e Profissional, divididas em 4 categorias:
(1) produção bibliográfica
(2) internacionalização
(3) inovação
(4) impacto social.
Os créditos aproveitados nas categorias (1) produção bibliográfica e (2) internacionalização poderão corresponder a até 100% do número total de créditos em aproveitamento (até 6 créditos).
Já a soma dos créditos aproveitados nas categorias (3) inovação e (4) impacto social não poderá superar dois terços do número total de créditos aproveitáveis (até 4 créditos).
Mais detalhes podem ser encontrados no Regulamento do PPGCC e nas Instruções Normativas de Aproveitamento de Créditos por Atividades de Formação Acadêmica e Profissional, e Aproveitamento e Integralização de Créditos.
Qualificação de Dissertação
O PPGCC não possui a etapa de qualificação de dissertação.
Defesa de Dissertação
O aluno de Mestrado poderá realizar a Defesa da sua Dissertação após atingir os seguintes requisitos obrigatórios:
• Cumprir e obter aprovação no número de créditos exigido (18 créditos) atendendo as exigências estabelecidas na Estrutura Curricular do Curso;
• Atestar proficiência em Língua Inglesa até o final de seu primeiro ano de curso;
• Obter aprovação em seu Plano de Estudo e Pesquisa;
• Ter apresentado o Seminário de Andamento.
O prazo regular para realização da Defesa da Dissertação de Mestrado é de 24 meses a contar da data de ingresso no aluno do Programa. Este prazo pode ser prorrogado no máximo até 30 meses. Não são contabilizados para efeitos de prazos os períodos de trancamento de curso.
A composição mínima exigida de uma comissão examinadora de Dissertação de Mestrado deve ser composta por 1 examinador externo ao PPGCC e 1 examinador credenciado no PPGCC.
Mais detalhes podem ser encontrados na Instrução Normativa de Defesa de Dissertação de Mestrado.
Homologação
O cumprimento da etapa de homologação da Dissertação de Mestrado defendida no PPGCC é obrigatório para o encaminhamento da solicitação de diploma para os alunos concluintes.
Ao realizar sua Defesa de Dissertação, o aluno recebe um atestado de conclusão (temporário até a obtenção do diploma) de curso válido por 60 dias. A homologação da Dissertação deverá ocorrer dentro deste prazo. Decorrido este período, a Secretaria do PPGCC não emitirá extensão do atestado de conclusão emitido na data da defesa.
Mais detalhes podem ser encontrados na Instrução Normativa de Homologação e Solicitação de Diploma.
Disciplinas Obrigatórias
A estrutura curricular do PPGCC define que o aluno de Doutorado deve concluir antes da defesa da Tese de Doutorado 4 créditos referentes a pelo menos duas das três disciplinas listadas abaixo:
34648-02 – Lógicas e Álgebras Computacionais (2 créditos)
54385-02 – Teoria da Computação (2 créditos)
54648-02 – Projeto e Análise de Algoritmos (2 créditos)
Caso o aluno tenha cursado estas disciplinas durante o Mestrado, o aluno poderá solicitar o aproveitamento destas disciplinas.
Proficiência
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.
Mais detalhes podem ser encontrados no Regulamento do PPGCC.
Créditos da Disciplinas
O número mínimo de créditos exigido no Programa para alunos de Doutorado são 30 créditos. O aluno deve cursar no mínimo 2 disciplinas obrigatórias (4 créditos), podendo solicitar aproveitamento caso tenha cursado estas disciplinas no Mestrado, e no mínimo obter 2 créditos de Produção Textual (Monografia ou Artigo Científico). Os demais créditos devem ser obtidos através das disciplinas do curso ou Atividades de Formação Acadêmica e Profissional (máximo de 12 créditos) conforme descrito na Instrução Normativa respectiva. Mais detalhes podem ser encontrados no Regulamento do PPGCC e na Instrução Normativa de Aproveitamento de Créditos por Atividades de Formação Acadêmica e Profissional.
Política de Aproveitamento de Créditos
Disciplinas cursadas no Programa, como aluno especial ou regular, antes do ingresso atual, podem ser integralizadas. Da mesma forma, disciplinas ou atividades realizadas em outros Programas de Pós-Graduação da PUCRS ou de outras instituições podem ser aproveitadas, conforme os critérios da Comissão Coordenadora, respeitando o limite de 18 créditos. No Doutorado, os alunos podem obter até 12 créditos em Atividades de Formação Acadêmica e Profissional, divididas em quatro categorias:
(1) produção bibliográfica
(2) internacionalização
(3) inovação
(4) impacto social.
Os créditos nas categorias de produção bibliográfica e internacionalização podem corresponder a até 100% do total de créditos aproveitáveis (até 12 créditos). No entanto, a soma dos créditos em inovação e impacto social não pode ultrapassar dois terços do total de créditos (até 6 créditos). Mais detalhes estão disponíveis no Regulamento do PPGCC e nas Instruções Normativas de Aproveitamento de Créditos por Atividades de Formação Acadêmica e Profissional, e Aproveitamento e Integralização de Créditos.
Qualificação de Tese
O Exame de Qualificação é uma etapa obrigatória do curso de Doutorado na qual o aluno deverá demonstrar capacidade divulgar o andamento de seu trabalho através de publicação(ões) científica(s) qualificada(s) relacionada(s) ao tema de sua Tese de Doutorado. Recomenda-se que o aluno de Doutorado deve ter encaminhado a documentação referente ao seu Exame de Qualificação até a 5ª matrícula, podendo reencaminhar uma única vez em caso de reprovação.
O prazo máximo para obtenção de aprovação no Exame de Qualificação é a 6ª matrícula. Em caso de não aprovação até este limite, o aluno é desligado do curso conforme o Regulamento do PPGCC. Não são contabilizados para efeitos de prazos os períodos de trancamento de curso. Mais detalhes podem ser encontrados na Instrução Normativas de Aproveitamento de Apresentação do Exame de Qualificação.
Defesa de Tese
O aluno de Doutorado poderá realizar a Defesa da sua Tese após atingir os seguintes requisitos obrigatórios:
• Cumprir e obter aprovação no número de créditos exigido (30 créditos) atendendo as exigências estabelecidas na Estrutura Curricular do Curso;
• Atestar proficiência em duas línguas estrangeiras, uma delas sendo obrigatoriamente a língua inglesa;
• Obter aprovação na Proposta de Tese;
• Obter aprovação no Exame de Qualificação.
O prazo regular para realização da Defesa da Tese de Doutorado é de 48 meses a contar da data de ingresso no aluno do Programa. Este prazo pode ser prorrogado no máximo até 54 meses. Não são contabilizados para efeitos de prazos os períodos de trancamento de curso. A composição mínima exigida de uma comissão examinadora de Dissertação de Mestrado deve ser composta por 2 examinadores externos ao PPGCC, sendo pelo menos um destes externo à Universidade, e 1 examinador credenciado no PPGCC. Mais detalhes podem ser encontrados na Instrução Normativa de Defesa de Tese de Doutorado.
Homologação
O cumprimento da etapa de homologação da Tese de Doutorado defendida no PPGCC é obrigatório para o encaminhamento da solicitação de diploma para os alunos concluintes. Ao realizar sua Defesa de Tese, o aluno recebe um atestado de conclusão (temporário até a obtenção do diploma) de curso válido por 60 dias. A homologação da Tese deverá ocorrer dentro deste prazo. Decorrido este período, a Secretaria do PPGCC não emitirá extensão do atestado de conclusão emitido na data da defesa. Mais detalhes podem ser encontrados na Instrução Normativa de Homologação e Solicitação de Diploma.
Para Todos os alunos do Programa
Para alunos de mestrado:
Para Alunos de Doutorado
Para Todos os alunos do Programa
Para alunos de mestrado
Para alunos de doutorado
Alunos de mestrado e doutorado poderão concorrer a bolsas das agências de fomento, como da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES); do Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), na modalidade integral ou parcial; e do Programa Institucional para Incentivo à Pós-Graduação (PRO-Stricto).
Mais InformaçõesO Programa de Crédito Educativo da PUCRS (Credpuc) disponibiliza um auxílio de 50% das mensalidades, que são reembolsadas pelo aluno após o término do curso, pelo mesmo período de utilização.
Mais InformaçõesO 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.
Mais InformaçõesÉ permitido aos interessados que não tenham sido aprovados no processo seletivo, ou a outros interessados, cursar disciplinas isoladas, na condição de alunos especiais. Os pedidos para cursar disciplinas como aluno especial devem ser homologados pela Comissão Coordenadora do Programa.
O valor para cursar disciplinas isoladas, baseado no número de créditos da disciplina, será pago em 5 parcelas no semestre em que a disciplina for cursada. A primeira parcela é paga no ato da matrícula e as demais terão vencimento no dia 15 de cada mês com emissão de documento bancário.
Mais InformaçõesA PUCRS é uma Instituição comprometida com a geração e a transformação do conhecimento e com a inovação para o desenvolvimento social, priorizando a formação integral das pessoas. Visando consolidar-se como uma universidade de classe mundial, com uma abordagem global e internacional, seu Plano Institucional de Internacionalização alinha-se à sua Missão, na busca da promoção do desenvolvimento científico, social, econômico, ambiental e cultural, integrando ensino, pesquisa, extensão, inovação e empreendedorismo.
A internacionalização permeia todas as atividades da universidade, promovendo um ambiente multilíngue, multicultural, global e inclusivo. O empenho na expansão e na consolidação da internacionalização nos Programas de Pós-Graduação da PUCRS alinha-se à busca da excelência na qualidade dos cursos. A Universidade insere-se nas pautas globais de pesquisa colaborativa, na busca de soluções efetivas para os grandes desafios sociais, compartilhando conhecimentos e tecnologias, de movo a promover um intercâmbio global, inclusivo e multidisciplinar.
A Coordenadoria de Internacionalização do Stricto Sensu (CISS) estabelece-se como uma estrutura de apoio direto às coordenações, secretarias, corpo docente e discente dos PPGs, para a promoção, apoio e curadoria de ações de internacionalização, adaptadas ao perfil, às vocações e às especificidades de cada um dos Programas. Coordena, por exemplo, as ações do Projeto Capes PrInt na PUCRS, que objetiva desenvolver e integrar a dimensão internacional no âmbito do ensino de Pós-Graduação Stricto Sensu e da Pesquisa da Universidade, visando a excelência acadêmica e soluções transformadoras para questões globais da sociedade.
Editais em andamentoO Projeto Institucional de Internacionalização (PUCRS-PrInt) em candidatura ao Edital 41/2017 – Capes/PrInt, tem como objetivo desenvolver e incorporar perspectivas internacionais nos Programas de Pós-Graduação da Universidade, visando a excelência acadêmica e ações efetivas para os problemas globais da sociedade. Benefícios de mobilidade discente e docente para o Brasil e para o exterior estão disponíveis em editais de diferentes modalidades.
Conheça as opções de financiamentoO discente matriculado como aluno regular em curso de Doutorado da PUCRS poderá realizar período de formação e pesquisa em outra instituição, desde que já esteja regularmente matriculado no Doutorado há pelo menos 2 (dois) semestres. O discente deve contar com aprovação da Comissão Coordenadora do PPG no qual está vinculado na PUCRS e com a aceitação do orientador na instituição de destino.
A duração do Doutorado Sanduíche é de no máximo 24 (vinte e quatro) meses, computado esse período no tempo de curso do discente na PUCRS.
Selecionado(a)Doutorado Sanduíche no exterior – PDSE – 2/2024
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.
MOVE LA AMERICA
O Programa Move La América tem como objetivo complementar os esforços de internacionalização das Instituições de Ensino Superior brasileiras por meio da atração de discentes vinculados a instituições de ensino e pesquisa estrangeiras da América Latina e Caribe, permitindo-se o fortalecimento dos Programas de Pós-Graduação (PPG) e a criação de um ambiente institucional internacional.
O Programa concederá bolsas para estudantes de Mestrado ou Doutorado vinculados a instituições de ensino e pesquisa estrangeiras da América Latina e Caribe, nas modalidades mestrado e doutorado sanduíche no Brasil com vistas a realizarem estágio, pesquisas, atividades de extensão e, eventualmente, cursarem disciplinas em Programas de Pós-Graduação (PPG) de Instituições de Ensino Superior (IES) brasileiras, Institutos Federais ou Institutos de Pesquisa, sempre em áreas relacionadas à sua área de atuação.
O PPGCC tem mantido um processo sistemático de reflexão, autoavaliação e planejamento. Dentre as iniciativas tomadas, destacam-se: (a) reuniões de planejamento estratégico, realizadas periodicamente com o pleno; (b) formação de grupos de trabalho para discussão de questões específicas; (c) acompanhamento dos resultados das avaliações institucionais; e (d) seminário interno, que ocorre a cada final de quadriênio. As reuniões de planejamento estratégico (a) – tanto as que ocorrem periodicamente no âmbito do Programa quanto às incentivadas por projetos institucionais – têm permitido aos docentes uma reflexão conjunta sobre o potencial do Programa e seus desafios, em um esforço conjunto de melhoria contínua do Programa.
Estas reuniões geralmente iniciam com uma apresentação e discussão sobre o panorama geral sobre o Programa, seguida de discussões em grupo para estabelecimento de metas e ações relacionadas, às quais depois são discutidas pelo grande grupo. Dentre as ações resultantes das reuniões de planejamento estratégico, a formação de grupos de trabalho (b) tem ajudado na discussão de questões específicas como o processo de seleção e de atribuição de bolsas ou de estratégias para captação de alunos, por exemplo. A Universidade tem estabelecido, desde 2011, o processo de autoavaliação institucional dos Programas de Pós-Graduação, o qual ocorre bianualmente. A análise dos resultados desta avaliação (c) – na qual participam o corpo docente e discente – é usada não apenas para acompanhamento de importantes questões relacionadas à organização do Programa como um todo e especificamente em relação a disciplinas ofertadas, desempenho discente e processos de orientação, como, também, como insumo para as discussões do pleno e para reflexão pela gestão do Programa. Cabe destaque, também, que deste acompanhamento contínuo, houve a formação – desde a quadrienal passada – de uma Comissão de Acompanhamento da Avaliação, que apoia à Coordenação do Programa em todas as discussões relacionadas a este tópico.
Por fim, a cada ano final de quadriênio, ocorre um Seminário Interno (d), como etapa obrigatória do processo de recredenciamento docente, no qual cada docente apresenta ao pleno uma reflexão sobre sua trajetória e passos futuros junto ao Programa. Em suma, estas iniciativas têm permitido, ao Programa, a (re)definição de suas estratégias e processos e, mesmo, das Instruções Normativas que regem o Programa. Além destas iniciativas, os docentes do PPGCC têm participado ativamente em todas as ações relacionadas a planejamento e autoavaliação promovidas pela Universidade e anteriormente descritas.
Em relação à formação discente, os resultados de nossa autoavaliação nos mostram a estabilidade de nosso corpo discente, com uma média de 130 alunos. Já com foco na produção intelectual, nossos resultados apontam para a consolidação da produção científica qualificada, notadamente em veículos com alto fator de impacto.
Ser mais do que uma universidade é promover desenvolvimento e impacto social para a comunidade. Essa é uma causa que nos acompanha desde sempre: existimos para transformar realidades, buscando constantemente respostas criativas para tudo que o nosso tempo e o amanhã precisarem.
Contamos com uma série de iniciativas que marcam nossa trajetória de impacto social gerado por diferentes estruturas e ações da PUCRS. Saiba mais sobre nossa atuação em https://portal.pucrs.br/impacto/
O acompanhamento dos egressos dos Programas de Pós-Graduação da PUCRS acontece atualmente em dois níveis: Institucional e do PPG.
No nível institucional, a universidade estabelece essa relação com seu egresso por meio da Rede PUCRS Alumni. Esta rede está vinculada à Pró-Reitoria de Identidade Institucional (PROIIN), constituindo-se na área responsável por acompanhar e desenvolver projetos que fortaleçam o relacionamento com o público egresso, iniciando esta jornada já em sua conclusão de curso.
No âmbito do Programa de Pós-Graduação, cada PPG organiza sua própria forma de acompanhamento do egresso, com vistas a mantê-lo próximo e conectado ao universo do PPG, bem como acompanhar o impacto de suas ações na sociedade.
Oportunidades internacionais oferecidas pela Universidade.
Conecte sua pesquisa acadêmica ao ecossistema de inovação da PUCRS e explore oportunidades de negócios a partir da pesquisa.
Nossas pesquisas e projetos visam gerar impacto real na sociedade.
O Programa de Pós-Graduação em Odontologia conta com a estrutura privilegiada de laboratórios, institutos de pesquisa dentre outros, listados a seguir. O sistema de compartilhamento de equipamentos viabiliza o acesso a todas as estruturas de pesquisa da Universidade.
Foto: Divulgação Na próxima quinta-feira, dia 29/02, a PUCRS estará no Cais Embarcadero com mais uma atração para encantar o público…
29/02/2024 | 29/02/2024 Saiba mais
A exposição comemora os 130 anos da primeira transmissão de telegrafia e telefonia sem fio Foto: Divulgação Segue até o…
29/02/2024 | 12/03/2024 Saiba mais
Promovido pela Graduação e da Pós-Graduação em Teologia da PUCRS e pela Conferência Nacional dos Bispos do Brasil, a Universidade…
04/03/2024 | 06/03/2024 Saiba mais
Cada semestre é uma nova oportunidade para viver o seu melhor na Escola de Negócios! As aulas da graduação retornam nesta segunda-feira, dia 24 de fevereiro, com uma programação recheada de atividades pensadas para nossos estudantes. Desejamos que calouros e veteranos aproveitem muito este semestre! Se você tem aula no período da atividade, se dirija […]
sexta-feira, 21 de fevereiro | 2025
