防崩溃代码
电脑会经常崩溃。如果计算机控制着交通工具或者医疗设备的关键系统，那么软件错误带来的结果可能是灾难性的。来自澳大利亚的一个研究员，他研究的是用一个数学方法对这个问题进行重新建模，通过对关键代码进行形式验证，从而使跟电脑有关的这些问题迎刃而解。
生物医学部分的癌症基因组研究
癌症现在依然是世界第二大杀手，我们知道是基因组出问题所致。这种技术就是要找到使得你患病的基因和变异，然后进行基因组排序，然后使治疗更有针对性。现在美国已有三到四种药物是采取这样的方式，它们的目标就是针对这些具体的变异。但这一技术未来的路还很长。
染色体分离技术
它的解决办法叫做微流控芯片，这是一个非常小的芯片，可以把染色体分开，这样就可以进行基因排序过程。用这个技术可以使药品更加有针对性，就和刚才提到癌症基因组有异曲同工之妙。未来投入应用它有可能治疗很多不治之症，比如帕金森症。
人工合成细胞技术
现在有一种全新的方式创造基因组，就是完全从零开始，然后又用一般的排序技术把它们接在一起，再用酵母菌把这些结合起来，制成完全人工合成细胞。未来可以用它们来造一些细菌，这些细菌可以生产石油、食品等很多事物。不过和很多先进技术一样，这个技术的长期影响还是很难预测的。
