I am interested in the education of formal methods and algorithmic problem solving. I am a member of the Formal Methods Teaching Committee. See papers below.
My research focuses on innovative user interfaces for formal methods and mathematical approaches to software quality. I am also interested on innovative and fun ways to teach Computer Science. For more details, see selected publications and some of my projects. Follow me on Twitter or add me on LinkedIn.