1 Search Results for "Dalchau, Neil"


Document
Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)

Authors: Yaakov Benenson, Neil Dalchau, Heinz Koeppl, and Oded Maler

Published in: Dagstuhl Reports, Volume 8, Issue 2 (2018)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18082 "Formal Methods for the Synthesis of Biomolecular Circuits". Synthetic biology aims for the rational bottom-up engineering of new biological functionalities. Recent years have witnessed an increase in the degree of "rationality" in the design of synthetic biomolecular circuits. With it, fewer design-build-test cycles were necessary to achieve a desired circuit performance. Most of these success stories reported the realization of logic circuits, typically operating via regulation of gene expression and/or direct manipulation of DNA sequences with recombinases, executing combinatorial and sometimes sequential logic. This was often achieved with the help of two ingredients, a library of previously well-characterized parts and some computational modeling. Hence, although circuits in synthetic biology are still by far less understood and characterized than electronic circuits, the opportunity for the formal synthesis of circuit designs with respect to a behavioral specification starts to emerge in synthetic biology.

Cite as

Yaakov Benenson, Neil Dalchau, Heinz Koeppl, and Oded Maler. Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082). In Dagstuhl Reports, Volume 8, Issue 2, pp. 88-100, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{benenson_et_al:DagRep.8.2.88,
  author =	{Benenson, Yaakov and Dalchau, Neil and Koeppl, Heinz and Maler, Oded},
  title =	{{Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)}},
  pages =	{88--100},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{2},
  editor =	{Benenson, Yaakov and Dalchau, Neil and Koeppl, Heinz and Maler, Oded},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.2.88},
  URN =		{urn:nbn:de:0030-drops-92912},
  doi =		{10.4230/DagRep.8.2.88},
  annote =	{Keywords: Synthetic biology, Electronic design automation, Program synthesis and verification}
}
  • Refine by Author
  • 1 Benenson, Yaakov
  • 1 Dalchau, Neil
  • 1 Koeppl, Heinz
  • 1 Maler, Oded

  • Refine by Classification

  • Refine by Keyword
  • 1 Electronic design automation
  • 1 Program synthesis and verification
  • 1 Synthetic biology

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail