!!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)