Bernard Sufrin
|
Bernard Sufrin
Emeritus Fellow
College Lecturer,
University College
College Lecturer,
Magdalen College
Emeritus Fellow,
Worcester College
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
- Computer-based support for Refinement and Proof.
- Formal methods, Abstraction, and Patterns in system design
- Programming language design and implementation
- User Interface Design for Diagnostic and Therapeutic applications of computers
- Instrument Design for Psychometric Experiments
See my personal pages for more details.
My current PGP and GPG Public Key is here. Please don't use those I made before 2000.
I am a trustee of the Oxfordshire Dyslexia Association.
Info
|
Themes |
