Thomas Schwentick - Curriculum Vitae#
Education
- 1995-1999: Habilitation in Computer Science, Johannes Gutenberg-Universität Mainz. Untersuchungen zur Beschreibungskomplexität von deterministischer und nicht- deterministischer linearer Zeit
- 1990-1995: PhD (Dr. rer. nat.) in Theoretical Computer Science, Johannes Gutenberg- Universität Mainz, Advisor: Clemens Lautemann. On Winning Ehrenfeucht Games and Monadic NP
- 1989: Diploma in Mathematics, Johannes Gutenberg-Universität Mainz
Main research grants
- 2013-2016 Dynamische Ausdrucksstärke von Logiken, Deutsche Forschungsgemeinschaft, 240,400,- €
- 2013-2014 Nichtklassische Logiken auf Strukturen mit Datenwerten, Deutsche Forschungsgemeinschaft, 82,550,- € (Extension)
- 2009-2012 Foundations of XML - Safe Processing of Dynamic Data over the Internet, EU 7th Frameweork ICT, 2,032,000,- € (altogether)
- 2008-2012 Nichtklassische Logiken auf Strukturen mit Datenwerten, Deutsche Forschungsgemeinschaft, 206,000,- €
- 2005-2008 Formale Grundlagen von XML-Anfragen unter besonderer Berücksichtigung von XQuery, Deutsche Forschungsgemeinschaft, 204,800,- €
Editorial boards and activities
- Logical Methods in Computer Science
- Fundamenta Informaticae
- Special issues in Theory of Computing Systems for-
- ICDT 2007-
- STACS 2010-
- STACS 2011
Major responsibilities
- since 2011: Chair of the Steering Committee der International Conference on Database Theory (ICDT)
- 2010-2013: Member of the Executive Committee of the ACM Conference on Principles of Database Systems (PODS)
- since 2005: Member of the board of the European Association for Computer Science Logic
- 2011 31st ACM Symposium on Principles of Database Systems (PC-chair)
- 2011 28th International Symposium on Theoretical Aspects of Computer Science (PC co-Chair)
- 2010 27th International Symposium on Theoretical Aspects of Computer Science (PC co-Chair)
- 2007 11th International Conference on Database Theory (PC co-Chair)
