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 327666
+32 16 327996
Website: (this page)


In August 2004 I started working as a PhD student in 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 K.U.Leuven (Katholieke Universiteit Leuven). Since January 2006, I am 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 K.U.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. Other people in our group are also working on CHR or using it: Peter Van Weert made the KULeuven JCHR system, Paolo Pilozzi and Dean Voets work on termination for CHR, Leslie De Koninck is currently working at NICTA in Australia.

My research interests are:

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

Some of my recent publications:

All publications


Huidig academiejaar: Vorige academiejaren:


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