Mr Bernard Sufrin

Subject: Computer Science and Maths

Department: Computer Science

College appointment: Lecturer

I have been Lecturer in Computer Science at Magdalen College since 2011, and I am an Emeritus Fellow of Worcester College. In 2018 I was delighted and honoured that the senior Tutorial Fellowship in my subject at Worcester College was permanently endowed by one of my former students and named the Bernard Sufrin Fellowship in Computer Science.

Between 1978 and 1983 I held research fellowships at Wolfson College and in the Programming Research Group at Oxford. Before that I was Chief Research Officer in the Department of Computing Science at Essex University. I had earlier been at Bolt Beranek and Newman in Cambridge Massachussetts working on the software for the second generation Arpanet: this later became the Internet.

I have at various times been visiting Professor at the University of Washington, Queensland University, East China Normal University, and the Chinese Academy of Sciences.


Functional and Object-Oriented Programming. Discrete Mathematics and Logic. Models of Computation. Digital Systems. Concurrent Programming. Principles of Programming Languages. Compilers.


Selected Publications on Programming Languages:

Selected Publications on User Interfaces and Proof Support: