Laboratório de Formalismos da Computação e Experimentos em Métodos Formais
Sobre
O Laboratório de Formalismos da Computação e Experimentos em Métodos Formais, vinculado ao Grupo de Teoria da Computação da UnB, dedica-se ao estudo avançado de algoritmos e modelos computacionais. É uma iniciativa do Departamento de Ciência da Computação, localizada no Edifício CIC/EST.
O laboratório explora diversas áreas, incluindo a concepção de sistemas de reescrita condicionais, cálculos de substituições explícitas, metodologias baseadas em reescrita-lógica e aplicações de métodos formais usando os sistemas PVS e Coq.
Atividades e pesquisas desenvolvidas
- Métodos formais na verificação formal de correção de software e hardware.
- Linguagens formais e modelos computacionais.
- Análise de algoritmos de reconhecimento de padrões.
- Algoritmos eficientes para biologia molecular.
- Lógica e Semântica da Computação.
Análise Nível de Maturidade Tecnológica
O Laboratório de Formalismos da Computação demonstra progresso significativo em várias áreas de pesquisa, com níveis de maturidade tecnológica variando entre TRL 3 e TRL 6. A maioria das atividades está em fase de desenvolvimento e validação, enquanto áreas avançadas, como algoritmos eficientes para sequências de DNA, já começam a ser aplicadas em contextos práticos.
Classificação Geral
Veja mais informações sobre a escala TRL (Technology Readiness Level).
Informações do Laboratório
- Localidade: Edifício CIC/EST
- Departamento: Ciência da Computação
- Coordenador: Prof. Maurício Ayala Rincón
- Contato: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.