Bernard Sufrin

Bernard Sufrin

Emeritus Fellow

College Lecturer, Magdalen College

Emeritus Fellow, Worcester College

Themes:

• Programming Languages

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; 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.