O grupo de pesquisa Kernel foi criado para estimular a pesquisa científica em temas relacionados a Computação. Pesquisas são realizadas nas áreas de Algoritmos, Programação de Computadores e Estrutura de Dados, Arquitetura, Sistemas Operacionais e Redes de Computadores, Banco de Dados, Desenvolvimento Web e Dispositivos Móveis, Engenharia de Software e Interação Humano-Computador, além de Matemática na Computação.
