João F. Ferreira
Using Haskell since 2000
You can ask me about full- or part-time employment
Living in Nottingham
About Me
Postdoctoral Research Associate at the University of Teesside, working on automated verification of software using separation logic.