Currently, my main interest lies in all sorts of human computer interaction, specifically mixed initiative systems, interactive theorem provers and virtual partners. The other interest I pursue has to do with formally secure algorithms.
Some things I've made in the past:
MixedAim: A tool for co-creating puzzle games
Interval arithmetic in PSI
Themes for XCode/(n)vim/terminal.app
Theoretical C++ Algorithms, Book is released & free!
Ice Floes - Boardgame
Maturaarbeit SJf 2016 - Sliceralgorithmus
Inofficial Swiss Olympiad in Informatics Game Jam
Duolang: Code in 2 Programming Languages at the same time... In your Browser!
kevin (at symbol) dekeyser.ch   ✉