Dominar os conceitos, técnicas, resultados fundamentais e aplicações significativas das teorias da computabilidade, da complexidade computational, da informação e da complexidade de Kolmogorov. Contactar com alguns tópicos na fronteira da investigação no domínio.