Amilcar Sernadas nasceu em 1952 em Angola. Licenciou-se em Engenharia Electrotécnica em 1975 no Instituto Superior Técnico (IST), doutorou-se em Ciência da Computação (com tese sobre especificação temporal de sistemas de informação) em 1980 na Universidade de Londres e obteve o título de agregado em 1982 na Universidade de Lisboa. Após o seu doutoramento regressou à Faculdade de Ciências da Universidade de Lisboa como Professor Auxiliar. Em 1987 foi contratado como professor associado no IST, onde é professor catedrático desde 1990. Liderou vários projectos de investigação com financiamento nacional e internacional. Orientou ou co-orientou vários alunos de doutoramento. É editor associado da revista Formal Aspects of Computing.