User:Fairflow

I am a teacher of A level Computer Science (AQA) and sometime teacher of A and AS level mathematics and further mathematics. My research background is in computational logic and programming language semantics.