Areas of expertise
Programming-language design and specification
Founder member, MODUS, the Modula-2 Users Association.
7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 2006, Proceedings David E. Lightfoot and Clemens Szyperski, editors, Springer
‘Zonnon Language Report’, Jürg Gutknecht and Eugene Zueff, ETH Zürich, Switzerland, Editors: Brian Kirk and David Lightfoot, October 2004
.NET Application Development with C#, ADO.NET, ASP.NET and Web Services
Hanspeter Mössenböck, Wolfgang Beer, Dietrich Birngruber, Albrecht Wöß, translator, with Albrecht Wöß, from German Die .NET Technologie
Membership of professional bodies
Convenor IST5/–/13, British Standards Institute Panel on Standardisation of the Programming Language Modula-2.
Principal United Kingdom Expert to International Standards Organization WG13, Working Group on Standardisation of the Programming Language Modula-2.
BCS FACS (Formal Aspects of Computer Science) specialist group
United Kingdom Atomic Energy Authority: course on Correct Programming with Dr Tjeerd olde Scheper, June 2008
Reading University/Airinmar: Course on Programming in C#, 2005
Ada UK Conference, National Physical Laboratory, Teddington, United Kingdom, 1981
Open Lectures on Electronic Document Preparation, University of Kent, United Kingdom. Dr Brian Reid (Stanford University) and Dr William Newman (consultant), 1983
BCS Conference of Object-Oriented Systems, Dr Adele Goldberg (XEROX Corp.), Larry Tesler (Apple Computer Inc.) & Dr Brad Cox (Productivity Products Inc.), 1983
- Fachtagung—Programmiersprache und Programmentwicklung, ETH Zürich, Switzerland, 1984
Computer Graphics, Brunel University, United Kingdom, six one-day sessions, Professor F.R.A. Hopgood, 1984
Modula-2 Users Association (MODUS), Conservatoire National des Arts et Métiers, France, 1984
Modula-2 Users Association and BSI Modula-2 Panel, Slough College of Higher Education, United Kingdom, 1985 (organiser)
Modula-2 Users Association, Vallambrosa Center, Menlo Park, United States, 1985
OOPS-3 BCS one-day course on Object-Oriented Programming, London University, 1986, Prof. Kristen Nygaard (Oslo University)
BCS Electronic Publishing Group: Text Processing and Document Manipulation, Nottingham University, 1986
BSI International Meeting of Modula-2 Panel, London, 1986
Bowden Memorial Lecture, University of Essex, 1986, Professor Niklaus Wirth, ETH Zürich
Sea-change Programmer’s Tools course, Thomson Computers Limited, York 1987
Z User Group Meeting, IBM UK Laboratories, Winchester, 1989
Z User Group Meeting, Oxford University, 1990
Second International Modula-2 Conference, Loughborough University, United Kingdom, 1991
Joint Modular Languages Conference 1994, University of Ulm, Germany, 1994
1st International on Software Engineering in Higher Education, Southampton, United Kingdom, 1994 (presented: ‘A first course in formal specification: design principles and experience’, pp399–406 in conference proceedings)
Machine-Assisted Software Engineering Using B, Winchester, United Kingdom, 1995
Z Twenty Years on—‘What is its future?’ (+ tutorials given in French), Nantes, France, 1995 (member of Programme Committee)
First B Conference, Nantes, France, 1996
JMLC’97—Joint Modular Languages Conference, Johannes Kepler University Linz, Austria, 1997
B98: Recent Advances in the Development and Use of the B Method, Montpellier, France, 1998 (member of Programme Committee)
1st International Conference on Integrated Formal Methods, York, United Kingdom, 1999
Symposium in Celebration of the work of C.A.R. Hoare, Oxford, 1999
Journées BUG-SEE(SIC) Point sur les techniques et outils de validation de spécifications formelles, Villeneuve d’Ascq, France, 1999 (conference language: French)
JMLC2000—Joint Modular Languages Conference: ETH Zürich, Switzerland, 2000 (member of Programme Committee)
Invited delegate, Microsoft .NET Crash Course, St John’s College, Cambridge, Easter 2002
JMLC2003—Joint Modular Languages Conference: University of Klagenfurt, Austria, August 2003 (member of Programme Committee)
JMLC2006—Joint Modular Languages Conference: Jesus College, Oxford, September 2006 (chair of Programme Committee and conference organiser)
From Research to Teaching Formal Methods - The B Method TFM B'2009 8 June 2009 Université de Nantes, France Teaching the B Method at Oxford Brookes
Workshop on Recent Innovations and Applications in B [RIAB] at University of Eindhoven, Netherlands 3 November 2009
May 1970–Aug 1970: Research Assistant, Department of Chemical Engineering, University of Calgary, Calgary, Alberta, Canada
Research into Doppler shift of reflected light in oil pipelines.
June 1973–Aug 1973: Vacation Student, Atlas Computer Laboratory, Chilton, United Kingdom
Work on computer graphics packages in FORTRAN.
1974–1975: Programmer Analyst, County Surveyor's Department, West Sussex County Council, United Kingdom
Design, implementation, documentation and training for software to collect and analyse traffic-flow data.
1975–1979: Lecturer in Computer Studies and Statistics, Eastleigh College, United Kingdom
Teaching of Computing and Statistics.
1979–1982:Principal Lecturer, (2900-Series Languages) ICL (International Computers Limited) Consultancy and Training Services, Old Windsor, United Kingdom
Developed and presented courses on programming and operating systems for company's customers in UK, Europe and beyond using COBOL, FORTRAN and Pascal for ICL machines (including Perq) and courses delivered in French.
1982–1989:Senior Lecturer in Computing, Slough College, United Kingdom
Developed and presented courses on programming (including object-oriented), formal methods, desktop publishing and commercial software products, using COBOL, Pascal, Modula-2, Oberon, Z, Clascal (Object Pascal), Ada, Lotus 123, Symphony.