Guia do Mestrado em Informática

Guia do Mestrado em Informática Sistemas e Redes Ciência de Computadores (2005-2007) Departamento de Ciência de Computadores Faculdade de Ciências da Universidade do Porto Maio / 2005 http://www.ncc.up.pt/fcup/dcc/mcc

Conteúdo 1 Objectivos 3 2 Ramos da Especialidade 4 2.1 Sistemas e Redes..................................... 4 2.2 Ciência de Computadores................................ 4 3 Funcionamento 5 3.1 Estrutura curricular do curso de especialização..................... 5 4 Plano de Estudos 6 5 Candidaturas 7 5.1 Calendário......................................... 7 5.2 Habilitações de acesso.................................. 7 5.3 Documentos para a Candidatura............................ 7 6 Informações 8 7 LIACC 10 8 Investigadores e Áreas de Interesse 11 2

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

2 Ramos da 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, presentemente interessam 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, presentemente interessam 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 Algoritmítica de Grafos e Lógica Computacional. 4

3 Funcionamento Duração e Organização 1. O Mestrado tem a duração de dois a quatro semestres. 2. O Mestrado compreende a frequência e aprovação num curso de especialização e a elaboração, discussão e aprovação de uma dissertação especialmente escrita para o efeito. 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 é 19. 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 12 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. A análise do processo de equivalência decorre na sequência de requerimento do aluno, que deve ser entregue durante o período de candidatura ao Mestrado. Mais informações em Como fazer o MI num ano lectivo. Meios computacionais O DCC possui um laboratório, reservado aos alunos de mestrado, actualmente com 12 PCs com o sistema Linux. 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 das Faculdades de Ciências. 5

4 Plano de Estudos O Curso de Mestrado em Informática possui dois ramos de especialidade: Sistemas e Redes (SR) Ciência de Computadores (CC) Para conclusão da parte escolar do mestrado, cada aluno deve obter aprovação em 19 unidades de crédito (UC) nas disciplinas indicadas com a restrição de, no mínimo, 13 UC serem em disciplinas de um mesmo ramo de especialidade. Apresenta-se em seguida o plano de estudos do curso de especialização com a indicação da área de especialidade a que pertence cada uma das disciplinas. 1 o semestre Redes de Computadores (SR) 3T; 3UC Administração de Sistemas e Redes (SR) 3T; 3UC Segurança de Sistemas e de Redes I (SR) 3T; 3UC Sistemas de Bases de Dados (SR) 3T; 3UC Modelos Formais de Computação (CC) 3T; 3UC Programação Funcional (CC) 3T; 3UC Métodos Quantitativos e Restrições (CC) 3T; 3UC Tópicos Avançados de Inteligência Articial (CC) 3T; 3UC Tópicos Avançados de Informática (CC e SR) 4T; 4UC 2 o semestre Aplicações Distribuídas e Internet (SR) 3T; 3UC Arquitectura de Redes de Computadores (SR) 3T; 3UC Bases de Dados e Internet (SR) 3T; 3UC Segurança de Sistemas e de Redes II (SR) 3T; 3UC Complexidade Computacional e Algoritmos (CC) 3T; 3UC Programação em Lógica (CC) 3T; 3UC A disciplina de Tópicos Avançados de Informática é obrigatória, as restantes disciplinas são opcionais. Esta disciplina funciona por módulos e pretende apresentar aos alunos vários tópicos avançados da área. Este ano 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 6

5 Candidaturas O Mestrado possui um numerus clausus de 20, com 35% reservado prioritariamente a docentes do ensino superior. 5.1 Calendário Primeira Fase de Admissão: Candidaturas 1362005 a 1572005 Selecção de candidatos 18 a 2272005. Inscrições 25 a 2972005. Segunda Fase de Admissão: Candidaturas 5 a 1692005 Selecção de candidatos 19 a 2392005. Inscrições 26 a 3092005. Calendário lectivo: O calendário lectivo e o período de exames coincidirão com os estabelecidos pela Faculdade de Ciências. 5.2 Habilitações de acesso 1. 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. 2. 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: (a) Os 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. (b) Os candidatos titulares de outras licenciaturas (ou de graus universitários estrangeiros), desde que o respectivo currículo demonstre uma adequada preparação cientíca de base. 5.3 Documentos para a Candidatura Para a candidatura são necessários os seguintes documentos: Certicado de licenciatura. Se possível, deverá incluir informação sobre as disciplinas que frequentou e classicações obtidas. Curriculum Vitae detalhado. Boletim de candidatura (.pdf), e requerimento dirigido ao Presidente do Conselho Cientíco da Faculdade de Ciências da Universidade do Porto, indicando qual o ramo de especialidade a que se candidata (.pdf). 7

Enviar os documentos para: Presidente do Conselho Cientíco, Faculdade de Ciências da Universidade do Porto, Praça Gomes Teixeira, 4099-002 Porto (Portugal) Note que é obrigatória a entrega atempada na secretaria (no acto de candidatura) do boletim de candidatura devidamente preenchido uma vez que é necessário um número minimo de alunos para o funcionamente de disciplinas opcionais. URL da FCUP:http://www.fc.up.pt/ URL do Conselho Cientíco: http://www.fc.up.pt/cientifico Para requerer possiveis equivalências a disciplinas da licenciatura consultar Como Fazer um Mestrado num ano Lectivo. 6 Informações Para mais informações poderá contactar: A Comissão do Mestrado: Luís Antunes (Coordenador), Prof. Auxiliar Luís Lopes, Prof. Associado Manuel Eduardo Correia, Prof. Auxiliar A Comissão de 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@ncc.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 URL: http://www.fc.up.pt/home/graduacoes/ Coordenação e Informações: Para contactar os docentes/investigadores associados ao mestrado e, em particular, os membros da comissão do mestrado. 8

DCC-FCUP Rua do Campo Alegre, 823 4150-180 Porto Tel: 226078830 Fax: 226003654 email:mestr-inf@ncc.up.pt URL: http://www.ncc.up.pt/mi 9

7 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 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 10

8 Investigadores e Áreas de Interesse 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 Barros Lopes Linguagens de programação baseadas em 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. 11

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 Tabulação e Paralelismo em Programação Lógica, Algoritmos de Scheduling. Luis Antunes Complexidade Computacional, Complexidade de Kolmogorov, Teoria da Informação, Criptograa. 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. Marco Costa Inteligência Articial, Representação de conhecimento, Ontologias, Semantic web, E-learning. 12