プログラム検証・プログラム合成のVS3とかをやっていた Saurabh Srivastava が 20n.com というバイオ系のベンチャーを始めていたことを知り、ちょっとビックリ。

http://20n.com/

化学物質を生産する微生物を遺伝子工学で作り出す20nがY Combinatorから孵化
http://jp.techcrunch.com/2015/02/27/2015022620n/