O Grupo de Pesquisa em Teoria da Computação, Lógica, Otimização, Combinatória e Algoritmos do Instituto de Computação da UFBA estuda aspectos teóricos da Computação de forma ampla. Criado em 2019, o grupo visa agregar os trabalhos desenvolvidos por pesquisadores desse Instituto trabalhando na grande área de Teoria ou Fundammentos da Computação como: Lógica, Otimização, Combinatória, Algortimos e aplicações.