# FM Education

Jan 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. I have developed developed educational material (mostly on calculational approaches to algorithmic problem solving). See also the papers listed below.

###### Computer Scientist

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.

## Publications

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

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

*OpenCert 2019*.João F. Ferreira, Alexandra Mendes
(2014).
The Magic of Algorithm Design and Analysis: Teaching Algorithmic Skills using Magic Card Tricks.
In

*ITiCSE 2014*.Roland Backhouse, Wei Chen, João F. Ferreira
(2013).
The Algorithmics of Solitaire-Like Games (Extended Version).
In

*SCP 78 (2013), pp. 2029-2046*.Roland Backhouse, João F. Ferreira
(2011).
On Euclid's Algorithm and Elementary Number Theory.
In

*SCP 76(3), pp. 160-180*.João F. Ferreira
(2010).
Principles and Applications of Algorithmic Problem Solving.
PhD Thesis.

Roland Backhouse, Wei Chen, João F. Ferreira
(2010).
The Algorithmics of Solitaire-Like Games.
In

*MPC 2010*(Invited Paper).João F. Ferreira, Alexandra Mendes
(2009).
Students' Feedback on Teaching Mathematics Through The Calculational Method.
In

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

*TFM 2009*.