Person profile

Univ.Prof. Mag.rer.nat. Dr.techn.

Reinhard Pichler

Phone +43 1 58801 18422

E-Mailreinhard.pichler@tuwien.ac.at

Assigned

E192-02

Business Card

https://orcid.org/0000-0002-1760-122X

Research area

Name	Management/Member
Research Unit of Databases and Artificial Intelligence	Member

Profile

Research profile (German):

Grundlagenforschung im Bereich Datenbanktheorie und Computationale Logik mit Schwerpunkten: Eigenschaften von Datenbankanfragesprachen, Informationsintegration und Wissensverarbeitung und -repräsentation

Research profile (English):

Basic Research in Database Theory and Computational Logic with focus on: Properties of Query Languages, Information Integration and Knowledge Representation and Reasoning

Personal website:

www.dbai.tuwien.ac.at/staff/pichler

Publications:

Publications

Keywords

Keyword (German)	Keyword (English)
Wissensverarbeitung und -repräsentation	Knowledge Representation and Reasoning
Datenbanktheorie	Database Theory
Parametrisierte Komplexität	Parameterized Complexity
Komplexitätstheorie	Complexity Theory
Computationale Logik	Computational Logic
Informationsintegration	Information Integration
Semantisches Web	Semantic Web

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)
1122	Artificial Intelligence	Artificial intelligence
1109	Informations- und Datenverarbeitung	Information and data processing
1101	ADV, EDV	ADP/EDP
1138	Informationssysteme	Information systems
1108	Informatik	Informatics
1111	Logik	Logic

Reference Projects

Title	Funding program	Function	Website	From	Until
National, FFG - Austrian Research Promotion Agency
LogiCS doctoral program	structural program		logic-cs.at/phd/	01.10.2014
National, FWF - The Science Fund
HINT: Heterogenous Information Integration	Single project	Principal Investigator		01.12.2012	30.11.2017
FAIR: Fixed-Parameter Tractability in Artificial Intelligence and Reasoning	Single project	Principal Investigator		01.05.2013	30.04.2018
National, WWTF - Vienna Science and Technology Fund
Sodi - Service-Oriented Data Integration	Thematic calls	Principal Investigator		01.04.2009	30.09.2012
SEE: SPARQL EVALUATION AND EXTENSIONS	Thematic calls	Principal Investigator		01.09.2012	01.09.2016
TUW-intern, TU Wien
Mathematical Logic in Computer Science	Internal research funding	Participation / Faculty	www.dbai.tuwien.ac.at/drkolleg...	01.03.2011	28.02.2014

International award

Awarding Organization	Country	Program	Name	From	Website
ACM SIGLOG	United States of America		2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation	01.07.2021	https://siglog.org/winners-of-...
ACM SIGMOD	United States of America		Best Paper Award at the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems	13.06.2022	https://2022.sigmod.org/
andere	Italy (South Tyrol)	Best paper award at RR 2010: Int. Conf. on Web Reasoning and Rule Systems	Best paper award at RR 2010: Int. Conf. on Web Reasoning and Rule Systems	01.01.2010

Membership in committee

Committee	Description	Location	Function	From-To
Committees at the TU Wien	Fakultätsrat Informatik	Austria	Manager	01/2016 - 12/2023
Committees at the TU Wien	Fakultätsrat Informatik	Austria	Member	01/2012 - 12/2023
Committees at the TU Wien	Studienkommission Informatik	Austria	Member	01/2007 - 12/2019

Journal participation

