Greetings
In my spare time I like to play and listen to music, program and take care of my flowers. When I'm not in my spare time, I usually work with formal methods.
Current work
Music related content
Mutopia project
is a library providing free music sheets in
Lilypond
format.
A (open) database for music metadata
Other content
Email self-defense tutorial
by the FSF