Computação Teórica

Um sistema distribuído consiste em um conjunto de processos residentes em computadores possivelmente dispersos numa região geográfica. Tais processos se comunicam e se sincronizam por meio de troca de mensagens em canais de comunicação. Pesquisas nessa área focam tipicamente na computabilidade e complexidade relacionadas a problemas fundamentais e recorrentes de sistemas distribuídos numa variedade de modelos de sistemas, a exemplo de consenso, eleição de lideres, comunicação em grupo, sincronização de relógios, entre outros.

• A pesquisa na área de Lógica concentra-se em duas linhas principais:
• O desenvolvimento de semânticas alternativas (em particular: não-Fregeanas) para Lógicas Epistêmicas com aplicações em sistemas multi-agentes, IA, sistemas distribuidos etc.;
• o estudo de lógicas abstratas não-clássicas e suas representações topológicas usando métodos algébricos, topológicos e da teoria da ordem.

Fazem parte dos métodos formais, técnicas e linguagens baseadas em modelos matemáticos que permitem a modelagem e especificação de sistemas de forma rigorosa em que sistemas de prova e algoritmos podem ser aplicados para verificar a consistência de especificações e correção de especificações e modelos. Pesquisas nesta área giram em torno, entre outras frentes, da busca por soluções que expandam o uso destes métodos na indústria de software. Mais especificamente, soluções para aumentar a eficiência dos algoritmos de verificação, soluções para contornar o problema da explosão de espaços de estados dos verificadores de modelos, técnicas e linguagens para especificação formal de sistemas na presença de informações incompletas, algoritmos para transformação e reparo de modelos estão entre os temas de pesquisa atuais.