Person profile

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Christian Fermüller

Phone +43 1 58801 18543

E-Mailchristian.fermueller@tuwien.ac.at

Assigned

E192-05

Business Card

https://orcid.org/0000-0003-2932-5477

Research area

Name	Management/Member
Forschungsbereich Theory and Logic	Member

Profile

Research profile (German):

1) Theoretische Informatik
2) Künstliche Intelligenz
3) Automatisierte logitsche Schlussfolgerungen
4) Natural Language Processing
5) Logik und Grundlagen der Mathematik
6) Mathematische Fuzzy Logik
7) Computational Intelligence
8) Formale Modelle des Schließens mit vager Information
9) Beweistheorie und Beweissuche im Bereich der Nichtklassischen Logiken

Research profile (English):

1) Theoretical Computer Science
2) Artificial Intelligence
3) Automated Deduction
4) Natural Language Processing
5) Logic and Foundations of Mathematics
6) Mathematical Fuzzy Logic
7) Computational Intelligence
8) Formal Models of Reasoning Under Vagueness
9) Proof Theory and Proof Search in Non-Classical Logics

Publications:

Publications

Keywords

Keyword (German)	Keyword (English)
Fuzzy-Logik	Fuzzy Logic
Automatisches Beweisen	Automated Deduction
Beweistheorie	Proof Theory
Computerationale Logik	Computational Logic
Künstliche Intelligenz	Artificial Intelligence

Research Focal Areas

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	100

Faculty focus

Faculty focus	Percentage
Logic andComputation	100

Area of expertise according to Statistik Austria

Code	Area of expertise (German)	Area of expertise (English)
1108	Informatik	Informatics
1111	Logik	Logic
1109	Informations- und Datenverarbeitung	Information and data processing
6105	Logik	Logic
1122	Artificial Intelligence	Artificial intelligence

Reference Projects

Title	Funding program	Function	Website	From	Until
International, EU - Europäische Union
Logical Models of Reasoning with Vague Information (ESF gefördert. Funktion: Leiter)	ESF - Europäische Wissenschaftsstiftung	Lead	http://www.logic.at/lomorevi/	01.10.2008	01.06.2013
National, FFG - österreichische Forschungsförderungsgesellschaft
Doctoral Program Logical Methods in Computer Science	Strukturprogramm		http://logic-cs.at/phd/	01.10.2014	01.10.2026

Membership in committee

Committee	Description	Location	Function	From-To	Comment
wissenschaftliche Gesellschaft	Intl. Kurt Gödel Society	Österreich	Member	12/1993 - 01/2012	Kassier, später Rechnungsprüfertreasurer, later auditor
wiss. Beirat/Kuratorium/Institut	LogICCC Scientific Committee	Luxemburg	Member	10/2008 - 09/2011	"Project Leader" (PL) des ESF/Eurocores Projekts "LoMoReVI"
	Steering-Committee LPAR	Internationale Organisation		11/2005 - 07/2014
	Steering-Committee TABLEAUX	Internationale Organisation		01/1998 - 01/2005
wiss. Beirat/Kuratorium/Institut	Steering-Committee TABLEAUX	Internationale Organisation	Member	02/2008 -	Mitglied

Journal participation

Title	Classification	Referenced	Function	From-To	Comment
Journal of Symbolic Computation	SCI (Science Citation Index)	Yes	Reviewer	01/2000 -
Theortical Computer Science	unklassifiziert	Yes	Reviewer	01/2000 -

R&D Accomplishments

Description	From	Until
Andere Kategorien
Co-Organistor und Programmkomitteevorsitzender: Workshop on Analytic Systems at LPAR 2004, Montevideo, Uruguay	10/2004	04/2005
Gutachtertätigkeit 2004 (Auswahl)Konferenzen, Workshops: IJCAR'04, AAAI'04 Disproving 2004Zeitschriften:Information Processing Letters,Bulletin of the Section of Logic (Polish Academy of Sciences),Mathematical Structures in Computer Science	01/2004	12/2005
Programm Co-Chair Intl. Conference on "Logical Models of Reasoning with Vague Information"	12/2008	09/2009
Programm-Committee Chair von LPAR-17Intl. Conference on Logic for Programming, AI, and Reasoning	10/2009	10/2010
Programmkomiteemitglied LPAR 2007	05/2007	11/2007
Programmkomiteemitglied TABLEAUX 2005 Intl. Conference on Automated Reasoning withAnalytic Tableaux and Related Methods	12/2004	10/2005
Programmkomiteemitglied TABLEAUX 2007 Intl. Conference on Automated Reasoning with Analytic Tableaux and Related Methods	07/2006	07/2007
Programmkommiteemitglied DISPROVING 2005 (CADE-20 Workshop)	03/2005	07/2005
Programmkommiteemitglied ADDCT 2007 (CADE-07 Workshop)	01/2007	07/2007
Programmkommiteemitglied CEDAR'08	02/2008	08/2008
Programmkommiteemitglied DISPROVING 2007 (CADE-07 Workshop)	01/2007	07/2007
Programmkommiteemitglied FTP 2005 (Intl. Workshop on First Order Theorem Proving)	10/2004	10/2005
Programmkommitteemitglied IJCAR 2010	07/2009	07/2010

Events / Conferences

Category	Collaboration	Event name	From	Until	Function/Comments
Postgraduale Lehrgänge/Summer School	Sonstiges		11/2009	11/2009	Konferenz/PhD-School -Vortrag
Wissenschaftliche Konferenz/Symposium	Organisator_in	IJCARFloC	07/2014	07/2014	Conference Chair (and PC member)
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	LPAR 2002	10/2002	10/2002	Invited Talk
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	LATD 2008	09/2008	09/2008	Invited Talk
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	Non-classical Logics: from Foundations to Applications	04/2008	04/2008	Invited Talk
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	31st Linz Seminar on Fuzzy Set Theory	02/2010	02/2010	Invited Talk
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	ManyVal 10	05/2010	05/2010	Invited Talk
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	EUSFLAT 2007	10/2007	10/2007	Plenary Talk
Wissenschaftliche Konferenz/Symposium	Organisator_in	LPAR-17	10/2010	10/2010	Program Co-Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	Logical Models of Reasoning with Vague information	09/2009	09/2009	Program Co-Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	TABLEAUX 2002	07/2002	08/2002	Program Co-Chair