School of Electronic Engineering and Computer Science

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

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


    QMRO: qmroHref

    Citations: 0
  • ROBINSON EP, Pym DJ, Ritter E (2012). A Proof-theoretic Analysis of the Classical Propositional Matrix Method. nameOfConference


    QMRO: qmroHref

    Citations: 0
  • Collinson M, Pym D, Robinson E (2008). Bunched polymorphism. nameOfConference


    QMRO: qmroHref

    Citations: 2
  • Bellin G, Hyland M, Robinson E et al. (2006). Categorical proof theory of classical propositional calculus. nameOfConference


    QMRO: qmroHref

    Citations: 2
  • Collinson M, Pym D, Robinson E (2005). On bunched polyrnorphism. nameOfConference


    QMRO: qmroHref

    Citations: 1
  • Robinson E (2003). Proof nets for classical logic. nameOfConference


    QMRO: qmroHref

    Citations: 10
  • ROBINSON EP (2002). Variations on Algebra: Monadicity and Generalisations of Equational Theories. nameOfConference


    QMRO: qmroHref

    Citations: 0
  • ROBINSON EP, Rosolini G (2001). An abstract look at realizability. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Power AJ, Robinson EP (2000). Logical Relations and Data Abstraction. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Power AJ, Robinson EP (2000). Logical Relations, Data Abstraction and Structured Fibrations. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Power J, Robinson E (1999). Modularity and Dyads. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Power J, Robinson E (1997). Premonoidal categories and notions of computation. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP (1996). Logical Relations and Data Abstraction. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson E (1994). Parametricity as isomorphism. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP, Rosolini G (1994). Reflexive Graphs and Parametric Polymorphism. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Freyd PJ, Robinson EP, Rosolini G (1992). Dinaturality for free. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Freyd PJ, Robinson EP, Rosolini G (1992). Functorial Parametricity. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Power AJ, Robinson EP (1991). A characterization of pie limits. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP, Rosolini G (1990). Colimit completions and the effective topos. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Hyland JME, Robinson EP, Rosolini G (1990). Algebraic types in PER models. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP, Rosolini G (1990). Polymorphism, set theory and call-by-value. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Hyland JME, Robinson EP, Rosolini G (1990). The discrete objects in the effective topos. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Johnstone PT, Robinson EP (1989). A note on inequivalence of realizability toposes. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP (1989). How complete is PER?. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Blevis E, Jenkins MA, Robinson EP (1989). On Seeger’s Music Logic. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP, Rosolini G (1988). Categories of partial maps. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP (1987). Logical aspects of denotational semantics. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP (1987). The geometric theory of p-adic fields. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP, Rosolini G (1987). Two internal complete full subcategories of the effective topos. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP (1986). Powerdomains, modalities and the Vietoris monad. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP (1986). The p-adic spectrum. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP (1983). Stable theories of local rings. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Robinson EP (1982). Recovering the Zariski spectrum from the étale. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0