Secção de Lógica e Computação
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.