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.

PDF Project

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

PDF 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

Roland Backhouse, Wei Chen, João F. Ferreira (2013). The Algorithmics of Solitaire-Like Games (Extended Version). In SCP 78 (2013), pp. 2029-2046. Q2 Journal.

PDF Project

Roland Backhouse, João F. Ferreira (2011). On Euclid's Algorithm and Elementary Number Theory. In SCP 76(3), pp. 160-180. Q1 Journal.

PDF Project

João F. Ferreira (2010). Principles and Applications of Algorithmic Problem Solving. PhD Thesis.

PDF Project

João F. Ferreira (2010). Designing an Algorithmic Proof of the Two-Squares Theorem. In MPC 2010. CORE B conference.

PDF Project

Roland Backhouse, Wei Chen, João F. Ferreira (2010). The Algorithmics of Solitaire-Like Games. In MPC 2010 (Invited Paper). Invited for publication in Special Issue by Science of Computer Programming.

PDF 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

Roland Backhouse, João F. Ferreira (2008). Recounting the Rationals: Twice!. In MPC 2008. Invited for publication in Special Issue by Science of Computer Programming. CORE B conference.

PDF Code Project Slides