Semantics of a DNA Strand Displacement Model

Add to your list(s) Download to your calendar using vCal

• Kathy Gray
• Monday 24 October 2011, 12:45-14:00
• FW26.

If you have a question about this talk, please contact Peter Sewell.

DNA strand displacement techniques have significant promise in the fields of medicine, bioengineering, etc. They are used to create biological circuits supporting a range of devices, including logic gates, architectures for universal computation, and chemical reaction networks. However a major challenge in the construction of these devices has been to enable sound automated analysis of high-level designs for complex devices.

The MSR Biology research group has been addressing these problems with a programming language and modeling tool to specify DNA circuits, simulate their chemical reactions, and analyze the designs. This talk presents the operational semantics for our language, which models the chemical reactions involved in DNA strand displacement circuits. We will begin with the basic reductions and structures, as well as present areas we are exploring to represent increasingly complex designs.

No knowledge of biology is expected.

This talk is part of the Semantics Lunch (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• School of Technology
• Semantics Lunch (Computer Laboratory)
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.