• S. Marcelino, Amílcar Sernadas Logic Prize, Amílcar Sernadas (1952-2017) was Full Professor at the Mathematics Department Amílcar Sernadasof Instituto Superior Técnico and an internationally leading researcher in logic and the foundations of computing. This prize aims at encouraging logic research and distinguishes an unpublished paper in this area. It is included in the initiative One logic prize in every country that emerged from the series of conferences UNILOG (World Congress and School in Universal Logic). It celebrates Amílcar Sernadas highly significant and original scientific contributions, as well as his outstanding academic career., 01-01-2021
  • O. Bournez, D. Graça, A. P. Pouly, Best ICALP Paper (2016), Best ICALP Paper award (track B) for the 2016 edition of the ICALP conference. The awarded paper was: * Olivier Bournez, Daniel Graça and Amaury Pouly: "Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length". More information can be found on the following link:, 01-07-2016
  • D. Graça, Prémio Jovens Investigadores UTL/Deloitte e UTL/Caixa Geral de Depósito 2010 (matemática), Vencedor do "Prémio Jovens Investigadores UTL/Deloitte e UTL/Caixa Geral de Depósitos 2010", na categoria de "matemática", 01-06-2010
  • P. Mateus, Portuguese IBM Scientific Prize, Análise de sistemas de prova de conhecimento nulo, 01-02-2006
  • D. Graça, Programa Gulbenkian de Estímulo à Investigação, Was one of the selected to get a grant from the ''Programa Gulbenkian de Estímulo à Investigação'' awarded by the Calouste Gulbenkian Foundation for the topic of ''Dynamical Systems'', with the project ''Computabilidade e Complexidade em Sistemas Dinâmicos Contínuos'', 01-02-2004
  • F. Moura, T.A. Pond Prize, Student with the highest performance on the written comprehensive examination for the Ph.D. in Physics of the State University of New York at Stony Brook, 01-05-1998
  • A. Sernadas, C. Sernadas, J. F. Costa, Descartes 1992, Especificações de Objectos com Diagramas: Abordagem OBLOG concedido pelo Instituto de Informatica do Ministerio das Finan»cas para premiar a inova»c~ao na area das tecnologias da informação., 01-01-1992