Professor Edmund Robinson, MA MMath PhD FBCS CiTPProfessor of Computer ScienceEmail: e.p.robinson@qmul.ac.ukTelephone: +44 20 7882 5209Room Number: Peter Landin, CS 431Website: http://www.eecs.qmul.ac.uk/~edmundrTeachingResearchPublicationsTeachingComputer 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.ResearchResearch Interests:Logic, Category Theory, SemanticsPublications Pym D, Ritter E, Robinson E (publicationYear). Categorical Proof-theoretic Semantics. nameOfConference DOI: 10.1007/s11225-024-10101-9 QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/94524 Robinson E, Hermida C, Reddy U et al. (2022). Bisimulation as a logical relation. nameOfConference DOI: 10.1017/S0960129522000020 QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/77570 Andrew L-S, Oliva P, Robinson E (2020). Kripke Semantics for Intuitionistic Lukasiewicz Logic. nameOfConference DOI: 10.1007/s11225-020-09908-z QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/64072 Hermida C, Reddy US, Robinson EP (2019). Deriving Logical Relations from Interpretations of Predicate Logic. nameOfConference DOI: 10.1016/j.entcs.2019.09.013 QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/59054 Hermida C, Reddy US, Robinson EP (2014). Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages. nameOfConference DOI: 10.1016/j.entcs.2014.02.008 QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/64880 ROBINSON EP, Pym DJ, Ritter E (2012). A Proof-theoretic Analysis of the Classical Propositional Matrix Method. nameOfConference DOI: 10.1093/logcom/exs045 QMRO: qmroHref Collinson M, Pym D, Robinson E (2008). Bunched polymorphism. nameOfConference DOI: 10.1017/S0960129508007159 QMRO: qmroHref Bellin G, Hyland M, Robinson E et al. (2006). Categorical proof theory of classical propositional calculus. nameOfConference DOI: 10.1016/j.tcs.2006.08.002 QMRO: qmroHref Collinson M, Pym D, Robinson E (2005). On Bunched Polymorphism. nameOfConference DOI: 10.1007/11538363_5 QMRO: qmroHref Collinson M, Pym D, Robinson E (2005). On bunched polyrnorphism. nameOfConference DOI: 10.1007/11538363 QMRO: qmroHref Robinson E (2003). Proof nets for classical logic. nameOfConference DOI: 10.1093/logcom/13.5.777 QMRO: qmroHref ROBINSON EP (2002). Variations on Algebra: Monadicity and Generalisations of Equational Theories. nameOfConference DOI: 10.1007/s001650200014 QMRO: qmroHref ROBINSON EP, Rosolini G (2001). An abstract look at realizability. nameOfConference DOI: 10.1007/3-540-44802-0_13 QMRO: qmroHref Power AJ, Robinson EP (2000). Logical Relations and Data Abstraction. nameOfConference DOI: doi QMRO: qmroHref Power AJ, Robinson EP (2000). Logical Relations, Data Abstraction and Structured Fibrations. nameOfConference DOI: 10.1145/351268.351271 QMRO: qmroHref Power J, Robinson E (1999). Modularity and Dyads. nameOfConference DOI: doi QMRO: qmroHref Power J, Robinson E (1997). Premonoidal categories and notions of computation. nameOfConference DOI: 10.1017/S0960129597002375 QMRO: qmroHref Robinson EP (1996). Logical Relations and Data Abstraction. nameOfConference DOI: doi QMRO: qmroHref Robinson E (1994). Parametricity as isomorphism. nameOfConference DOI: 10.1016/0304-3975(94)00126-4 QMRO: qmroHref Robinson EP, Rosolini G (1994). Reflexive Graphs and Parametric Polymorphism. nameOfConference DOI: doi QMRO: qmroHref Freyd PJ, Robinson EP, Rosolini G (1992). Dinaturality for free. nameOfConference DOI: doi QMRO: qmroHref Freyd PJ, Robinson EP, Rosolini G (1992). Functorial Parametricity. nameOfConference DOI: doi QMRO: qmroHref Power AJ, Robinson EP (1991). A characterization of pie limits. nameOfConference DOI: 10.1017/S0305004100070092 QMRO: qmroHref Robinson EP, Rosolini G (1990). Colimit completions and the effective topos. nameOfConference DOI: doi QMRO: qmroHref Hyland JME, Robinson EP, Rosolini G (1990). Algebraic types in PER models. nameOfConference DOI: 10.1007/BFb0040266 QMRO: qmroHref Robinson EP, Rosolini G (1990). Polymorphism, set theory and call-by-value. nameOfConference DOI: doi QMRO: qmroHref Hyland JME, Robinson EP, Rosolini G (1990). The discrete objects in the effective topos. nameOfConference DOI: 10.1112/plms/s3-60.1.1 QMRO: qmroHref Johnstone PT, Robinson EP (1989). A note on inequivalence of realizability toposes. nameOfConference DOI: 10.1017/s0305004100001304 QMRO: qmroHref Robinson EP (1989). How complete is PER?. nameOfConference DOI: doi QMRO: qmroHref Johnstone PT, Robinson EP (1989). Mathematical Proceedings of the Cambridge Philosophical Society. nameOfConference DOI: 10.1017/S0305004100001304 QMRO: qmroHref Blevis E, Jenkins MA, Robinson EP (1989). On Seeger’s Music Logic. nameOfConference DOI: doi QMRO: qmroHref Robinson EP, Rosolini G (1988). Categories of partial maps. nameOfConference DOI: 10.1016/0890-5401(88)90034-X QMRO: qmroHref Robinson EP (1987). Logical aspects of denotational semantics. nameOfConference DOI: 10.1007/3-540-18508-9_29 QMRO: qmroHref Robinson EP (1987). The geometric theory of p-adic fields. nameOfConference DOI: doi QMRO: qmroHref Robinson EP, Rosolini G (1987). Two internal complete full subcategories of the effective topos. nameOfConference DOI: doi QMRO: qmroHref Robinson EP (1986). Powerdomains, modalities and the Vietoris monad. nameOfConference DOI: doi QMRO: qmroHref Robinson EP (1986). The p-adic spectrum. nameOfConference DOI: doi QMRO: qmroHref Robinson EP (1983). Stable theories of local rings. nameOfConference DOI: doi QMRO: qmroHref Robinson EP (1982). Recovering the Zariski spectrum from the étale. nameOfConference DOI: doi QMRO: qmroHref