Costa, António Ricardo, Instituto Superior Técnico, Universidade de Lisboa, Portugal