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. Research 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, probabilistic logic, and quantum logic and computation. Leader of several research projects with national or international financial support. Associate editor of the journal Formal Aspects of Computing.