| Resumo: |
O Laboratório de Inteligência Artificial e Ciência da Computação da Universidade do Porto (LIACC) foi criado em 1988 para promover a colaboração de pesquisadores que estavam trabalhando separadamente nas áreas de Ciência da Computação e Inteligência Artificial em diferentes faculdades. Actualmente, os pesquisadores LIACC pertencem ao Departamento da Faculdade de Ciência da Computação, para o Departamento de Engenharia da Faculdade de Engenharia Informática, para o Departamento de Engenharia Informática da Universidade da Beira Interior, e da Escola de Engenharia do Instituto Politécnico do Porto.
LIACC visa ajudar a resolver os seguintes problemas gerais inerentes à utilização de computadores:
* a confiabilidade do software ,
* problemas de natureza distribuída, dinâmica e descentralizada ,
* segurança , e
* fiabilidade de processamento de informação .
Estes rígidos, problemas do mundo real só pode ser resolvido a longo prazo, combinando o poder dos métodos formais com abordagens mais orientadas para a tecnologia e foram usados como um quadro de referência para a definição dos objetivos LIACC curto prazo.
Desde janeiro de 2011 as atividades LIACC são organizadas em torno de dois grupos de pesquisa: o grupo de Ciência da Computação e da Inteligência Artificial Distribuída e do grupo de Robótica. |