As of Sept. 1, 2010 Dr. Diniz is no longer associated with the Informatics Engineering Department (DEI)
at the Instituto Superior Técnico (IST) / Technical University of Lisbon (UTL).

All correspondence regarding university issues while he was a faculty at DEI should be directed to the
head of the department. Please visit www.dei.ist.utl.pt for e-mail and phone contacts.

Dr. Diniz is currently affiliated with Electronic Systems Design and Automation ( ESDA) research group at
INESC-ID (www.inesc-id.pt) and can be reached at pedro@esda.inesc-id.pt.