Carlos Ribeiro, INESC-ID/IST