Wim
Martens
Juniorprofessor
Technische Universität Dortmund
Lehrstuhl Informatik I
44221 Dortmund
Germany
Building: Otto-Hahn-Straße 16
Office: 110
Tel: +49 231-755 6152
Fax: +49 231-755 6555
E-mail: 
Office hours: Monday, 14:00 - 15:00 (please make an appointment first)
Sprechstunde: Montags, 14:00 - 15:00 (Bitte Termin vereinbaren)
|
 |
|
|
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
Brief CV
- I am born in 1979, 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.
|
|
- University of Dortmund:
- Winter 2008/2009: Projektgruppe
"Pattern-based Schema Languages"
|
Professional Activities
- Invited speaker:
- Lecturing:
- Conferences:
- 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
- Conference Reviewer:
- PODS 2010, VLDB 2010, STACS 2010, MFCS 2010,
VLDB 2009, ICALP 2009, ICDT
2009, LATA 2009, PODS 2008, STACS 2008, SOFSEM 2008, TCS 2008, FSTTCS
2008, PODS 2007, ICALP 2007, ICDT 2007, LATA 2007, CSL 2006, EDBT 2006,
PODS 2005, CAV 2005, VLDB 2005, DBPL 2005, ADBIS 2005, CIAA 2004
- I maintain the PODS Pages
|
|
|
My Erdös number is at most 3 (Frank Neven -> Noga
Alon -> Paul Erdös).
Using
similar metrics for the relation "played music on stage together with",
my Natalia number is 1. This implies an Anastacia number of
2, Pointer Sisters number of 2, and a few others. If one would
categorize an episode of Idool 2003 (no, I did not sing...) as an actual movie, this would give me a Bacon number
of at most 4 (using the relation "played in a movie with"). Not that
this stuff actually matters.
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.
|
|
