4 ms·
Sounds exciting, but also a little scary. I'm imagining a biological variant of eg. Verilog or VHDL, as this seems like the kind of domain where tools that all
by FLT8 3y ago
Sounds exciting, but also a little scary.
I'm imagining a biological variant of eg. Verilog or VHDL, as this seems like the kind of domain where tools that allow for formal verification would be highly desirable.
- stultissimus 3y agoThis has actually been done for genetic circuits in E coli (bacteria) by Chris Voight's lab at MIT. Their platform is called Cello [1], and it enables interoperation between Verilog/HDL and genetic code. This kind of thing has not yet reached practical utility in human cell engineering, but companies like Asimov [2] are pushing hard in that direction [1] https://www.cidarlab.org/cello https://www.cidarlab.org/cello [2] https://www.asimov.com/ https://www.asimov.com/