Play/learn/work with me?

I'm into correct (formally proved) computational software & hardware engineering. I worked mainly in Haskell from 1995 to 2020 and then switched to Agda.

My home page will give you an indication of my interests and contains links to my blog and publications. You can find several of my Haskell software projects on Hackage and GitHub.

Together with my sweetheart, Holly, I have also led workshops evolving out of Marshall Rosenberg's "non-violent communication" (NVC), to help people create happier lives, particularly in relationships. Unlike mainstream NVC work, ours focuses on inner processing & self-knowing rather than communication.

Other contact info (email, twitter, linked-in, etc) are also on my home page.