Miguel Correia, INESC-ID and Instituto Superior Técnico, University of Lisbon