Pesquisa
Algoritmos e Complexidade
Laboratório Teórico
O que torna difícil um problema computacional? Esta é a pergunta que orienta nosso laboratório. Projetamos algoritmos eficientes para problemas computacionais e provamos os limites mínimos da sua complexidade em diferentes modelos computacionais e sob várias premissas.
As áreas de pesquisa incluem algoritmos exatos e aproximados para problemas NP-difíceis e complexidade de granularidade fina e de circuitos.