Guia do Mestrado em Informática Sistemas e Redes & Ciência de Computadores Faculdade de Ciências, Universidade do Porto Faculdade de Ciências da Universidade do Porto 2006-2008 http://www.dcc.fc.up.pt/mi
1 Objectivos O Mestrado em Informática visa a formação avançada e de qualidade de prossionais e investigadores em diferentes especialidades da área cientíca de Ciência de Computadores. Procura-se melhorar os conhecimentos técnicos de informática dos licenciados que visam de imediato uma carreira prossional e, simultaneamente cimentar os conceitos teóricos daqueles que pretendam prosseguir uma formação académica. Em particular, este Mestrado interessa aos licenciados que pretendam: um complemento da sua formação ao nível de licenciatura; uma actualização técnica e cientíca que permita uma melhor resposta às solicitações do mercado de trabalho; uma preparação adequada para prosseguir uma formação pós-graduada ao nível de doutoramento. 2
2 Ramos de Especialidade O Curso de Mestrado em Informática terá dois ramos de especialidade: Sistemas e Redes Ciência de Computadores 2.1 Sistemas e Redes Recentemente tem-se assistido a uma cada vez maior interligação entre sistemas informáticos, seja ao nível da rede ou das aplicações. Exemplos são a Internet e sistemas de dados distribuídos. Este facto tem evidenciado uma grande carência ao nível de especialistas preparados para responder às novas solicitações ao nível de administração de redes e aplicações distribuídas. Vários docentes do Departamento de Ciência de Computadores tiveram um papel determinante no projecto pioneiro da criação da rede nacional de computadores e estiveram envolvidos na gestão da rede da Universidade do Porto e do nó do Porto da Rede de Cálculo Cientíco Nacional. Os docentes desta área de especialidade desenvolvem actividades de investigação no Laboratório de Inteligência Articial e Ciência de Computadores (LIACC). Alguns dos temas de investigação que interessam a estes docentes são: Administração de Redes e Protocolos, Aplicações em Rede (Internet), Concorrência e Mobilidade, Criptograa, Processamento Paralelo e Distribuído, Programação orientada a Objectos, Sistemas de Gestão de Bases de Dados e sistemas P2P. 2.2 Ciência de Computadores Actualmente a evolução constante na área de tecnologias da informação faz com que os prossionais desta área tenham, acima de tudo, que estar preparados para uma actualização constante. Este ramo visa, através do fornecimento de conhecimentos fundamentais na área de Ciência de Computadores, preparar especialistas com uma grande capacidade de adaptação à inovação tecnológica actual. O estudo de fundamentos teóricos e metodologias de programação abordados neste ramo tem aplicação imediata em áreas como novas técnicas de programação, criptograa, concorrência e mobilidade e linguagens de formatação de documentos para a Web (XML). Os docentes desta área de especialidade desenvolvem actividades de investigação no Laboratório de Inteligência Articial e Ciência de Computadores (LIACC), da Universidade do Porto. Alguns dos temas de investigação que interessam a estes docentes são: Implementação de Linguagens de Programação, Programação Funcional, Programação Lógica, Programação Orientada a Objectos, Programação por Restrições, Processamento Paralelo e Distribuído, Concorrência e Mobilidade, Sistemas de Bases de Dados, Teoria da Informação e Complexidade, Criptograa, Teoria das Linguagens, Teoria Algoritmica de Grafos e Lógica Computacional. 3
3 Funcionamento Duração e Organização O Mestrado tem a duração de dois a quatro semestres e compreende a frequência e aprovação num curso de especialização (parte escolar). A aprovação na parte escolar qualicará os alunos para a realização de um projecto individual de investigação, com a duração de dois semestres, com vista à elaboração de uma dissertação que será apresentada para discussão e aprovação. 3.1 Estrutura curricular do curso de especialização. A estrutura curricular do curso está organizada em especialidades cientícas da área de Ciência de Computadores. O número total de unidades de crédito necessárias à conclusão do curso é 60. Tendo em atenção a formação curricular anterior, poderá ser conferida a alunos das Licenciaturas em Ciência de Computadores e em Engenharia de Redes e Sistemas Informáticos do Departamento de Ciência de Computadores - FCUP a equivalência, até um máximo de 30 unidades de crédito, de disciplinas do curso de licenciatura de conteúdo programático e escolaridade que forem considerados apropriados pela Comissão Cientíca do Departamento de Ciência de Computadores da FCUP. Assim com uma escolha adequada de créditos daquelas disciplinas de Licenciatura, será possível a estudantes que terminam as licenciaturas em Ciência de Computadores ou em Engenharia de Redes e Sistemas da FCUP concluírem o Mestrado no ano seguinte ao ano de conclusão da licenciatura. A análise do processo de equivalência decorre na sequência de um requerimento do aluno (vejase a secção sobre os documentos de candidatura), que deve ser entregue durante o período de candidatura ao Mestrado, num processo separado. Meios computacionais O DCC possui um laboratório reservado aos alunos de mestrado equipado com PCs usando os sistemas Linux e Windows. Os alunos terão ainda acesso à rede do Departamento usando os seus portáteis pessoais através de uma ligação sem os. Os alunos terão acesso geral à Internet e localmente à sua conta de correio electrónico, a um sistema de impressão e gestão remota de cheiros. Para a realização do projecto de investigação os alunos terão ainda acesso a equipamento do LIACC. Bibliotecas Os alunos de mestrado têm acesso à biblioteca do DCC que está bem dotada de livros e revistas cientícas na área de Ciência de Computadores, bem como às restantes bibliotecas da Faculdade de Ciências. 4
4 Plano de Estudos O Curso de Mestrado em Informática possui dois ramos de especialidade: Sistemas e Redes (SR) e Ciência de Computadores (CC). Para conclusão da parte escolar do mestrado, cada aluno deve obter aprovação em 60 unidades de crédito (UC) nas disciplinas indicadas com a restrição de, no mínimo, 45 UC serem em disciplinas de um mesmo ramo de especialidade. O plano de estudos detalhado pode ser consultado na página do mestrado na Faculdade de Ciências. A disciplina de Tópicos Avançados de Informática (TAI) é obrigatória e os alunos só se poderão inscrever a esta disciplina com aprovação em, pelo menos, 30 unidades de crédito. A disciplina funcionará, em príncipio, no primeiro semestre do segundo ano do curso, excepto para os alunos das licenciaturas em Ciência de Computadores e em Engenharia de Redes e Sistemas Informáticos do Departamento de Ciência de Computadores da FCUP, a quem seja conferida a equivalência a disciplinas da licenciatura num total de 30 unidades de crédito. A disciplina de TAI funciona por módulos e pretende apresentar aos alunos vários tópicos avançados da área. Nesta edição do mestrado irão funcionar os seguintes módulos: 1. Programação Paralela 2. Concorrência e Mobilidade 3. Sistemas Distribuidos 4. Implementação de linguagens 5. Complexidade Computacional 6. Lógica Computacional 5 Candidaturas O Mestrado possui um numerus clausus de 20, com 35% reservado prioritariamente a docentes do ensino superior. As fases de admissão de candidaturas estão devidamente identicadas na página dos Mestrados da Faculdade de Ciências. O calendário lectivo e o período de exames coincidirão com os estabelecidos pela Faculdade de Ciências. 5.1 Habilitações de acesso São admitidos à inscrição no curso de Mestrado em Informática os licenciados em Ciência de Computadores, em Engenharia de Redes e Sistemas Informáticos, em Ciências da Computação, em Engenharia Informática ou em licenciaturas ans com a classicação mínima de catorze (14) valores. A Comissão de Coordenação do Mestrado poderá ainda propor ao Conselho Cientíco da Faculdade de Ciências a admissão à inscrição do curso de Mestrado de candidatos que: tenham uma licenciatura em Ciência de Computadores, em Engenharia de Redes e Sistemas Informáticos, em Ciências da Computação, em Engenharia Informática ou em licenciaturas ans, com classicação inferior a catorze (14) valores, desde que o respectivo currículo demonstre uma adequada preparação cientíca de base. sejam titulares de outras licenciaturas (ou de graus universitários obtidos no estrangeiro), desde que o respectivo currículo demonstre uma adequada preparação cientíca de base. 5
5.2 Documentos para a Candidatura Para efectuar a sua candidatura deverá reunir os documentos referidos na página ocial dos Mestrados da Faculdade de Ciências, e enviá-los para o Gabinete de Pós-Graduação, cuja morada pode encontar na mesma página. Note que deve ter em atenção que o Departamento de Ciência de Computadores exige que o certicado de licenciatura enviado pelo candidato liste detalhadamente as disciplinas realizadas pelo candidato bem como as respectivas classicações. Para requerer possíveis equivalências a disciplinas da licenciatura deve ainda apresentar, em processo separado, um requerimento acompanhado por uma cópia da certidão de licenciatura nas condições descritas no parágrafo anterior. 6 Contactos Para mais informações poderá contactar: A Comissão do Mestrado: Luís Lopes (Coordenador), Prof. Associado Sabine Broda, Prof. Associada Ricardo Rocha, Prof. Auxiliar A Comissão de Coordenação de Mestrado é responsável por elaborar anualmente a proposta de funcionamento e o plano de estudos do curso de especialização, selecção dos candidatos ao mestrado, aceitação e nomeação do orientador da dissertação e da proposta do júri. Endereço electrónico da comissão do mestrado:mestr.inf@fc.up.pt Gabinete de Pós-Graduação: O Gabinete de Pós-Graduação da FCUP disponibiliza e presta informação ao nível dos procedimentos administrativos. O Gabinete pode ser contactado por correio, fax, ou correio electrónico: Gabinete de Pós-Graduação Praça Gomes Teixeira 4099-002 Porto Tel.: 223 401 400 Fax: 222 008 628 Email: gab_pos_grad@fc.up.pt Coordenação e Informações: Para contactar os docentes/investigadores associados ao mestrado e, em particular, os membros da comissão do mestrado. DCC-FCUP Rua do Campo Alegre, 823 4150-180 Porto Tel: 226078830 Fax: 226003654 email:mestr.inf@fc.up.pt URL: http://www.dcc.fc.up.pt/mi 6
7 Áreas de Interesse dos Investigadores do DCC Fornecemos a seguir alguns dos temas de investigação do interesse dos docentes e investigadores ligados ao mestrado, constituindo estes um indicador de uma área possível de trabalho de investigação para a parte de dissertação. Ana Paula Tomás: Programação por restrições. Resolução de sistemas de restrições lineares Diofantinas no conjunto dos inteiros não negativos. Teoria das linguagens. António Mário Florido: Análise estática de programas. Sistemas de tipos. Linguagens declarativas. Programação por restrições. Armando Matos: Teoria das linguagens. Linguagens regulares. Programação em lógica. Teoria da Informação e complexidade de Kolmogorov. Complexidade estrutural. Fernando Silva: Desenho e implementação de modelos para extração de paralelismo implícito em programação lógica. Ambientes de programação paralela. Algoritmos de scheduling e análise de performance de sistemas paralelos. Implementação de linguagens orientadas a objectos, com base no cálculo de processos. José Paulo Leal: Visualização em programação lógica. Programação orientada a objectos: Java. Aplicações em Rede (Internet). Luís Damas: Implementação de sistemas de programação lógica. Técnicas avançadas de compilação para programação em lógica. Teoria da computação. Formalismos de restrições para processamento de linguagem natural. Luís Lopes: Linguagens de programação. Cálculos de processos. Concorrência. Mobilidade de Código e Computações. Arquitectura de computadores. Manuel Eduardo Correia: Implementação de Prolog em Máquinas Paralelas, Redes de Computadores, Segurança de Sistemas Informáticos. Miguel Filgueiras: Ferramentas para Tradução Assistida por Computador. Programação por Restrições e resolução de equações diofantinas. Processamento simbólico de música. Nelma Moreira: Processamento de linguagem natural. Desenho e implementação de formalismos para a descrição de gramáticas lógicas com restrições. Gramáticas de categorias. Resolução de restrições em álgebras de árvores. Lógicas de ordem superior. Rogério Reis: Teoria algorítmica de grafos. Apresentação de grafos. Teoria de Tipos. Complexidade e Teoria da Computação. Administração e segurança de sistemas de operação e Criptograa. Sabine Broda: Lógica matemática e teoria da computação. Lambda-calculus, tipado e não tipado, e sistemas de lógica combinatória. Teoria da demonstração. Vítor Santos Costa: Implementação de sistemas de programação lógica. Técnicas avançadas de compilação para programação em lógica. Desenho e implementação de modelos para extração de paralelismo implícito em programação lógica. Técnicas de compilação para outras linguagens. Avaliação de sistemas paralelos. Michel Ferreira: Implementação de Sistemas de Programação Lógica. Análise de Programas e Interpretação Abstracta. Implementação de Sistemas de Bases de Dados Dedutivas. Ricardo Lopes: Programação Lógica. Paralelismo. Ricardo Rocha: Desenho e Implementação de Linguagens de Programação Lógica. Tabulação e Paralelismo em Programação Lógica. Sistemas Paralelos e Distribuídos. Bases de Dados Dedutivas. Indução em Programação Lógica. Luis Antunes: Complexidade Computacional, Complexidade de Kolmogorov, Teoria da Informação, Criptograa. 7
João Barros: Modelos e Arquitecturas para Redes de Informação e Comunicação, Teoria da Informação, Protocolos de Recolha de Dados em Redes Sensoriais. Jorge Simão: Agentes Autónomos, Simulação Multi-Agente. 8
8 LIACC O Laboratório de Inteligência Articial e de Ciência de Computadores (LIACC) é um centro de investigação da Universidade do Porto, criado em 1988, agrupando investigadores das Faculdades de Ciências, Economia e Engenharia. É composto actualmente por 3 grupos de investigação NCC - Núcleo de Ciência de Computadores (que inclui a maioria dos docentes do DCC) NIAAD - Núcleo de Inteligência Articial e Análise de Dados (inclui Núcleo de Aprendizagem Automática) NIAD&R - Núcleo de Inteligência Articial Distribuída e Robótica No presente o LIACC conta com cerca de 57 membros, dos quais 23 são doutorados. Tem estado envolvido num grande número de projectos e redes de cooperação nacionais e internacionais. Alguns dos temas de investigação que, presentemente, interessam os investigadores do LIACC são: Aprendizagem Automática Simbólica Extracção de Conhecimento de Dados Implementação de Linguagens Inteligência Articial Distribuída Linguagens Orientadas a Objectos Processamento de Linguagem Natural Processamento Paralelo e Distribuído Programação Lógica e por Restrições Resolução de Equações Diofantinas Robótica Inteligente Sistemas Baseados em Conhecimento Teoria da Computação Tradução Assistida por Computador Visualização e Interacção Teoria da Informação e Complexidade Criptograa Teoria algoritmica de grafos Concorrência e Mobilidade Programação Funcional 9