News and recent work
- 2009/12/15: Designing an Algorithmic Proof of the Two-Squares Theorem is now available
- 2009/09/25: the webpage for the module Algorithmic Problem Solving (G51APS) is now available
- 2009/08/01: the camera-ready version of Which Mathematics for the Information Society? is now available
- 2009/06/26: Students' Feedback on Teaching Mathematics Through The Calculational Method is now available
About me
I am a PhD student under the supervision of Roland Backhouse from the University of Nottingham and Luis Soares Barbosa from the University of Minho. Currently, I am the module convenor of Algorithmic Problem Solving (G51APS). See my Teaching webpage for more information.
My project is on Algorithmic Problem Solving and it is funded by the Portuguese Science and Technology Foundation.
Its main goal is to develop educational material supporting the use of a calculational
approach to algorithmic problem solving. The focus of the project is on the dynamics of
problem solving — the processes of mathematical modelling and effective calculation in the
formulation of concise and precise algorithmic methods.
Before coming to Nottingham, I've worked at the Computer Engineering Group at University of Minho. You can find out more about my work in my research page or in my publications page.
Email address: jff at cs.nott.ac.uk
Nottingham website: http://cs.nott.ac.uk/~jff
Research Blog: http://joaoff.com
Snail mail:
Jubilee Campus , University of Nottingham
Wollaton Road
Nottingham — NG8 1BB
United Kingdom
Office: B39, School of Computer Science, Jubilee Campus
If you want to learn how to pronounce my name, visit the page Pronouncing João.
Thanks to Harish Narayanan for the design of the site layout.