I am interested in the education of formal methods and algorithmic problem solving. I am a member of the Formal Methods Teaching Committee. I have developed developed educational material (mostly on calculational approaches to algorithmic problem solving). See also the papers listed below.
My research interests include software reliability, software verification, and formal methods applied to software engineering. I am also interested in interactive storytelling. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn.