Skip to main content

Bernard Sufrin

Personal photo - Bernard Sufrin

Bernard Sufrin

Emeritus Fellow

College Lecturer, Magdalen College
Emeritus Fellow, Worcester College


  • 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; and see my project pages for a list of suggested M.Sc. and Undergraduate projects.

My current PGP/GPG Public Key is here. Please don't use those I made before 2000.