Talk title: Programming with Chemical Reactions
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/
When: Thursday, November 22, 2018 at 16:00 c.t.
Where: Seminar room Zemanek, Favoritenstrasse 9-11, 1040 Vienna, ground floor.
Add this talk to your calendar.: http://www.vcla.at/category/talks/
With best regards,
Theory and Logic Group, with a kind support of Vienna Center for Logic and Algorithms