Chemical reactions have been widely used to describe natural phenomena, but increasingly we are capable to use them to prescribe physical interaction, e.g. in DNA computing. Thus, chemical reaction networks can be used as programs that can be physically realized to produce and control molecular arrangements. Because of their relative simplicity and familiarity, and more subtly because of their computational power, they are quickly becoming a paradigmatic “programming language” for bioengineering. We discuss what can be programmed with chemical reactions, and how these programs can be physically realized.
Speaker: Luca Cardelli
Luca Cardelli is distinguished for his achievements which span areas such as software; language design, including experimental languages; programming language foundations; and the interaction of programming languages and biology. He is a Research Professor and Fellow of The Royal Society, an ACM Fellow, and an Elected Member of Academia Europaea and AITO. He was awarded the AITO Dahl-Nygaard Senior Prize in 2007.
Luca Cardelli worked in the USA at Bell Labs, Murray Hill, and at Digital Equipment Corporation, Systems Research Center in Palo Alto. Between 1997 to 2018 Cardelli was working at the Microsoft Research, in Cambridge UK, where he was the head of the Programming Principles and Tools and Security groups until 2012. Since 2013 he is a Royal Society Research Professor at the University of Oxford.
Personal website: http://lucacardelli.name/