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