Edmund Robinson

Professor of Computer Science

Head of Department

I joined Queen Mary and Westfield in 1995 from the School of Cognitive and Computing Sciences at the University of Sussex, having previously held positions at Queen's University, Kingston, Ontario, and at Cambridge and Edinburgh. I have been Head of Department since 2002.

Research

• EPSRC Grant GR/S41845: Bunched ML (2003-2006) with Peter O'Hearn and David Pym
• EPSRC Grant GR/R29680: The Semantics of Classical Proofs (2001-2004) with Martin Hyland and David Pym
• EPSRC Grant GR/L54639: Logic Programming, Imperative Programming and Categorical Semantics
• EU Working Group APPSEM

Students

• Adam Eppendahl (graduated 2003)
• Alex Klimiashvili
• Mike Samuels
  
• Jules Bean

Courses

• I teach our introductory programming course: DCS/101 Procedural Programming.
  

Administration

• Head of Department.
  

Connections

• QMUL Department of Computer Science Local Home Page
• QMUL Department of Computer Science Public Home Page
• University of London

Contact