Contact Information

Photo Dimitri Surinx

I am currently a third year PhD student at Hasselt University. My doctoral advisor is Jan Van den Bussche.

Research interests

  • Database Theory
  • Theoretical Computer Science
  • Mathematical Logic

Teaching

  • Logic and Model Theory
  • Algorithms and Data structures
  • Database Management

Publications

  • G. Fletcher, M. Gyssens, D. Leinders, D. Surinx, J. Van den Bussche, D. Van Gucht, S. Vansummeren, and Y. Wu. Relative expressive power of navigational querying on graphs. Information Sciences, 298:390-406, 2015. pdf
  • D. Surinx, G.H.L. Fletcher, M. Gyssens, D. Leinders, J. Van den Bussche, D. Van Gucht, S. Vansummeren, and Y. Wu. Relative expressive power of navigational querying on graphs using transitive closure. Accepted for publication in the Logic Journal of the IGPL, June 2015. pdf

Talks

  • Converse elimination in the calculus of relations, Dagstuhl seminar on circuits, logic and games, 29 September 2015 [abstract, slides]