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