Miguel Correia, INESC-ID, IST, University of Lisbon