Fundamentos da Computação

Um dos grupos de pesquisa do Departamento de Ciência da Computação que tem como objetivo a pesquisa sobre aspectos teóricos da computação e suas aplicações. Sendo os assuntos de interesse divididos em duas linhas de pesquisa:

Lógica e Modelos de Computação: Uso de lógica para especificação e verificação de propriedades de sistemas computacionais e semântica de linguagens de programação, tendo como principais temas:

• Verificação Formal e Assistentes de Provas;
• Semântica de Linguagens de Programação;
• Lógica Formal.

Linguagens de Programação e Sistemas de Tipos: Formalizar sistemas de tipos que garantam propriedades do programa, permitam uma codificação de programas mais concisa e códigos genéricos, tendo como principais temas:

• Linguagens Funcionais;
• Teoria de tipos;
• Compiladores.