Edmund Robinson
MA, MMath, PhD, FBCS, CiTP

Current Position

Professor of Computer Science
Head of Theory Group

About me

I am a mathematician and computer scientist. I was educated at Cambridge, obtaining my PhD in mathematics in 1984. I then took a research position at the Department of Computer Science in Edinburgh, before returning to Cambridge as a research fellow. In 1987 I left my fellowship for an Assistant Professorship at Queen's University in Canada. From there I came back to the UK in 1990 as first a lecturer, then an EPSRC Advanced Fellow and finally a Reader at the School of Cognitive and Computing Sciences in Sussex. My last move was when I came to Queen Mary as Professor in 1995. In 2002 I was appointed Head of the Department of Computer Science and then charged with its merger with Electronic Engineering to form the new School of Electronic Engineering and Computer Science, of which I was the founding Head until August 2010. Since coming to the end of my term as Head I have been on sabbatical, and filling in for Prof Ursula Martin as Acting Director of ImpactQM. For more details check my CV.

Research Interests

Logic: mainly classic, intuitionistic, and substructural logic
Category Theory: mainly structures used in semantics of logic and programming languages Proof Theory: mainly proof translations and interpretations
Programming Semantics: mainly supporting mathematical structures and logic

If you are interested in doing a PhD in theoretical computer science, please have a look at the PhD scholarships we have available

Contact details

Office CS/431
E DOT P DOT Robinson AT qmul DOT ac DOT uk
+44 (0) 207 882 5209 (phone)
+44 (0) 208 980 6533 (fax)

Address

School of Electronic Engineering and Computer Science
Queen Mary, University of London
Peter Landin Building
10 Godward Square
London     E1 4FZ