Go to:
Logótipo
Esta página em português Contextual Help is not available Autenticar-se
Mobilidade pré-candidaturas 2018/19
Today is sunday
You are here: Start > Research and Development Centres > LIACC- Artificial Intelligence and Computer Science Laboratory - FEUP
Authentication




Campus Map
Edifício A (Administração) Edifício B (Aulas) - Bloco I Edifício B (Aulas) - Bloco II Edifício B (Aulas) - Bloco III Edifício B (Aulas) - Bloco IV Edifício C (Biblioteca) Edifício D (CICA) Edifício E (Química) Edifício F (Minas e Metalurgia) Edifício F (Minas e Metalurgia) Edifício G (Civil) Edifício H (Civil) Edifício I (Electrotecnia) Edifício J (Electrotecnia) Edifício K (Pavilhão FCNAUP) Edifício L (Mecânica) Edifício M (Mecânica) Edifício N (Garagem) Edifício O (Cafetaria) Edifício P (Cantina) Edifício Q (Central de Gases) Edifício R (Laboratório de Engenharia do Ambiente) Edifício S (INESC) Edifício T (Torre do INEGI) Edifício U (Nave do INEGI) Edifício X (Associação de Estudantes)

LIACC- Artificial Intelligence and Computer Science Laboratory - FEUP

Acronym: LIACC LIACC- Artificial Intelligence and Computer Science Laboratory - FEUP   - Abre numa nova janela
Person in Charge: Eugénio Oliveira
Description: LIACC- Artificial Intelligence and Computer Science Lab, stated in 1988 at the University of Porto with three different groups coming from the Faculties of Science, Engineering and Economics.
Along all this period of time, LIACC has been successively changing its geometry, giving birth to other more specific groups and, in 2015, it includes 23 integrated members plus 30 PhD students grouped into three clusters.

LIACC members Graph

LIACC management is done according to FCT (Portuguese Agency for Science) multiannual Science Funding  rules, through a Coordinating Board, a Director, a Scientific Board and an External Advisory Board.


LIACC general objectives for 2015-2020 are three-fold:

1) To contribute to the research on:

    a) Distributed and decentralized software systems and tools;
    b) Text mining and Information extraction;
    c) Human-machine intelligent cooperation;
    d) Declarative software programming enabling safer systems.

2) To implement proof-of-concept software and systems leading to possible prototypes and future real applications.

3) To supervise research work leading to PhD and MSc theses on the aforementioned topics.


Following these lines, LIACC aims at producing both software algorithms and prototype systems backed by relevant publications, while also assisting young researchers in developing their theses. In order to fulfill the aforementioned general objectives, LIACC research will be centered in the core activities of the unit, adjusted to the new challenges of a rapidly evolving society, of the technological development, of the proliferation of networked devices, of a world where we all simultaneously are information producers and consumers. Intelligent decision-making for individual agents but also in networks and teams, in distributed environments, including artificial (agents, robots) and humans is a major aim of the unit. We also advocate the need for more theoretical efforts on developing methods, mostly declarative-type of programming based, for better matching software models and architectures. In order to better implement the strategic programme, LIACC is organized in three research groups:

  • HMIC - Human-Machine Intelligent Cooperation and
  • CS -Computer Science.
DAIAS group includes 11 integrated members and pursues research on multi-agent systems and agent-based interoperability for networking and cooperation; agent-based simulation; Text mining; Cloud, parallel computing and applications.

CS group includes 5 integrated members. Its main general aim is software and information processing reliability with emphasis on fundamental research, ranging through computational complexity, automata and formal languages, algorithms, programming languages, semantics, and formal verification.

HMIC includes 7 integrated members. The group is primarily concerned on creating methodologies that enable machines and software systems to think and interact like humans and have social capabilities similar to humans enabling them to be members of heterogeneous human/machine teams.
Address:
Recommend this page Top
Copyright 1996-2017 © Faculdade de Engenharia da Universidade do Porto  I Terms and Conditions  I Accessibility  I Index A-Z  I Guest Book
Page generated on: 2017-12-17 at 08:11:07