About

I am a Computer Scientist and programmer with a passion for audio and music technology and a strong background in software verification and formal methods.

This website is under construction!