Chris Fermüller

ao. Prof., Dipl.Ing. Dr.techn.

Room:
HB 0316
Tel:
+43 1 58801 185 43
Fax:
+43 1 58801 185 97
Available:
Monday, 11.00-12.30
(during lecture period, otherwise by appointment via email)
Mail:
chrisf@logic.at
Function:
Associate Professor

News: Funded Doctoral Positions in Computer Science

Office Hours:

Monday, 11.00-12.30 (during lecture period, otherwise by appointment via email)

Teaching

I am regularly in charge of the following courses:

(I also participate in a number of other courses)


Documents, Publications, Links


Education

The wrong one ....
(... although I enjoyed, e.g., Hermann Fillitz's lectures on the history of medieval art)


Current Fields of Research

  • Formal Models of Reasoning Under Vagueness
  • Proof Theory and Proof Search in Non-Classical Logics
  • Automated Deduction
  • Mathematical Fuzzy Logic
  • Logical Methods in Philosophy
  • Cambodian cuisine, language and culture ;-)

Membership in current and past projects (Selection)

 

  • li>Project Title: MoVaQu-MFL - Modeling Vague Quantifiers in Mathematical Fuzzy Logic
    FWF [Austrian Science Foundation] Project no. I1897-N25
    Head: C. Fermüller
  • Project Title: LOGFRADIG - A Logical Framework for Dialogue Games
    FWF [Austrian Science Foundation] Project no. P125417-G15
    Head: C. Fermüller
  • Project Title: Game theoretic approaches to many valued logics   
    Bilateral Co-operation Agreement with the Academy of Sciences of the Czech Republic (OeAD-WTZ),
    Head (of the Austrian team): C. Fermüller
  • Project Title: STRUCTURAL - Structural and computational proof theory
    Joint project between TU Vienna, University of Innsbruck, Universite Paris Diderotis, INRIA Saclay/Ile-de-France
    FWF [Austrian Science Foundation] Project no. I-603-N18
    Project Coordinators: Georg Moser, Michel Parigot
  • Project Title: LoMoReVI Logical Models of Reasoning with Vague Information
    ESF-LogICCC Project (Austria, Czech Republic, Spain)
    Head (`Principal Leader'): C. Fermüller
  • Project Title: Contextualism, supervaluation, and fuzzy logic
    Subproject of LoMoReVI (see above)
    FWF [Austrian Science Foundation] Project no. I143-G15
    Head (`Principal Investigator'): C. Fermüller
  • Project Title: Constraint Satisfaction Problems and Many-valued Logics
    Bilateral Co-operation Agreement with Spain ( Accion Integrada )
    Head: G. Salzer
  • Project Title: Analytic Systems and Dialogue Games as Semantics of Fuzzy Logics
    FWF [Austrian Science Foundation] Project no. P16563-N14
    Head: C. Fermüller
  • Project Title: Algebraic Foundations and Dialogue Game Semantics for Fuzzy Logics
    Bilateral Co-operation Agreement with Spain (OeAD-WTZ Accion Integrada)
    Head (of the Austrian team): C. Fermüller