kobi benenson supervisor: ehud shapiro, dept of computer science & applied math ...
DESCRIPTION
A nanoscale programmable computing machine with input, output, software and hardware made of biomolecules Nature 414 , 430-434 (2001). Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements: Ehud Keinan (Technion), Zvi Livneh (WIS), - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/1.jpg)
A nanoscale programmable computing machine with input, output, software and hardware made of biomolecules
Nature 414, 430-434 (2001) Kobi Benenson
supervisor:
Ehud Shapiro, Dept of Computer Science & Applied Math
Acknowledgements:Ehud Keinan (Technion), Zvi Livneh (WIS), Tami Paz-Elizur (WIS), Rivka Adar (WIS), Aviv Regev (WIS),Irith Sagi (WIS), Ada Yonath (WIS)
![Page 2: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/2.jpg)
“Medicine in 2050: Doctor in a Cell”
Programmable Computer
Molecular Input
Molecular Output
![Page 3: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/3.jpg)
Research goal:
Design a simplest non-trivial molecular computing machine (two-state two-symbol finite automaton) that works on engineered inputs
![Page 4: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/4.jpg)
Finite automaton: an example
An even number of b’s
S0, a S0S0, b S1S1, a S1S1, b S0
S1S0
b
a
b
a
Two-states, two-symbols automaton
![Page 5: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/5.jpg)
Automaton 1
b a b
S0, a S0S0, b S1S1, a S1S1, b S0
An even number of b’s
S0
![Page 6: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/6.jpg)
Automaton 1
b a b
S0, a S0S0, b S1S1, a S1S1, b S0
An even number of b’s
S0
S0, b S1
![Page 7: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/7.jpg)
Automaton 1
a b
S0, a S0S0, b S1S1, a S1S1, b S0
An even number of b’s
S1
![Page 8: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/8.jpg)
Automaton 1
a b
S0, a S0S0, b S1S1, a S1S1, b S0
An even number of b’s
S1
S1, a S1
![Page 9: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/9.jpg)
Automaton 1
b
S0, a S0S0, b S1S1, a S1S1, b S0
An even number of b’s
S1
![Page 10: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/10.jpg)
Automaton 1
b
S0, a S0S0, b S1S1, a S1S1, b S0
An even number of b’s
S1
S1, b S0
![Page 11: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/11.jpg)
Automaton 1
S0, a S0S0, b S1S1, a S1S1, b S0
An even number of b’s
S0
The output
![Page 12: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/12.jpg)
Rationale for the molecular design
![Page 13: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/13.jpg)
bCGCAGCGCGTCGaCTGGCT
GACCGA
Rationale for the molecular design
![Page 14: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/14.jpg)
bCGCAGCGCGTCGaCTGGCT
GACCGA
CAGC
GGCT
S0, a
Rationale for the molecular design
S0, b
![Page 15: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/15.jpg)
bCGCAGCGCGTCGaCTGGCT
GACCGA
CAGC
GGCT
S0, a S0, b
CGCAGC CG
CTGGCT GA
S1, a S1, b
Rationale for the molecular design
![Page 16: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/16.jpg)
TransitionsTransitions
a b t
CAGCCTGGCTCGCAGCTGTCGC GACCGAGCGTCGACAGCG
S0, b
Rationale for the molecular design
![Page 17: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/17.jpg)
S0, b S1
TransitionsTransitions
a b t
CAGCCTGGCTCGCAGCTGTCGC GACCGAGCGTCGACAGCG
S0, b
Rationale for the molecular design
![Page 18: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/18.jpg)
TransitionsTransitions
b t
CTGGCTCGCAGCTGTCGC GAGCGTCGACAGCG
S1, a
Rationale for the molecular design
S0, b S1
![Page 19: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/19.jpg)
TransitionsTransitions
b t
CTGGCTCGCAGCTGTCGC GAGCGTCGACAGCG
S1, a
Rationale for the molecular design
S1, a S1
![Page 20: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/20.jpg)
S1, a S1
TransitionsTransitions
t
CGCAGCTGTCGC CGACAGCG
S1, b
Rationale for the molecular design
![Page 21: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/21.jpg)
S1, b S0
TransitionsTransitions
t
CGCAGCTGTCGC CGACAGCG
S1, b
Rationale for the molecular design
![Page 22: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/22.jpg)
S1, b S0
TransitionsTransitions
TCGC
S0, t
Rationale for the molecular design
![Page 23: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/23.jpg)
Output: S0
TransitionsTransitions
TCGC
S0, t
Rationale for the molecular design
![Page 24: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/24.jpg)
Transition procedure: a conceptTransition procedure: a concept
a b t
CAGCCTGGCTCGCAGCTGTCGC GACCGAGCGTCGACAGCG
S0, b
Rationale for the molecular design
![Page 25: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/25.jpg)
Transition procedure: a conceptTransition procedure: a concept
a b t
CAGCCTGGCTCGCAGCTGTCGC GACCGAGCGTCGACAGCG
S0, b
GTCG
4 nt
8 nt
S0, b -> S1
Rationale for the molecular design
![Page 26: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/26.jpg)
Transition procedure: a conceptTransition procedure: a concept
b t
CAGCCTGGCTCGCAGCTGTCGC GACCGAGCGTCGACAGCGGTCG
4 nt
8 nt
S0, b -> S1
Rationale for the molecular design
![Page 27: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/27.jpg)
Transition procedure: a conceptTransition procedure: a concept
b t
CTGGCTCGCAGCTGTCGC GAGCGTCGACAGCG
S0, b -> S1
S1, a
Rationale for the molecular design
![Page 28: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/28.jpg)
Transition procedure: a conceptTransition procedure: a concept
b t
CTGGCTCGCAGCTGTCGC GAGCGTCGACAGCG
S1, a -> S1
S1, a
Rationale for the molecular design
![Page 29: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/29.jpg)
Transition procedure: a conceptTransition procedure: a concept
b t
CTGGCTCGCAGCTGTCGC GAGCGTCGACAGCG
S1, a -> S1
S1, a
GACC
6 nt
10 nt
Rationale for the molecular design
![Page 30: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/30.jpg)
Transition procedure: a conceptTransition procedure: a concept
t
CTGGCTCGCAGCTGTCGC GAGCGTCGACAGCG
S1, a -> S1
GACC
6 nt
10 nt
Rationale for the molecular design
![Page 31: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/31.jpg)
Transition procedure: a conceptTransition procedure: a concept
t
CGCAGCTGTCGC CGACAGCG
S1, a -> S1
S1, b
Rationale for the molecular design
![Page 32: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/32.jpg)
Transition procedure: a conceptTransition procedure: a concept
t
CGCAGCTGTCGC CGACAGCG
S1, b -> S0
S1, b
GCGT
8 nt
12 nt
Rationale for the molecular design
![Page 33: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/33.jpg)
Transition procedure: a conceptTransition procedure: a concept
CGCAGCTGTCGC CGACAGCG
S1, b -> S0
GCGT
8 nt
12 nt
Rationale for the molecular design
![Page 34: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/34.jpg)
Transition procedure: a conceptTransition procedure: a concept
TCGC
Output: S0
S0, t
Rationale for the molecular design
![Page 35: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/35.jpg)
In situIn situ detection detection
TCGC
Output: S0
S0, t
AGCG
Detection moleculefor S0 output
Rationale for the molecular design
![Page 36: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/36.jpg)
In situIn situ detection detection
TCGC
Output: S0
AGCGReporter moleculefor S0 output
Rationale for the molecular design
![Page 37: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/37.jpg)
Inside the transition molecule
S0,b -> S1
GTCG
4 nt
8 nt
![Page 38: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/38.jpg)
Inside the transition molecule
S0,b -> S1
GTCG
4 nt
8 nt
GGATGACGACCCTACTGCTG
FokI
![Page 39: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/39.jpg)
Inside the transition molecule
S0,b -> S1
GTCG
4 nt
8 nt
GGATGACGACCCTACTGCTG
9 nt
13 nt
FokI
![Page 40: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/40.jpg)
Inside the transition molecule
S0,b -> S1
GTCGGGATGACGACCCTACTGCTG
9 nt
13 nt
FokI
![Page 41: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/41.jpg)
![Page 42: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/42.jpg)
Inside the transition molecule
S1,a -> S1
GACC
6 nt
10 nt
![Page 43: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/43.jpg)
Inside the transition molecule
S1,a -> S1
GACC
6 nt
10 nt
GGATGACG CCTACTGC
9 nt
13 nt
FokI
![Page 44: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/44.jpg)
Inside the transition molecule
S1,a -> S1
GACC GGATGACG CCTACTGC
9 nt
13 nt
FokI
![Page 45: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/45.jpg)
Inside the transition molecule
S1,b -> S0
GCGT
8 nt
12 nt
![Page 46: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/46.jpg)
Inside the transition molecule
S1,b -> S0
GCGT
8 nt
12 nt
GGATGG CCTACC
9 nt
13 nt
FokI
![Page 47: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/47.jpg)
Inside the transition molecule
S1,b -> S0
GCGT GGATGG CCTACC
9 nt
13 nt
FokI
![Page 48: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/48.jpg)
Inside the transition molecule
GACC GGATGACG CCTACTGC
GTCGGGATGACGACCCTACTGCTG
GCGT GGATGG CCTACC
S0 -> S1
S0 -> S0
S1 -> S1
S1 -> S0
![Page 49: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/49.jpg)
Transition rules: complete list
![Page 50: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/50.jpg)
S0 S1
a a
b
A2: at most one b
b
A6: no a after b
S0 S1
a b
S0 S1
a
b
a
A4: no two consecutive b’s
S0
a
A5: only a’s
S0 S1
a a
b b
A3: at least one b
S0 S1
b a
a b
A7: starts with a and ends with b
Automata programs used to test the molecular implementation
![Page 51: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/51.jpg)
Transition molecules: complete list
![Page 52: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/52.jpg)
Input and detection molecules
![Page 53: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/53.jpg)
Experimental testing of automaton programs A1 – A6
![Page 54: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/54.jpg)
Computations over 6-symbol long input molecules
![Page 55: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/55.jpg)
Parallel computation
![Page 56: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/56.jpg)
Identification of the essential components
![Page 57: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/57.jpg)
Close inspection of the reaction intermediates
![Page 58: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/58.jpg)
An estimation of system fidelity
![Page 59: Kobi Benenson supervisor: Ehud Shapiro, Dept of Computer Science & Applied Math Acknowledgements:](https://reader035.vdocuments.us/reader035/viewer/2022062410/5681548a550346895dc2991a/html5/thumbnails/59.jpg)
Summary
• 1012 automata run independently and in parallel
• on potentially distinct inputs
• in 120 l
• at room temperature
• at combined rate of 109 transitions per second
• with accuracy greater than 99.8% per transition,
• consuming less than 10-10 Watt.