FM Education

Mar 1, 2006

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.

Avatar
Alexandra Mendes
Assistant Professor

My research focuses on encouraging a wider adoption of software verification by creating tools and methods that hide the complexities of verifying software. Recently, I started work on usable security, in particular on the impact of formal verification on the use and adoption of formally verified security software products. Much of my most recent work overlaps with the area of software engineering. For more details, see selected publications and some of my projects. Follow me on Twitter or add me on LinkedIn.

Publications

Tony Hoare, Alexandra Mendes, João F. Ferreira (2019). Logic, Algebra, and Geometry at the Foundation of Computer Science. In FMTea 2019.

PDF Project

João F. Ferreira, Alexandra Mendes (2019). Open and Interactive Learning Resources for Algorithmic Problem Solving. In OpenCert 2019.

PDF Project

Alexandra Mendes, Roland Backhouse, João F. Ferreira (2014). Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method. In ITS 2014. CORE A conference.

PDF Project Project

João F. Ferreira, Alexandra Mendes (2014). The Magic of Algorithm Design and Analysis: Teaching Algorithmic Skills using Magic Card Tricks. In ITiCSE 2014. CORE A conference.

PDF Project

Alexandra Mendes (2012). Structure Editing of Handwritten Mathematics. PhD Thesis.

PDF Project Project

João F. Ferreira, Alexandra Mendes (2009). Students' Feedback on Teaching Mathematics Through The Calculational Method. In FiE 2009.

PDF Project

João F. Ferreira, Alexandra Mendes, Roland Backhouse, Luis Soares Barbosa (2009). Which Mathematics for the Information Society?. In TFM 2009.

PDF Project Slides

Alexandra Mendes (2008). Work in Progress - Structure Editing of Handwritten Mathematics. In FiE 2008.

PDF Project Project