Homepage of Wim Martens

Wim Martens I have moved to the University of Bayreuth. My new web site is still under development but can be found here.

Research Interests

Foundations of Internet Technology (XML Schema Languages, XML Querying, Static Analysis,...)
Formal Languages and Automata Theory
Database Theory
Formal Methods (Logics, Complexity, ...)
Dynamic Algorithms

PhD Student

Katja Losemann (since 11/2010)

Brief CV

I was born in 1979, I am married to Beate Martens and we have three children.
Licentiate (Master's degree) in Mathematics and Computer Science, University of Antwerp (Belgium), 2001.
Teaching Assistant, Theoretical Computer Science group, Hasselt University (Belgium), 2001-2006.
Visiting researcher in the DBAI group at the Technical University of Vienna (Austria), Dec. 2004-March 2005.
PhD in Computer Science, Hasselt University (Belgium), advisor: Frank Neven, 2006.
Post-Doc, Lehrstuhl I: Logik in der Informatik at the Technical University of Dortmund (Germany), 2006-2009.
Juniorprofessor (assistant professor) at the Technical University of Dortmund (Germany), since 2009.
DFG Emmy Noether Research Group Leader since April 2011.

Honours / Awards:

Elected member of the Junge Kolleg of the North-Rhine Westfalian Academy of Sciences and Arts, 2008
FWO-IBM Belgium Prijs voor de Informatica (Belgian Dissertation Award in Computer Science), 2006

Publications: relatively complete publication list, or a partial list at DBLP.

Teaching

University of Dortmund:

Winter 2010/2011: Logik
Summer 2010: Grundbegriffe der Theoretischen Informatik
Summer 2009: Effiziente Algorithmen
Summer 2009: Projektgruppe "Pattern-based Schema Languages"

Winter 2008/2009: Projektgruppe "Pattern-based Schema Languages"

Summer 2008: Effiziente Algorithmen (old website)
Winter 2007/2008: Projektgruppe "XML Schema Toolkit"
Summer 2007: Projektgruppe "XML Schema Toolkit"
Winter 2006/2007: Datenstrukturen, Algorithmen und Programmierung I

Professional Activities

Invited speaker:

WATA 2008 (slides),
M4M 2005

Lecturing:

Automata and Logic on Trees, a one week course at the 19th European Summer School on Logic, Language and Information (ESSLLI 2007) in Dublin, Ireland

Conferences:

ICDT 2012 Program Committee
CIKM 2011 Program Committee
PODS 2011 Publicity Chair
PODS 2011 Proceedings Chair
STACS 2011 Proceedings Chair
LID 2011 Program Committee
ICDE 2011 Program Committee
EDBT 2011 Program Committee
ICDE 2010 Program Committee
ICDT 2010 Program Committee
WEBIST 2010 Program Committee
PODS 2009 Program Committee
WWW 2009 Program Committee
WISE 2009 Program Committee
ICDE 2008 Program Committee
WISE 2008 Program Committee
ICDT 2007 Proceedings Chair
DBPL 2007 Program Committee

Journal Reviewer:

Journal of the ACM, ACM Transactions on Programming Languages and Systems, VLDB Journal, Journal of Computer and System Sciences, Theoretical Computer Science, Theory of Computing Systems, Information Systems, Information Science, Information and Computation, Information Processing Letters, Fundamenta Informaticae, Journal of Zhejiang University Science

I maintain the PODS Pages

My Erdös number is at most 3 (Frank Neven -> Noga Alon -> Paul Erdös).
When one would include an episode of a certain TV show, my Bacon number would be at most 4 (Natalia Druyts -> Michael Pas -> Maximilian Schell -> Kevin Bacon). Not that this stuff actually matters. Some people do seem to entertain themselves with Erdös-Bacon numbers though.

Being at the University of Dortmund is great! The view from my window provides me with constantly evolving inspiration on Rush Hour, which is known to be PSPACE-complete in general. My former university in Hasselt provided me with very useful inspiration on XML with data values.

You are visitor N+1, where N is the number of visitors before you.