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

Miscellaneous developments

Music related content

Other content

Mastodon