TU Darmstadt / ULB / TUprints

Formal Methods for the Synthesis of Biomolecular Circuits

Benenson, Yaakov ; Dalchau, Neil ; Koeppl, Heinz ; Maler, Oded (2024)
Formal Methods for the Synthesis of Biomolecular Circuits.
In: Dagstuhl Reports, 8 (2)
doi: 10.26083/tuprints-00026921
Article, Secondary publication, Publisher's Version

[img] Text
Copyright Information: CC BY 3.0 Unported - Creative Commons, Attribution.

Download (732kB)
Item Type: Article
Type of entry: Secondary publication
Title: Formal Methods for the Synthesis of Biomolecular Circuits
Language: English
Date: 30 April 2024
Place of Publication: Darmstadt
Place of primary publication: Wadern
Publisher: Schloss Dagstuhl
Journal or Publication Title: Dagstuhl Reports
Volume of the journal: 8
Issue Number: 2
Event Title: Dagstuhl Seminar
Event Location: Dagstuhl, Wadern
Event Dates: 18.02. - 23.02.2018
DOI: 10.26083/tuprints-00026921
Corresponding Links:
Origin: Secondary publication service

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.

Uncontrolled Keywords: Synthetic biology, Electronic design automation, Program synthesis and verification
Identification Number: Seminar-ID: 18082
Status: Publisher's Version
URN: urn:nbn:de:tuda-tuprints-269214
Classification DDC: 000 Generalities, computers, information > 004 Computer science
500 Science and mathematics > 570 Life sciences, biology
600 Technology, medicine, applied sciences > 621.3 Electrical engineering, electronics
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute for Telecommunications > Bioinspired Communication Systems
18 Department of Electrical Engineering and Information Technology > Self-Organizing Systems Lab
Date Deposited: 30 Apr 2024 09:20
Last Modified: 30 Apr 2024 09:20
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/26921
Actions (login required)
View Item View Item