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
  • Logical and Functional Programming

Publications

Talks

  • Additive first-order logic, ICDT 2019, 28 March 2019 [slides]
  • A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries, FoIKS 2018, 17 May 2018 [slides]
  • 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]
  • Different ways of expressing boolean queries on graph databases, DBDBD 2015, 16 December 2015 slides