Support us | Visit us | Contact us
Differential intake of coloured substances by slime mould Physarum polycephalum in laboratory implementation of Kolmogorov-Uspenskii machine. Courtesy of Andrew Adamatzky.
Theo Murphy international scientific meeting organised by Dr Viv Kendon, Professor Susan Stepney and Dr Angelika Sebald.
Current computational theory deals almost exclusively with single models: classical, neural, analogue, quantum, etc. In practice, researchers use ad hoc combinations, realising only recently that these can be fundamentally more powerful than the individual parts. This meeting brings together theorists and practitioners of various types of computing, to engage in combining the individual strengths to produce powerful new heterotic devices.
Biographies of the key contributors are available below and you can also download a programme (PDF) . Recorded audio of the presentations will be available on this page shortly after the event.
A poster session will be held throughout the meeting alongside the schedule of presentations. If you are interested in submitting a poster, please email firstname.lastname@example.org with an abstract of the poster . The organisers will consider all abstracts offered and confirm acceptance by email. Please click here for guidance on presenting a poster.
This is a residential conference, which allows for increased discussion and networking. It is free to attend, however participants need to cover their accommodation and catering costs if required.
Places are limited, therefore pre-registration is essential. Please either:
Enquiries: Contact the events team
Dr Viv Kendon, University of Leeds, UK
Viv Kendon is a Reader in Quantum Computational Physics in the School of Physics and Astronomy at the University of Leeds, UK. She held a Royal Society University Research Fellowship until September 2012. She is a computational physicist who has worked in quantum information for the past 14 years. Her current research is on quantum computation, particularly using ancilla-driven and quantum walk systems, and on wider questions surrounding the physical limits of computation, both theoretical and practical.
Professor Susan Stepney, University of York, UK
Susan Stepney received an MA in Natural Sciences (Theoretical Physics) in 1979 and a PhD in Astrophysics in 1983, both from the University of Cambridge, UK.
From 1983 to 1984 she was a SERC post doctoral research fellow at the Institute of Astronomy, Cambridge, UK, involved in analytical and computational modelling of relativistically hot plasmas
From 1984 2002 she worked in commercial R&D. From 1984 to 1989 she was a Research Scientist at GEC-Marconi, and from1989 to 2002 she was a Consultant at Logica UK. Her industrial work was mostly in the area of formal methods. She was involved in the Z specification and proof of security- and financially-critical smart card products, Mondex and Multos, and was a member of the BSI/ISO Z Standardisation team.
Since 2002 she has been Professor of Computer Science at the University of York, UK, where she leads the Non-Standard Computation research group. Since 2012 she has been Director of the York Centre for Complex Systems Analysis.
Her current research interests include unconventional models of computation, hybrid computational systems, complex systems, emergence, bio-inspired computing, and computational simulation of biological systems.
Dr Angelika Sebald, University of York, UK
Biography not yet available
Professor Tony Hey CBE FREng, Microsoft Research, USA Rapporteur
As Vice President in Microsoft Research, Tony Hey is responsible for worldwide university research collaborations with Microsoft researchers. Hey is also responsible for the multidisciplinary eScience Research Group within Microsoft Research. Prior to joining Microsoft, Hey served as director of the UK's e-Science Initiative, managing the government's efforts to build a new scientific infrastructure for collaborative, multidisciplinary, data-intensive research projects. Before leading this initiative, Hey led a research group in the area of parallel computing and was Head of the School of Electronics and Computer Science, and Dean of Engineering and Applied Science at the University of Southampton.
Hey is a fellow of the UK's Royal Academy of Engineering and was awarded a CBE for services to science in 2005. He is also a fellow of the British Computer Society, the Institute of Engineering and Technology, the Institute of Physics, and the U.S. American Association for the Advancement of Science (AAAS). Tony Hey has written books on particle physics and computing and has a passionate interest in communicating the excitement of science and technology to young people. He has co-authored "popular" books on quantum mechanics and on relativity.
Dr Janet Anders, UCL/University of Exeter, UKQuantum and classical resources in measurement-based quantum computation
Dr Janet Anders is a Royal Society Dorothy Hodgkin research fellow with a research background in quantum information theory. After studying theoretical physics at the University of Potsdam in Germany, she joined the newly formed Quantum Information Group at the National University of Singapore. Completing her PhD in 2007, she moved to UCL in London first as a postdoc, and from 2009 as a research fellow. Recently she was appointed Lecturer at the University of Exeter, UK, where she will lead a new research group in quantum information theory. Dr Anders has made important contributions in the area of quantum computation, specifically measurement-based quantum computation, entanglement in quantum many-body systems and in quantum thermodynamics. She currently works with experimentalists to test classical and quantum dynamics in and out of equilibrium using optomechanical systems, and investigates quantum effects in proton transfer reactions.
Quantum physics is known to allow the implementation of powerful algorithms , however, the precise power increase over classical computation remains open. I will describe an insightful example where the computation relies on the interplay of two components - a restricted classical computer and its interaction with quantum correlated information. It turns out that quantum correlations can enhance the classical computer in such a way that it is able to compute problems beyond its own capability . The example belongs to a type of computation, measurement-based quantum computation, that has no counterpart in classical computing as the computation is driven by quantum measurements rather than gates. Future implementations of this model may require the combination of mobile information carriers that sequentially interact with a stationary register  or adiabatic implementations, where the random measurement is replaced by a deterministic evolution .
References:. Anders and Wiesner, Chaos 21, 037102 (2011). Anders and Browne, Phys Rev Lett 103, 070502 (2009). Kashefi et al, Theoretical Computer Science 430, 51 (2012). Antonio et al, arxiv 1309.1443 (2013)
Professor Klaus Mølmer, University of Aarhus, DenmarkHybrid quantum computers: a "one for all and all for one" approach with superconductors and spin ensembles
Professor Klaus Mølmer obtained his PhD in physics in 1990. His research interests include quantum optics, damping and dissipation in quantum physics, quantum measurements and metrology, cold atom physics and quantum information science. He is very active in science outreach and the author of a popular textbook and several articles in Danish about different aspects of quantum physics.
Since the 1994 discovery by Peter Shor that a quantum computer may factor large numbers efficiently, the potential for quantum computing has been recognized by a variety of public, strategic, and commercial organizations.
Quantum computing may be implemented with physical components that are already studied extensively in the laboratory: trapped ions, cold atoms, superconducting circuits, liquid and solid state spin ensembles, etc., and elementary gate operations and algorithms have already been demonstrated in experiments.
The basic challenge for quantum computing is to find and control a physical quantum system that offers rapid processing, long-time storage, scalability to a sufficient processor size, and means for intermediate or long distance communication. Since no single quantum system meets all these requirements, the concept of hybrid quantum technologies has emerged, where the different tasks are shared between physical components that are individually optimized for the different functions.
The interfacing of physical systems with very different spatial, temporal and energetic properties presents a big challenge in itself. By means of a recent successful example involving superconducting circuits and atomic spin degrees of freedom I shall give an illustrative example of how that challenge may be met.
Dr Matthias Bechmann, Johannes Kepler University Linz, AustriaNMR classical computation (expt)
Matthias Bechmann was awarded Dipl.-Phys. 1999 at University of Bayreuth, and Dr rer nat 2005, at Bavarian Research Institute of Experimental Geochemistry and Geophysics, Bayreuth, Germany. He was postdoctoral fellow, University of Dortmund, 2005-2006; postdoctoral fellow, University of York, UK, 2006-2011; experimental officer, NMR center University of York, UK, 2011-2012; and research scientist, Kepler University Linz, AT, 2013-present. Approximately 25 publications and current research interests are: Methodolody of solid-state NMR and its application to biological systems; evolutionary optimisation techniques; and computation by nuclear spins.
Nuclear magnetic resonance (NMR) spectroscopy has been very successful, both for its role as spectroscopic tool to determine molecular structure on one side and as a test case for the quantum mechanical description of spins and their dynamics on the other. Precise measurement of the dynamics of spin-system ensembles is today facilitated by a high level of hardware engineering that has been put into the hardware. This all together made NMR also very attractive as a means for researching quantum computing.
Here the potential of such NMR spectrometers to implement classical computational paradigms is demonstrated. This scenario then makes it possible to combine and assess quantum and classical contributions to "computation" in a single experimental set-up.
Dr Damien Woods, Caltech, USATheory and practice of molecular computing with DNA
Damien Woods is a Senior Postdoctoral Scholar in Computer Science, and The Molecular Programming Fellow, at Caltech, USA. His areas of research include the theory and practice of molecular self-assembly and self-replication, molecular robotics, simulation and intrinsic universality in self-assembly, and the computational complexity of cellular automata, small universal Turing machines, Boolean circuits and optical computers. He uses the theory of computation to understand biological, chemical and physical mechanisms.
Recent work includes developing simulation and intrinsic universality as tools to characterise the computational power of molecular self-assembly systems, and developing a theory of active robotic self-assembly that includes non-local molecular motor movement. Woods has taken to the wet-lab and works on the origin of life with Winfree and Yurke. His PhD explored the computational power of optical computers and, with Naughton, he defined and analyzed physically-inspired optical computing resources. With Murphy he worked on the complexity of Boolean circuits and membranes systems, answering an open question. With Neary he worked on simple models of computation, answering open questions about the time efficiency of small universal Turing machines and the cellular automaton Rule 110, while finding some of the smallest and fastest programs capable of general-purpose computation.
One of the main aims of molecular engineering and computation is to control the structure and dynamics of molecular systems at the nanoscale. We'd like to design systems that are robust to fluctuations in temperature, fluid flow and other uncontrolled factors, yet consist of millions of interacting components. DNA is a versatile and programmable material that meets these criteria. The kinetics and thermodynamics of DNA are reasonably well-understood, and through straightforward Watson-Crick base-pairing interactions we can program this material to create complicated shapes and patterns, as well as to have intricate, even algorithmic, chemical dynamics, all at nanoscale spatial resolution. In this talk, I will give an overview of the state of the art with an emphasis on programability, abilities and limitations of these chemical systems. I will describe how computer science and biology can inspire us about which molecular systems we should try to build next, and how we can use mathematical and algorithmic thinking to give us the tools to control a cacophony of interacting molecules by simply letting them interact in a hands-off self-assembling fashion.
Professor Ottoline Leyser CBE FRS, Sainsbury Laboratory, University of Cambridge UKRapporteur
Ottoline Leyser is Professor of Plant Development and Director of the Sainsbury Laboratory at the University of Cambridge. Her research uses the control of shoot branching in Arabidopsis as a model system to understand plant developmental plasticity and the role of plant hormones in integrating endogenous and environmental inputs into developmental regulation. The aim is to understand how local and systemic signalling mechanisms give rise to environmentally sensitive shoot system architectures, an endeavour that is increasingly dependent on computational modelling to understand the dynamic networks involved.
Ottoline received her BA (1986) and PhD (1990) in Genetics at the University of Cambridge. After a period of post-doctoral research at Indiana University, she returned to the UK and took up a Lectureship at the University of York (1994), where worked until moving to the new Sainsbury Laboratory University of Cambridge, in 2011. She is a Fellow of the Royal Society, a Member of EMBO and a Foreign Associate of the US National Academy of Sciences. She was awarded a CBE in the 2009 New Year Honours list.
Professor Natasha Jonoska, University of South Florida, USASelf-similarity and recursion in algorithmic DNA self-assembly
Natasa Jonoska is a professor at the Department of Mathematics and Statistics at University of South Florida. Her research interests are in theoretical and computational models of self-assembly and molecular biology. She holds bachelor of science degrees in mathematics and computer science from the University of `Cyril and Methodius' in Skopje, Macedonia and a PhD degree in Mathematical sciences from the State University of New York in Binghamton.
She has been awarded the Tulip Award in DNA Computing and Molecular Programming awarded by the International Society for Nanoscale Science and Computing in 2007. Currently, she serves as a Chair of the Steering Committee for the annual DNA Computing and Molecular Programming conference and also co-chairs the steering committee of the annual Unconventional Computing and Natural Computing conference. She serves on editorial board of Theoretical Computer Science, Natural Computing, Computability, International Journal of Foundations of Computer Science and has edited several books on these topics.
Recursive processes and self-similarity of form and function can be seen in many natural phenomena. Although controlled algorithmic self-assembly, in particular DNA self-assembly has shown grand progress in recent years, controlling the assembly to achieve recursive growth has been difficult. In this presentation we will discuss recent advances in bimolecular computing. Then we will show a model where the building blocks of the assembly process are capable of transmitting and receiving binding site activation signals thereby accomplishing assembly in stages. Within this model, we show how a recursive assembly of archetypal self-similar aperiodic structures can be realized. We also present recent experimental results supporting the model.
Professor Andrew I Adamatzky, University of the West of England, UKPhysarum computing: from reaction-diffusion to slime mould
Andrew I Adamatzky is Professor in Unconventional Computing in the Department of Computer Science and Director of the Unconventional Computing Centre, University of the West of England, Bristol. He does research in reaction-diffusion computing, cellular automata, physarum computing, massive parallel computation, applied mathematics, collective intelligence and robotics, bionics, computational psychology, non-linear science, novel hardware, and future and emergent computation. He authored over 250 papers and 7 research monographs, edited 10 research monographs.
Natural systems show numerous, often unconventional, ways of information processing, which are adopted, exploited, mimicked in computer software and engineering devices. Despite the profound potential offered by unconventional computing, only a handful of experimental prototypes are reported so far, for example gas-discharge analog path finder; maze-solving micro-fluidic circuits; geometrically constrained chemical computers; chemical reaction--diffusion processors; maze-solving chemo-tactic droplets; enzyme-based logical circuits; spatially extended crystallization computers for optimization and computational geometry; molecular logical gates and circuit. In my talk I will discuss three families of growing pattern based computing devices: reaction-diffusion computers, crystallisation-based computers and slime mould computers. I will demonstrate how classical tasks of computational geometry and optimisation (Voronoi diagram, Delaunay triangulation, spanning trees, relative neighbourhood graphs, beta-skeletons) can be approximated by excitation (Belousov-Zhabotinsky medium), crystallisation in supersaturated solutions and biological growth patterns in slime mould of P. polycephalum propagating in a quasi two-dimensional space and interacting with each other. I will explain how logical circuits can be implemented using collision-based computing paradigm executed in simulated and experimental laboratory non-linear media computers; and, present experimental designs of binary adders implemented in excitable chemical medium and slime mould.
Professor Alan Murray, University of Edinburgh, UKToward a 'Siliconeural' computer: technological successes and challenges
Alan Murray is Professor of Neural Electronics and Dean of Students for Science and Engineering at the University of Edinburgh. He introduced the Pulse Stream method for analogue neural VLSI in 1985. Murray’s interests are now in (a) biologically-inspired computational forms (particularly in VLSI hardware), where noise and overt temporal behaviour are important, (b) direct interaction between silicon and real neuronal cells and networks and (c) biomedical electronics.
Murray is a Fellow of HEA, IET, IEEE and the Royal Society of Edinburgh and has published over 300 academic papers.
“Neural Networks” were, in the 1980s, viewed, very naively, as a potential panacea for all computational problems that did not fit well with conventional computing. The field bifurcated during the 1990s into a highly-successful and much more realistic machine learning community and an equally pragmatic biologically-oriented “Neuromorphic computing” community. Algorithms found in nature that use the non-synchronous, spiking nature on neuronal signals have been found to be (a) implementable efficiently in silicon and (b) computationally useful. As a result, interest has grown in techniques that could create mixed “siliconeural” computers. This talk will describe the computational path that leads to this research focus, which also has clear implications for prosthetics and “bionics”. The challenges and successes in both (neuron-on-silicon) cell guidance and cell interfacing will be described, along with the remaining difficult questions that this effort poses.
Professor Malcolm Levitt FRS, University of Southampton, UK Rapporteur
Prof Malcolm H Levitt FRS, School of Chemistry, University of Southampton, UK: Undergraduate education (Chemistry) at Oxford University, BA (1978), DPhil (1981) on Nuclear Magnetic Resonance with Ray Freeman. Postdoctoral research at the Weizmann Institute, Israel (with Shimon Vega) and ETH-Zürich (with Richard Ernst). Research staff member of the Francis Bitter Magnet Lab, MIT (1985-1990). Research fellow in superconductivity research in Cambridge, UK, 1991. Lecturer then professor at Stockholm University, Sweden (1991-2001). Professor in Physical Chemistry at the University of Southampton since 2001. Honours include the LATSIS prize of the ETH-Zürich (1985), the Göran Gustafsson prize in Chemistry (1996), Fellowship of the Royal Society (2007), and the Laukien prize in magnetic resonance (2008).
Professor Jerzy Górecki, Institute of Physical Chemistry of the Polish Academy of Sciences Warsaw, Poland Chemical computing with Belousov-Zhabotinsky Reaction
Jerzy Gorecki is a professor at the Institute of Physical Chemistry of the Polish Academy of Sciences. At the Institute he heads the Department of Complex Systems and Chemical Processing of Information. He also works as a teaching professor at the Department of Mathematics and Natural Sciences of Cardinal Stefan Wyszynski University in Warsaw. He received his doctorate in physics the from Institute of Physical Chemistry of the Polish Academy of Sciences in 1984 for quantum theory of resistivity of liquid metals. After postdoctoral position at Manchester University, UK and visiting professor position at Institute of Molecular Science in Okazaki, Japan he received habilitation in theoretical physics from the Department of Mathematics and Physics of the Jagiellonian University in Cracow. His main research interests are unconventional computing, especially with a chemical medium, fluctuations in nonequilibrium chemical systems and computer algorithms for large scale simulations of nonequilibrium effects associated with chemical reactions.
My presentation will be concerned with information processing based on a specific type of highly nonlinear chemical photosensitive medium. A photosensitive variant of Belousov-Zhabotinsky (BZ) reaction has been considered as an interesting substrate for unconventional computing since the publication of image processing algorithm proposed by Kuhnert, Agladze and Krinsky in 1989. In my opinion this substrate nicely fits into the field of heterotic computing because information processing operations are performed by a chemical reaction, whereas input, readout and feedback can be executed through system illumination. In the following years more information processing applications of photosensitive BZ reaction have been studied. The basic signal processing devices, like logic gates or signal filters, can be made with non-homogenously illuminated medium. The recent studies on lipid droplets containing reagents of BZ reaction bring another dimension to the field. In early experiments the geometrical structure of illuminated and non-illuminated regions were generated by an experimentalist. Droplets are mobile thus the required structure can spontaneously appear at a specific nonequilibrium state. During my presentation I will discuss the perspectives of such approach.
Dr Jacob Beal, BBN Technologies, USASpatial computing: a unifying approach to computational materials
Dr Jacob Beal is a scientist at BBN Technologies, a research affiliate of MIT, and a Science Commons Fellow. His research interests center on the engineering of robust adaptive systems, with a focus on problems of modelling and control for spatially-distributed systems like sensor networks, robotic swarms, and natural or engineered biological cells. Dr. Beal completed his PhD in 2007 under Professor Gerald Jay Sussman at the MIT Computer Science and Artificial Intelligence Laboratory.
Throughout the course of the 20th century, revolutions in electronic hardware and programming abstractions encouraged us to consider a computer as an abstract box that information flows into and out of. By now, however, we have progressed to the point where the harsh realities of physics and the expanding frontier of non-silicon computing platforms is dissolving that abstraction. In the emerging new world, a computational system is not a single device, but a space-filling material, with communication, computation, interaction with the physical world distributed throughout. Continuous space-time abstractions provide a unifying model for approaching such computational materials, even when the devices comprising the material are a mixture of different substrates and different scales in space and time. I will illustrate this discussion with examples from sensor networks, robotic swarms, and synthetic biology.
Professor Lee Cronin, University of Glasgow, UKTowards the assembly and programming of chemical computers
The focus of Cronin’s work is understanding and controlling self-assembly and self-organisation in Chemistry to develop functional molecular and nano-molecular chemical systems; linking architectural design with function and recently engineering system-level functions (eg coupled catalytic self-assembly, emergence of inorganic materials and fabrication of inorganic cells that allow complex cooperative behaviours). Much of this work is converging on exploring the assembly and engineering of emergent chemical systems. One target is the development of ‘inorganic biology’ i.e. a biological system beyond the naturally occurring ‘organic biology’ found on planet earth. It is also worth pointing out that the expertise in the Cronin group is unique bringing together chemists, chemical engineers, reaction modelling, complex system modelling, evolutionary theory, synthetic biology, robotics and AI.
The construction of complex chemical systems capable of computation is a fantastic challenge due to the ambiguity regarding the definition of the inputs, outputs and processing functions. We could attempt to build systems that are analogous to silicon computers, or use programming techniques that utilise the features of available chemistry set. In my talk I will outline a road map that aims to use a hybrid chemo-robotic system that will program the physical chemical system using a range of different algorithms doing the computation in chemical space rather than in silico. I will present several new robotic platform that integrates chemistry, algorithms, and sensor systems allowing us to view processes like self-assembly, self-organisation as higher processing functions. From embodied evolution to hybrid chemo-silico computions using molecules as addressable computing elements, we will explore what problems can be solved and how hybrid chemical-silicon computing could define a new computing paradigm.
Dr Julian Miller, University of York, UKEvolution in materio: evolving computation in materials
Julian F Miller, has a BSc in Physics (Lond), a PhD in Nonlinear Mathematics (City) and a PGCLTHE (Bham) in Teaching. He is an academic in the Department of Electronics at the University of York. He has chaired or co-chaired fifteen international workshops, conferences and conference tracks in Genetic Programming (GP), Evolvable Hardware. He is a former associate editor of IEEE Transactions on Evolutionary Computation and an associate editor of the Journal of Genetic Programming and Evolvable Machines and Natural Computing. He is on the editorial board of the journals: Evolutionary Computation, International Journal of Unconventional Computing and Journal of Natural Computing Research. He has publications in genetic programming, evolutionary computation, quantum computing, artificial life, evolvable hardware, computational development, and nonlinear mathematics. He is a highly cited author with over 4,000 citations and over 210 publications in related areas. He has given nine tutorials on genetic programming and evolvable hardware at leading conferences in evolutionary computation. He received the prestigious EvoStar award in 2011 for outstanding contribution to the field of evolutionary computation. He is the inventor of a highly cited method of genetic programming known as Cartesian Genetic Programming and edited the first book on the subject in 2011.
Can digital computers help us create new analogue computational devices?
Evolution in materio is concerned with the manipulation of a physical system by computer controlled evolution (CCE). It is a general method for obtaining analogue computational devices by utilizing physical effects that a human programmer need not be aware of.
Although a form of this methodology was hinted at in some work of Gordon Pask in the late 1950s it was not convincingly demonstrated until 1996 by Adrian Thompson, who showed that physical properties of a digital chip could be exploited by computer controlled evolution. Subsequently, it has been shown that computer controlled evolution can be used to obtain specific analogue computation in a non-silicon based physical material (liquid crystal). Currently, work is in progress to extend the technique and show that computational processors can be evolved using a range of material systems (e.g. carbon nanotubes, nanoparticles).
The talk reviews past work in the field, discusses the advantages and disadvantages and the challenges that still remain.
Professor Sir Tony Hoare FREng FRS, Microsoft Research Ltd, Cambridge, UKRapporteur
Tony Hoare has an MA from Oxford University in the Humanities (1964-1966). His studies included Latin and Greek languages, literature, history and philosophy. He was attracted to a career in computing by its relevance for the philosophy of Mathematics. His first employment (1960-68) was as a programmer at Elliott Brothers (London) Ltd. He moved an academic career at the Queen’s University, Belfast, and later (1977) to Oxford University. On retirement in 1999, he moved back to Industry as a Senior Researcher at Microsoft Research Ltd., Cambridge.
Professor Susan Stepney, University of York, UKHeterotic computing
Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. But such in materio devices are often limited, special purpose machines. To be practically useful, unconventional devices are usually be combined with classical computers or control systems. However, there is currently no established formal way to do this, or to combine different unconventional devices.
I will describe heterotic unconventional computation, a proposed approach that focusses on combinations of unconventional and conventional devices. I will outline a framework suitable for combining diverse unconventional computational devices in a way that respects the intrinsic computational power of each, whilst yielding a hybrid device that is capable of more than the sum of its parts. I will give some potential examples of how this framework could be populated with specific unconventional computing substrates.
Professor Samson Abramsky FRS, University of Oxford, UKTheoretical frameworks
Samson Abramsky is Christopher Strachey Professor of Computing and a Fellow of Wolfson College, Oxford University. Previously he held chairs at the Imperial College of Science, Technology and Medicine, and at the University of Edinburgh.He holds MA degrees from Cambridge and Oxford, and a PhD from the University of London.He is a Fellow of the Royal Society (2004), a Fellow of the Royal Society of Edinburgh (2000), and a Member ofAcademia Europaea (1993). He is a member of the Editorial Boards of the North Holland Studies in Logic and the Foundations of Mathematics, and of the Cambridge Tracts in Theoretical Computer Science. He was General Chair of LiCS 2000-2003, and is currently a member of the LiCS Organizing Committee.His paper "Domain theory in Logical Form'' won the LiCS Test-of-Time award (a 20-year retrospective) for 1987. The award was presented at LiCS 2007. He was awarded an EPSRC Senior Research Fellowship on Foundational Structures and Methods for Quantum Informatics in 2007.He was the Clifford Lecturer at Tulane University in 2008.He was awarded the BCS Lovelace Medal in 2013.He has played a leading role in the development of game semantics, and its applications to the semantics of programming languages. Other notable contributions include his work on domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and geometry of interaction. More recently, he has been working on high-level methods for quantum computation and information.
Book prize event 6 Mar
History of science lecture 7 Mar
Enter your email address to receive updates about scientific meetings at the Royal Society
Full listing of our events and exhibitions.
Watch videos of past events.
Most of our talks are free and open to the public.
We host major conferences for leading scientists.
Explore our annual science exhibition
Contact the events team.