Since October 2011, I am a postdoctoral researcher supported by the FWO (Research Foundation - Flanders).
I am a member of the
Analysis(Design, Analysis and Implementation of Declarative Programming Languages)
subgroup of the
DTAI(Declarative Languages and Artificial Intelligence)
research group of the
Department of Computer Science
at the KU Leuven(Katholieke Universiteit Leuven).
In August 2004 I started working as a PhD student
of prof. dr. Bart Demoen.
From 2006 to 2009, I was supported by the IWT(Institute for the Promotion of Innovation
by Science and Technology in Flanders).
My PhD subject was "Optimizing Compilation and Computational Complexity of
Constraint Handling Rules"
and my supervisor was
and my supervisor, I have been developing the
KU Leuven CHR system
and investigated its time and space complexity properties, in theory and in practice.
I have defended my PhD on the 24th of November, 2008.
My research interests include:
Implementation, analysis, and optimization of declarative languages,
in particular Constraint Handling Rules (CHR) and other
(Constraint) Logic programming languages
Automata theory, complexity theory
(Algorithmic) graph theory
Automatic music generation and classification
Rule-based probabilistic logic learning
Currently I am developing the CHRiSM system.
One of its applications is APOPCALEAPS,
an automatic music generator.
Jon Sneyers, Tom Schrijvers and Bart Demoen.
The Computational Power and Complexity of Constraint Handling Rules.
ACM Transactions on Programming Languages and Systems
(TOPLAS), Vol. 31(2), February 2009.