# 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.

##### João F. Ferreira

###### 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

### Logic, Algebra, and Geometry at the Foundation of Computer Science

This paper shows by examples how the Theory of Programming can be taught to first-year CS undergraduates. The only prerequisite is …

### Open and Interactive Learning Resources for Algorithmic Problem Solving

*Algorithmic problem solving*is a way of approaching and solving problems by using the advances that have been made in the principles of …

### The Magic of Algorithm Design and Analysis: Teaching Algorithmic Skills using Magic Card Tricks

We describe our experience using magic card tricks to teach algorithmic skills to first-year Computer Science undergraduates. We …

### The Algorithmics of Solitaire-Like Games (Extended Version)

One-person solitaire-like games are explored with a view to using them in teaching algo- rithmic problem solving. The key to …

### On Euclid's Algorithm and Elementary Number Theory

Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of …

### Principles and Applications of Algorithmic Problem Solving

Algorithmic problem solving provides a radically new way of approaching and solving problems in general by using the advances that have …

### Designing an Algorithmic Proof of the Two-Squares Theorem

We show a new and constructive proof of the two-squares theorem, based on a somewhat unusual but very effective, way of rewriting the …

### The Algorithmics of Solitaire-Like Games

Puzzles and games have been used for centuries to nurture problem-solving skills. Although often presented as isolated brain-teasers, …

### Students' Feedback on Teaching Mathematics Through The Calculational Method

This paper describes a study conducted at the University of Nottingham, whose goal was to assess whether the students registered on the …

### Which Mathematics for the Information Society?

MathIS is a new project that aims to reinvigorate secondary-school mathematics by exploiting insights of the dynamics of algorithmic …

### Recounting the Rationals: Twice!

We derive an algorithm that enables the rationals to be enumerated in two different ways. One way is known, and is called …