Title	Classification	Referenced	Function	From-To
ACM Transactions on Computational Logic (TOCL)	unclassified	Yes	Reviewer	03/2014 - 07/2014
Annals of Mathematics and Artificial Intelligence	SCIE (Science Citation Index Expanded)	Yes	Reviewer	01/2014 - 12/2014
Annals of Mathematics and Artificial Intelligence	unclassified	Yes	Reviewer	01/2006 - 03/2006
Fundamentae Informaticae	SCI (Science Citation Index)	Yes	Reviewer	01/2014 - 03/2014
Information Processing Letters	SCI (Science Citation Index)	Yes	Reviewer	02/2011 - 06/2011
Information Systems	SCI (Science Citation Index)	Yes	Reviewer	03/2011 - 09/2011
Journal of Artificial Intelligence Research (JAIR)	SCI (Science Citation Index)	Yes	Reviewer	05/2013 - 06/2013
Journal of Computer and System Sciences	SCI (Science Citation Index)	Yes	Reviewer	06/2015 - 12/2015
Journal of Data and Knowledge Engineerin	unclassified	Yes	Reviewer	06/2006 - 07/2006
Journal of Web Engineering	unclassified	Yes	Reviewer	10/2005 - 12/2005
Journal of the ACM	SCI (Science Citation Index)	Yes	Reviewer	12/2012 - 04/2013
Logical Methods in Computer Science	unclassified	Yes	Reviewer	12/2007 - 07/2007
Logical Methods in Computer Science	unclassified	Yes	Reviewer	11/2010 - 02/2011
Theory of Computing Systems	SCI (Science Citation Index)	Yes	Reviewer	09/2013 - 10/2013
Transactions on Computational Logic (TOCL),	unclassified	Yes	Reviewer	01/2007 - 05/2007
Transactions on Database Systems	SCI (Science Citation Index)	Yes	Reviewer	03/2010 - 01/2011
Transactions on Database Systems	SCI (Science Citation Index)	Yes	Reviewer	11/2009 - 08/2010
Transactions on Programming Languages and Systems	SCI (Science Citation Index)	Yes	Reviewer	07/2009 - 12/2009
Transactions on Programming Languages and Systems	unclassified	Yes	Reviewer	09/2007 - 12/2007
Transactions on Programming Languages and Systems	unclassified	Yes	Reviewer	07/2008 - 12/2008
VLDB Journal	SCI (Science Citation Index)	Yes	Reviewer	03/2012 - 09/2012
VLDB Journal	SCI (Science Citation Index)	Yes	Reviewer	09/2015 - 12/2015
VLDB Journal	SCI (Science Citation Index)	Yes	Reviewer	10/2015 - 12/2015

R&D Accomplishments

Description	From	Until
Other categories
Programmkomitee Co-Chair Datalog 2.0, 2012	09/2011	09/2012
Programmkomitee Mitglied BTW 2006	10/2006	03/2007
Programmkomitee Mitglied DEXA 2011	09/2010	09/2011
Programmkomitee Mitglied DEXA 2012	12/2011	09/2012
Programmkomitee Mitglied EDBT 2008	04/2007	11/2007
Programmkomitee Mitglied EDBT 2009	04/2008	11/2008
Programmkomitee Mitglied ICALP 2011	05/2010	07/2010
Programmkomitee Mitglied ICDT 2010	09/2009	11/2009
Programmkomitee Mitglied IJCAI 2011	12/2010	07/2011
Programmkomitee Mitglied INAP 2011	06/2011	09/2011
Programmkomitee Mitglied LPAR 2006	05/2006	11/2006
Programmkomitee Mitglied MFCS 2007	11/2006	05/2007
Programmkomitee Mitglied SOFSEM 2012	03/2011	01/2012
Programmkomitee Mitglied WebDB 2016	09/2015	05/2016
Programmkomitee Vorsitz AMW 2016	09/2015	06/2016

Events / Conferences

Category	Collaboration	Event name	From	Until	Function/Comments
Scientific Conference / Symposium	Organisator_in	AMW 2016	06/2015	06/2016	PC Chair
Scientific Conference / Symposium	Organisator_in	Datalog 2.0, 2012	09/2011	09/2012	Programmkomitee Co-Chair
Scientific Conference / Symposium	Organisator_in	PODS 2015	09/2014	03/2015	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	ICALP 2015	09/2014	04/2015	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	AMW 2015	09/2014	04/2015	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	ICDT 2015	02/2014	10/2014	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	AAAI 2015	07/2014	11/2014	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	ECAI 2014	12/2013	04/2014	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	ICDE 2016	04/2015	12/2015	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	WebDB 2014	01/2014	04/2014	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	WebDB 2013	02/2013	05/2013	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	AAAI-AIW 2013	02/2013	04/2013	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	IJCAI 2013	12/2012	03/2013	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	DEXA 2013	12/2012	05/2013	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	BNCOD 2013	11/2012	03/2013	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	DEXA 2012	12/2011	09/2012	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	AMW 2013	08/2012	03/2013	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	INAP 2011	06/2011	09/2011	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	IJCAI 2011	12/2010	07/2011	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	SOFSEM 2012	03/2011	01/2012	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	ICALP 2011	05/2010	07/2010	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	DEXA 2011	09/2010	09/2011	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	EDBT 2009	04/2008	11/2008	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	ICDT 2010	09/2009	09/2011	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	MFCS 2007	11/2006	05/2007	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	EDBT 2008	04/2007	11/2007	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	LPAR 2006	05/2006	11/2006	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	BTW 2006	10/2006	03/2007	Programmkomitee Mitglied
Scientific Conference / Symposium	Organisator_in	WebDB 2016	10/2015	06/2016	Programmkommitee Mitglied