Contact Information

Photo Dimitri Surinx

I obtained my PhD in December 2017 under the supervision Jan Van den Bussche.
Currently, I am a working as a Postdoctoral researcher in the
Databases and Theoretical Computer Science Research Group at Hasselt University

Research interests

  • Database Theory
  • Theoretical Computer Science
  • Mathematical Logic

Teaching

  • Logic and Model Theory
  • Algorithms and Data structures
  • Introduction to Database
  • Introduction to Programming

Publications

  • D. Surinx, J. Van den Bussche, and D. Van Gucht. A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries. FoIKS 2018 (Accepted for publication)
  • 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]