Lambda the Ultimate

Currently Senior Lecturer in Computer Science at the University of Sheffield, I work in all areas of object-oriented programming, design and testing. I came to this through phonetics at the University of Cambridge (1976-80) to automatic speech recognition (1986-1990) and object-orientation at Sheffield, where I completed a PhD in OO type theory (1992-5). I digressed into OO design methodology (1993-2002) and have since worked mostly in verification and testing (2000-date).

I work in all areas of object-oriented programming, from language design, type theory, analysis and design methods, verification and testing, to model-driven engineering. I also like functional and logic programming as paradigms. I'd like to develop a practical OO language based on the theory of F-bounds.