Diogo Mónica, INESC-ID/IST