Amilcar Sernadas



Amílcar Sernadas moved to CMAF-CIO in September 2015.

For his up-to-date webpage please check here


Department of Mathematics
Instituto Superior Técnico (IST)
Av. Rovisco Pais 1049-001, Lisboa, Portugal


Universidade de Lisboa
asernadas at Skype at FaceTime


Full Professor for Logic and Computation at IST
Coordinator of the Logic and Computation Unit
Founding member and Scientific Council Chair (until September 2015) of SQIG at Instituto de Telecomunicações
Member of the Scientific Council of IST
Member of the Scientific Committee of the Senate of Universidade de Lisboa

Short Biography


Born in 1952 in Angola, Amílcar Sernadas graduated in Electrical Engineering at IST in 1975, received his PhD in Computer Science from the University of London in 1980 (with a thesis on temporal logic specification of information systems) and obtained his agregação (habilitation) from the University of Lisbon in 1982. After his PhD he returned to the Faculty of Sciences of the University of Lisbon. In 1986 he joined IST where he is Full Professor since 1990. Full CV available in Portuguese: pdf (not always up to date).


Co-author of two textbooks on Mathematical Logic and Programming with Mathematica.


Mostly focused on applications of logic to computer science, as reported in more than one hundred internationally published papers on temporal logic specification, algebraic knowledge representation, institutions, foundations of object-orientation, combination of logics, and, more recently, quantum logic and computation. Leader of several research projects with national or international financial support. Supervisor or co-supervisor of several PhD students (see his scientific descendants tree). Member of the editorial board of the journal Formal Aspects of Computing