Avatar

『De Keyser
Kevin』

dekeyser.ch

About:
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
Itch: trappuzzler
Interval arithmetic in PSI
Themes for XCode/(n)vim/terminal.app
KanjiConstruct
Theoretical C++ Algorithms, Book is released & free!
Ice Floes - Boardgame
Maturaarbeit SJf 2016 - Sliceralgorithmus
Guilt surfing
UnicodeTreePrint
Inofficial Swiss Olympiad in Informatics Game Jam
Duolang: Code in 2 Programming Languages at the same time... In your Browser!
Old games

Contact me:
kevin (at symbol) dekeyser.ch   

Alternative version