I am curious and I enjoy learning; I am liberal and a post-modern relativist with a strong nihilistic streak. I play with computers, I play music and I build stuff; I play bassoon and a little bit of piano, I try to sing (but I’m ever so shy about it) and I can strike a chord or two on a guitar. I like to write poetry, go hiking or take photographs. I try to approach ethics rationally and logically: I am polyamorous and vegan. I value compassion very highly.
- DIVINE, an explicit-state model checker
- LART, abstraction & refinement engine for LLVM bitcode
- LVM2, logical volume manager for Linux
- SILK, an experimental programming language
You can email
m@ in this domain (that is,
fixp.eu) to reach me, or catch me on freenode (my nick there is
mornfall) or IM (xmpp) on the same address as email (i.e.
m@). I am also up for tea or beers in Brno and Bratislava.