Wednesday, 15:00 in Science Park 2, room 0603, without advanced notification

• Assoz.Univ.-Prof. at the Johannes Kepler University (since 2016).
• Scientific assistant at the Johannes Kepler University in Linz (2010 - 2016). Habilitation on 21 July 2015.
• Scientific assistant at the Institute for Medical Expert- and Knowledge-Based Systems at the Medical University of Vienna (2007 - 2010).
• Post-doc at the European Centre for Soft Computing in Mieres (2006 - 2007).
• Employed with the Collaborative Research Center "Computational Intelligence" (SFB 531) at the University of Dortmund (2003 - 2006).
• Dissertation at the Mathematical Institute of the Slovak Academy of Sciences in Bratislava (1999 - 2002).
• Diploma in mathematics, Ruprecht Karls University in Heidelberg (1998).

• Many-valued logics and related algebras
  • residuated lattices
  • fuzzy logics
• Quantum structures
  • orthomodular lattices
  • characterisation of the Hilbert space
• Foundational issues
  • foundations of logic and mathematics
  • classification and representation of natural-language statements

Head (on the Austrian side) of the project The many facets of orthomodularity, opens an external URL in a new window, an Austrian-Czech cooperative research project, funded by the FWF and GAČR.

Head (on the Austrian side) of the project New Perspectives on Residuated Posets, opens an external URL in a new window, an Austrian-Czech cooperative research project, funded by the FWF and GAČR.

Participance in LoMoReVI, opens an external URL in a new window (Logical Models of Reasoning with Vague Information), a Collaborative Research Project within the EUROCORES programme LogICCC of the European
Science Foundation (ESF).

Participance in the project Fuzzy Logic: from Mathematics to Medical Applications, opens an external URL in a new window, a cooperation of the Vienna University of Technology and the Medical University of Vienna.

Participance in the project Analytic Systems and Dialogue Games as Semantics of Fuzzy Logics at the Institute of Computer Languages (Theory and Logic Group) at the Vienna University of Technology.

Participance in the project Mathematical Foundations of Fuzzy If-Then Rule Bases, part of the Collaborative Research Center "Computational Intelligence" (SFB 531), which was supported by the German Research Foundation (DFG).