Personal tools
You are here: Home Events Milner Lectures

Milner Lectures




2018 Milner Lecture: Speaker Georg Gottlob, Date TBC

2017 Milner Lecture


Wednesday 31 May 2017, 4pm

Title: Telling Molecules What To Do

cardelli molecules

Speaker: Luca Cardelli

Microsoft Research & University of Oxford

Kara picture


Abstract: Digital computers allow us to manipulate information systematically, leading to recent advances in our ability to structure our society and to communicate in richer ways. They also allow us to orchestrate physical forces, transforming and optimizing our manufacturing processes. What they cannot do very well, is to interact directly with biological organisms or in general orchestrate molecular arrangements. Thanks to biotechnology, nucleic acids (DNA/RNA) are particularly effective 'user-programmable' entities at the molecular scale. They can be directed to assemble nano-scale structures, to produce physical forces, to act as sensors and actuators, and to do general computation in between. We will be able to interface them with biological machinery to detect and cure diseases at the cellular level under program control. The theory of computability directed the design of digital computers, and it can now inform the development of new computational fabrics, at the molecular level, that will eventually give us control of an entirely new domain of reality.


Biography: Luca Cardelli received his Ph.D. in computer science from the University of Edinburgh in 1982. He subsequently worked at Bell Labs ('82-'85) and at the DEC Systems Research Centre ('85-'97).  He is currently a Principal Researcher at Microsoft Research, in Cambridge UK, where he headed the Programming Principles and Tools and Security groups until 2012. Since 2014 he is also a Royal Society Research Professor at the University of Oxford. His research interests are in programming languages and concurrency, and more recently in molecular programming and systems biology. He is a Fellow of the Royal Society, a Fellow of the Association for Computing Machinery, and an Elected Member of the Academia Europaea.



Past Lectures




Document Actions