Person profile

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

Alexander Leitsch

Phone +43 1 58801 18540

E-Mailalexander.leitsch@tuwien.ac.at

Assigned

E192-05

Business Card

Research area

Name	Management/Member
Research Unit of Theory and Logic	Member

Profile

Research profile (German):

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

Research profile (English):

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

Link to CV:

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

Publications:

Publications

Keywords

Keyword (German)	Keyword (English)
Automatische Deduktion	automated deduction
Beweistheorie	proof theory

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

Reference Projects

Title	Funding program	Function	Website	From	Until
National, FFG - Austrian Research Promotion Agency
Logical Methods in Computer Science	structural program		http://logic-cs.at/phd/	01.01.2014	31.12.2018
National, FWF - The Science Fund
About Schematas and Proofs. FWF-Projekt Nr. I 383-N18	Single project	Principal Investigator
Proof Transformations via Cut-Elimination in Intuitionistic Logic. FWF-Projekt Nr. P 24300-N18	Single project	Participation / Faculty
Computer-Aided Analysis of Inductive and Second Order Proofs. FWF-Projekt Nr. P 19875-N18	Single project	Principal Investigator
TUW-intern, TU Wien
Mathematical Logic in Computer Science	Internal research funding	Participation / Faculty	http://www.dbai.tuwien.ac.at/d...	01.01.2011	31.12.2014

Membership in committee

Committee	Description	Location	Function	From-To	Comment
scientific circle	Kurt Gödel Gesellschaft		Chairman	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.

Journal participation

Title	Classification	Referenced	Function	From-To
Journal of Automated Reasoning	SCI (Science Citation Index)	Yes	Reviewer	-
Studia Logica	SCIE (Science Citation Index Expanded)	Yes	Reviewer	-
Studia Logica	SCIE (Science Citation Index Expanded)	Yes	Editorial board	01/2004 - 12/2005

Events / Conferences

Category	Collaboration	Event name	From	Until	Function/Comments
Conference / Event	eingeladene_r Sprecher_in	Logic Colloquim 2013	07/2013	07/2013	Invited Talk
Postgraduate courses / Summer School	Sonstiges		08/1992	08/1992	European Summer School on Logic, Language and Information.Colchester, Grossbritannien.Titel des Kurses: Resolution Theorem Proving.
Postgraduate courses / Summer School	Sprecher_in	Methods of Cut-Elimination	10/2013		Sprecher
Postgraduate courses / 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.
Postgraduate courses / 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.
Postgraduate courses / Summer School	Sprecher_in	Summer School on Automated Deduction, Chambery, Frankreich.	07/1994	07/1994	Titel des Kurses: Resolution and Proof Complexity.
Scientific Conference / Symposium	eingeladene_r Sprecher_in	Logic Colloquium 2001	08/2001	08/2001	Invited Talk
Scientific Conference / Symposium	eingeladene_r Sprecher_in	ELPAR	03/2005	03/2005	Invited Talk
Scientific Conference / Symposium	Organisator_in	Turing 100	06/2012		Member of a Program Committee
Scientific Conference / Symposium	Organisator_in	Computational Logic and Proof Theory	08/1993		Program Chair
Scientific Conference / Symposium	Organisator_in	JCAR'01 International Joint Conference on Automated Reasoning	06/2001		Program Chair