[X]
Cambridge University Computing and Technology Society
event / 33
Thu 24 Jan 2013, 6:00pm  |  Winstanley Lecture Theatre, Trinity College
Professor Luca Cardelli (Microsoft Research) speaks on
Nucleic acids (DNA/RNA) encode information digitally, and are currently the only truly 'user-programmable' entities at the molecular scale. They can be used to manufacture nano-scale structures, to produce physical forces, to act as sensors and actuators, and to do computation in between. Eventually we will be able to use them to design nanostructure at the bottom end of Moore's Law, and to interface them with biological machinery to detect and cure diseases at the cellular level under program control. The basic technology to create and manipulate these devices has existed for many years, but the imagination necessary to exploit them has been evolving slowly. Recently, some very simple computational schemes have been developed that are autonomous (run on their own once started) and involve only short (easily synthesizable) DNA strands with no other complex molecules.

We now need programming abstractions and tools that are suitable for molecular programming, and this requires a whole hierarchy of concepts to come together. Low-level molecular design is required to produce molecules that interact in the desired controllable ways. On that basis, we can then design various kinds of 'logic gates' and 'computational architectures', where much imagination is currently needed. We also need programming languages to organize complex designs both at the level of gate design, and at the level of circuit design. Since DNA computation is massively concurrent, some tricky and yet familiar programming issues arise: the need to formally verify circuit designs to avoid subtle deadlocks and race conditions, and the need to design high-level languages that exploit concurrency and stochasticity.

Miscellanea

Photos from the talk



Powered by HERDING CATS v1.0+b6ae1e4 (2018-06-13 15:31:13 +0100 nitrous) ©2011-2013 CUCaTS
"Share" font family by Ralph Oliver du Carrois
Hoodies and stash provided to CUCaTS by Ideasbynet.com.