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

  • D. Surinx, J. Van den Bussche, and D. Van Gucht. The primitivity of operators in the algebra of binary relations under conjunctions of containments. LICS 2017. pdf
  • 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

  • The primitivity of operators in the algebra of binary relations under conjunctions of containments, LICS 2017, 23 June 2017 [slides]
  • Converse elimination in the calculus of relations, Dagstuhl seminar on circuits, logic and games, 29 September 2015 [abstract, slides]