Instituto de Ciências Exatas - Ciência da Computação