Amílcar Sernadas

Amílcar Sernadas (1952-2017) foi um proeminente matemático e professor português, com dupla nacionalidade angolana. Licenciou-se em Engenharia Eletrotécnica pelo Instituto Superior Técnico (IST) e obteve o doutoramento em Computer Science pela Universidade de Londres. Tornou-se Professor Catedrático no Departamento de Matemática do IST, onde mais tarde foi reconhecido como Professor Catedrático Distinto. Sernadas foi um investigador com impacto internacional em Lógica e fundamentos da Ciência da Computação, tendo criado uma escola nesta área. Suas contribuições científicas foram reconhecidas mundialmente e contribuíram significativamente para o desenvolvimento da ciência da computação e da engenharia informática em Portugal. Entre suas obras relevantes, destaca-se "Introdução à Programação em Mathematica".