Personenprofil

Univ.-Prof. i.R. Dr.phil.

Alexander Leitsch

Telefon +43 1 58801 18540

E-Mailalexander.leitsch@tuwien.ac.at

Zugeordnet

E192-05

Visitenkarte

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Theory and Logic	Mitglied

Profil

Forschungsprofil (Deutsch):

1) Automatische Deduktion: Resolutions-Entscheidungsverfahren, Entscheidbare Klassen der Logik erster Stufe, automatische Modellbildung2) Beweistheorie: Analyse der Schnittelemination3) Automatisierte Lemmagenerierung4) Beweisanalyse

Forschungsprofil (Englisch):

1) Automated deduction: Resolution decision procedures, decidable classesof first-order logic, automated model building, subsumption algorithms.2) Proof theory: Analysis of cut elimination3) Automated Lemma Generation4) Proof Analysis

URL des Lebenslaufes:

http://www.logic.at/staff/leitsch

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Automatische Deduktion	automated deduction
Beweistheorie	proof theory

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)
1111	Logik	Logic

Referenzprojekte

Titel	Webpage	Laufzeit von	Bis
National, FFG - österreichische Forschungsförderungsgesellschaft
Logical Methods in Computer Science	http://logic-cs.at/phd/	01.01.2014	31.12.2018
National, FWF - Der Wissenschaftsfonds
About Schematas and Proofs. FWF-Projekt Nr. I 383-N18
Proof Transformations via Cut-Elimination in Intuitionistic Logic. FWF-Projekt Nr. P 24300-N18
Computer-Aided Analysis of Inductive and Second Order Proofs. FWF-Projekt Nr. P 19875-N18
TUW-intern, TU Wien
Mathematical Logic in Computer Science	http://www.dbai.tuwien.ac.at/d...	01.01.2011	31.12.2014

Mitgliedschaft in Gremien

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis	Bemerkungen
wissenschaftliche Gesellschaft	Kurt Gödel Gesellschaft		Vorständin/Vorstand	10/1987 - 12/2005	Vorstandsmitglied in der Kurt Goedel Gesellschaft. Oktober 1987 - September 1993: Kassier. September 1993 - September 1997: Generalsekretaer. seit 1997 - Vorstandsmitglied ohne Funktion. Member of the executive board of the Kurt Goedel Society. October 1987 - September 1993: treasurer. September 1993 - September 1997: vice president. September 1997 - member at large.

Mitarbeit an einer Fachzeitschrift

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis
Journal of Automated Reasoning	SCI (Science Citation Index)	Ja	Reviewer	-
Studia Logica	SCIE (Science Citation Index Expanded)	Ja	Reviewer	-
Studia Logica	SCIE (Science Citation Index Expanded)	Ja	Editorial board	01/2004 - 12/2005

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Veranstaltungsname	Von	Bis	Funktion/Bemerkungen
Fachtagung/Veranstaltung	eingeladene_r Sprecher_in	Logic Colloquim 2013	07/2013	07/2013	Invited Talk
Postgraduale Lehrgänge/Summer School	Sonstiges		08/1992	08/1992	European Summer School on Logic, Language and Information.Colchester, Grossbritannien.Titel des Kurses: Resolution Theorem Proving.
Postgraduale Lehrgänge/Summer School	Sprecher_in	Methods of Cut-Elimination	10/2013		Sprecher
Postgraduale Lehrgänge/Summer School	Sprecher_in	European Summer School on Logic, Language and Information, Edinburgh, Grossbritannien.	08/2005	08/2005	Titel des Kurses: Computational Analysis of Proofs.
Postgraduale Lehrgänge/Summer School	Organisator_in	European Summer School on Logic, Language and Information, Utrecht, Niederlande.	08/1999	08/1999	Titel des Kurses: Methods of Cut-Elimination.
Postgraduale Lehrgänge/Summer School	Sprecher_in	Summer School on Automated Deduction, Chambery, Frankreich.	07/1994	07/1994	Titel des Kurses: Resolution and Proof Complexity.
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	Logic Colloquium 2001	08/2001	08/2001	Invited Talk
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	ELPAR	03/2005	03/2005	Invited Talk
Wissenschaftliche Konferenz/Symposium	Organisator_in	Turing 100	06/2012		Member of a Program Committee
Wissenschaftliche Konferenz/Symposium	Organisator_in	Computational Logic and Proof Theory	08/1993		Program Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	JCAR'01 International Joint Conference on Automated Reasoning	06/2001		Program Chair