Team
Full Member
Department & Location
Contacts
francisco.dionisio
+351 21 8417143
CURRENT POSITIONS
- Assistant Professor of Mathematics at IST
- Director and Editorial Coordinator of IST Press
Miguel Dionísio
Miguel Dionísio graduated from Instituto Superior Técnico in 1985, received his MSc degree from IST in 1991 and his PhD in Computer Science from the University of Hannover in 1997. Currently he is an Assistant Professor at the Department of Mathematics of IST and a researcher at Instituto de Telecomunicações (SQIG). He is the Director and Editorial Coordinator of IST Press.
His research has been focused on logic and computation, including non-monotonic reasoning and defaults, the specification of software systems, and model checking of distributed temporal logic.
Publications
Papers and profiles in the following links:
Courses in the areas of Programming, Algorithms and Computation.
Computer Programming
Undergraduate course
IST
Algorithms and Computational Modelling
Undergraduate course
IST
Programming in Mathematica
Undergraduate course
IST
Books authored, co-authored and edited over the years:
Logic and Computation - Essays in Honour of Amílcar Sernadas
C. Caleiro, F. Dionísio, M. P. G. Gouveia, P. Mateus and J. Rasga
College Publications, 2017.
Introdução à Programação em Mathematica - Terceira Edição
J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio and C. Caleiro
IST Press, 2014.
Elementos de Matemática Discreta
J. Carmo, M. P. G. Gouveia and F. Dionísio
College Publications, 2013.
Introdução à Programação em Mathematica - Segunda Edição
J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio and C. Caleiro
IST Press, 2004.