F. Miguel Dionísio


Secção de Lógica e Computação
Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais, 1000, Lisboa, PORTUGAL
Tel. +351 21 8417143
Fax. +351 21 8499242

I obtained a PhD degree in July 97 from the University of Hannover under the supervision of Prof. Udo Lipeck with the thesis Composition of Hierarchic Default Specifications.

I am Assistant Professor at the Section of Logic and Computation and member of the Security and Quantum Information Group at IT.


(Older papers can also be fetched in papers from the Institut for Informatics, University of Hannover)


From my original research interests in the specification of large structured systems using non-monotonic logics, I have recently become interested in computational mathematics.



My usual teaching activities comprise the following undergraduate courses: Computational Logic and Algorithms and Data Structures. I have also contributed to the Mathematica initiative.