LASIGE, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa