Project Members

Dr. Agata Ciabattoni

Project Leader
Department of Discrete Mathematics and Geometry (Computational Logic group)
Department of Formal Languages (Theory and Logic group)
Vienna University of Technology


Dr. Behounek

Researcher
Institute of Computer Science of the Academy of Sciences of the Czech Republic
and
Department of Discrete Mathematics and Geometry (Computational Logic group)
Vienna University of Technology


Dr. Cintula

Researcher
Institute of Computer Science of the Academy of Sciences of the Czech Republic
and
Department of Discrete Mathematics and Geometry (Computational Logic group)
Vienna University of Technology


Mag. Paolo Baldi

PhD Student
Department of Discrete Mathematics and Geometry (Computational Logic group) and Department of Computer Languages
Vienna University of Technology


Ing. Dieter Kopecky

PhD Student
Section on Medical Expert and Knowledge-Based Systems
Center for Medical Informatics, Statistics, and Intelligent Systems
Medical University of Vienna


Project Partners

Prof. Klaus-Peter Adlassnig

Professor of Medical Informatics
Head of the Section on Medical Expert and Knowledge-Based Systems
Center for Medical Informatics, Statistics, and Intelligent Systems
Medical University of Vienna


Prof. Matthias Baaz

Associate Professor of Mathematics
Head of the Computational Logic Group
Research Unit Computational Logic
Institute of Discrete Mathematics and Geometry
Vienna University of Technology


Prof. Thomas Eiter

Professor of Computer Science
Head of the Knowledge Based Systems Group
Institute of Information Systems
Vienna University of Technology


Former Members (now Collaborators)

Dr. David Picado

Researcher
Department of Discrete Mathematics and Geometry (Computational Logic group)
Vienna University of Technology
now Researcher at the ECSC (European Center for Soft Computing), University of Oviedo (Spain).


Dr. Norbert Preining

Researcher
Department of Discrete Mathematics and Geometry (Computational Logic group)
Vienna University of Technology
since 2010 Associate Professor at the Japanese Advanced Institute of Science and Technology, Japan


Ing. Pavel Rusnok

PhD Student
Section on Medical Expert and Knowledge-Based Systems
Center for Medical Informatics, Statistics, and Intelligent Systems
Medical University of Vienna


Dr. Thomas Vetterlein

Researcher
Section on Medical Expert and Knowledge-Based Systems
Center for Medical Informatics, Statistics, and Intelligent Systems
Medical University of Vienna
now Researcher at the Knowledge-Based mathematical Systems Department, Linz (Austria), tenure-track position


Dr. Moataz El-Zekey

Researcher
Benha High Institute of Technology,
Department of Basic Sciences, Benha, Egypt