Amilcar Sernadas

ORCID iD
orcid.org/0000-0001-7895-8436
  • Country
  • Show details Hide details
Portugal

Sources:
Amilcar Sernadas (2016-01-24)

  • Keywords
  • Show details Hide details
mathematical logic, computation theory

Sources:
Amilcar Sernadas (2013-11-15)

  • Websites
  • Show details Hide details
Homepage at IST ULisboa

Sources:
Amilcar Sernadas (2014-07-22)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 35607727100

Sources:
Scopus to ORCID (2013-11-15)

ResearcherID: C-5518-2008

Sources:
Clarivate Analytics (2013-11-17)

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 for Logic and Computation since 1990. IST Distinguished Professor.
No publications added yet