menu

School of Electronic Engineering and Computer Science

People menu

Professor Edmund Robinson, MA MMath PhD FBCS CiTP

Edmund

Professor of Computer Science

Email: e.p.robinson@qmul.ac.uk
Telephone: +44 20 7882 5209
Room Number: Peter Landin, CS 431
Website: http://www.eecs.qmul.ac.uk/~edmundr
Office Hours: Friday 10:45-11:45

Teaching

Computer Systems and Networks (Undergraduate)

This module provides you with a basic understanding of how a computer works and how programs are executed by the CPU at the machine level. As an introduction to computer architecture and systems software, this module presents the concepts needed to understand typical computers at the level of their ';machine-code'; instruction set. It covers Boolean algebra rules and terminology as well as logic gates. The module also examines the use of bits, bytes and data formats to represent integers, text and programs as well as looking at the conventional von Neumann computer architecture (CPU, registers, memory). Assembly language programming and system software are introduced.

Functional Programming (Postgraduate)

Practical introduction to functional programming for students with good programming ability but no prior knowledge of FP

Functional Programming (Undergraduate)

Recent approaches to systems programming frequently involve functional programming either overtly in the sense that they use modern functional programming languages for rapid prototyping, or more covertly in that they use techniques developed in the functional setting as a way of lending greater structure and clarity to code. This module gives a structured introduction to programming in modern industrial functional languages such as Haskell and F# and to techniques such as map-reduce and monadic programming.

Research

Research Interests:

Logic, Category Theory, Semantics

Publications

  • Hermida C, Reddy US, Robinson EP (2014). Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages. nameOfConference
  • ROBINSON EP, Pym DJ, Ritter E (2012). A Proof-theoretic Analysis of the Classical Propositional Matrix Method. nameOfConference
  • Collinson M, Pym D, Robinson E (2008). Bunched polymorphism. nameOfConference
  • Bellin G, Hyland M, Robinson E et al. (2006). Categorical proof theory of classical propositional calculus. nameOfConference
  • Collinson M, Pym D, Robinson E (2005). On bunched polyrnorphism. nameOfConference
  • Robinson E (2003). Proof nets for classical logic. nameOfConference
  • ROBINSON EP (2002). Variations on Algebra: Monadicity and Generalisations of Equational Theories. nameOfConference
  • ROBINSON EP, Rosolini G (2001). An abstract look at realizability. nameOfConference
  • Power AJ, Robinson EP (2000). Logical Relations and Data Abstraction. nameOfConference
  • Power AJ, Robinson EP (2000). Logical Relations, Data Abstraction and Structured Fibrations. nameOfConference
  • Power J, Robinson E (1999). Modularity and Dyads. nameOfConference
  • Power J, Robinson E (1997). Premonoidal categories and notions of computation. nameOfConference
  • Robinson EP (1996). Logical Relations and Data Abstraction. nameOfConference
  • Robinson E (1994). Parametricity as isomorphism. nameOfConference
  • Robinson EP, Rosolini G (1994). Reflexive Graphs and Parametric Polymorphism. nameOfConference
  • Freyd PJ, Robinson EP, Rosolini G (1992). Dinaturality for free. nameOfConference
  • Freyd PJ, Robinson EP, Rosolini G (1992). Functorial Parametricity. nameOfConference
  • Power AJ, Robinson EP (1991). A characterization of pie limits. nameOfConference
  • Robinson EP, Rosolini G (1990). Colimit completions and the effective topos. nameOfConference
  • Hyland JME, Robinson EP, Rosolini G (1990). Algebraic types in PER models. nameOfConference
  • Robinson EP, Rosolini G (1990). Polymorphism, set theory and call-by-value. nameOfConference
  • Hyland JME, Robinson EP, Rosolini G (1990). The discrete objects in the effective topos. nameOfConference
  • Johnstone PT, Robinson EP (1989). A note on inequivalence of realizability toposes. nameOfConference
  • Robinson EP (1989). How complete is PER?. nameOfConference
  • Blevis E, Jenkins MA, Robinson EP (1989). On Seeger’s Music Logic. nameOfConference
  • Robinson EP, Rosolini G (1988). Categories of partial maps. nameOfConference
  • Robinson EP (1987). Logical aspects of denotational semantics. nameOfConference
  • Robinson EP (1987). The geometric theory of p-adic fields. nameOfConference
  • Robinson EP, Rosolini G (1987). Two internal complete full subcategories of the effective topos. nameOfConference
  • Robinson EP (1986). Powerdomains, modalities and the Vietoris monad. nameOfConference
  • Robinson EP (1986). The p-adic spectrum. nameOfConference
  • Robinson EP (1983). Stable theories of local rings. nameOfConference
  • Robinson EP (1982). Recovering the Zariski spectrum from the étale. nameOfConference
Return to top