Jon Sneyers

Contact info

A picture of Jon in California
Snail mail:
Jon Sneyers
Dept. Computer Science, K.U.Leuven
Celestijnenlaan 200A
B-3001 Heverlee (Leuven)
200A 01.144
jon.sneyers (at)
+32 16 327548
+32 16 327996
Website: (this page)


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 Bart Demoen. Together with Tom Schrijvers 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:

Currently I am developing the CHRiSM system. One of its applications is APOPCALEAPS, an automatic music generator.

Some of my publications:

All publications


Huidig academiejaar: Vorige academiejaren: Thesisstudenten waarvan ik begeleider was:


I'm a member of the Linkse Socialistische Partij (LSP, Left Socialist Party / PSL Parti Socialiste de Lutte) which is the Belgian section of the Committee for a Workers' International (CWI), an international Trotskyist organisation. LSP has an anti-racist/anti-fascist campaign (Blokbuster) and a student organization (ALS, Actief Linkse Studenten). I have also participated in Comité voor een Andere Politiek (CAP).


I enjoy playing (and listening to others play) the piano, especially the works of Beethoven [1], [2]. I also like to improvise [mp3]. In February 2009 I finally managed to write down some of the themes that originated in improvisations. The result is a little composition called Pianofortis [pdf] [lilypond,midi). Here is a recording (with some additional improvisation when the score ends), and here is an edited version (with some sound effects applied) of the same recording. Here are some more improvisations: #1 and #2, or with wahwah: #1 and #2. I'm sorry if it all sounds very repetitive and boring. In March 2009 I wrote three little political protest songs (in Dutch): Moderne partijen, 't Kapitalisme is kapot, and Druppels op een hete plaat.

Between 1995 and 2002 I used SoundTracker or similar programs to create horrible music, mostly based on themes I discovered while improvising. Some examples: 1, 2, 3, 4, 5, 6 [xm], 7 [s3m], 8, 9, 10 [it]. After a long delay, at the end of 2006 I made another tune called "Revolution Now". And in April 2008 I made this one.

Finally, I used to sing (bass) in the Winakoor, which was the choir of the Math, Physics and Informatics student club Wina.


There are more links on my start page.
CHR people
Frühwirth | Abdennadher | Duck | Stuckey | Leuven team (old website).
ALP | Dijkstra | Algorithms | Complexity Zoo
Red Tux | GNU | Debian | Slashdot | G-Scholar | Wikipedia | CSSplay
Good GPL'ed games
Tremulous | UFO: AI | Warzone 2100 | Battle for Wesnoth | Enigma | Frozen Bubble | Liquid War
C64: BASIC | type-in | peripherals (tape, floppy) | games (Bomb Jack, Giana Sisters, H.E.R.O., Rainbow Islands, Rick Dangerous 2 [map], Turrican)
PC: 8088, Hercules | i486 | QB | GEM
BBS: PCBoard | Demoscene | ASCII-art | .MOD | tetripz

Valid HTML 4.01 Transitional Valid CSS! check link rot