Personenprofil

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

Christian Fermüller

Telefon +43 1 58801 18543

E-Mailchristian.fermueller@tuwien.ac.at

Zugeordnet

E192-05

Visitenkarte

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

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Theory and Logic	Mitglied

Profil

Forschungsprofil (Deutsch):

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

Forschungsprofil (Englisch):

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

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Fuzzy-Logik	Fuzzy Logic
Automatisches Beweisen	Automated Deduction
Beweistheorie	Proof Theory
Computerationale Logik	Computational Logic
Künstliche Intelligenz	Artificial Intelligence

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
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

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1111	Logik	Logic
1109	Informations- und Datenverarbeitung	Information and data processing
6105	Logik	Logic
1122	Artificial Intelligence	Artificial intelligence

Referenzprojekte

Titel	Förderprogramm	Funktion	Webpage	Laufzeit von	Bis
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

Mitgliedschaft in Gremien

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis	Bemerkungen
wissenschaftliche Gesellschaft	Intl. Kurt Gödel Society	Österreich	Mitglied	12/1993 - 01/2012	Kassier, später Rechnungsprüfertreasurer, later auditor
wiss. Beirat/Kuratorium/Institut	LogICCC Scientific Committee	Luxemburg	Mitglied	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	Mitglied	02/2008 -	Mitglied

Mitarbeit an einer Fachzeitschrift

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis	Kommentar
Journal of Symbolic Computation	SCI (Science Citation Index)	Ja	Reviewer	01/2000 -
Theortical Computer Science	unklassifiziert	Ja	Reviewer	01/2000 -

F&E Aktivitäten

Beschreibung	Von	Bis
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

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Veranstaltungsname	Von	Bis	Funktion/Bemerkungen
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