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. Logic Journal of the IGPL, 23(5):759-788, 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]