Department of Mathematics
Instituto Superior Técnico (IST)
Av. Rovisco Pais 1049-001, Lisboa, Portugal
acs@math.ist.utl.pt
asernadas at Skype
asernadas@gmail.com at FaceTime
Full Professor for Logic and Computation at IST
Coordinator of the Logic and Computation Unit
Founding member of SQIG
Scientific Council Chair of SQIG
Member of the Scientific Council of IST
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: html, pdf, ps (not always up to date).
Most of his research has been 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. He is also co-author of two textbooks on Mathematical Logic and Programming with Mathematica. He has been the leader of several research projects with national or international financial support. He has been the supervisor or co-supervisor of several PhD students (see his scientific descendants tree). He is member of the editorial board of the journal Formal Aspects of Computing.