Crashing computers or smartphones and software security holes that allow hackers to steal millions of passwords could be prevented if it were possible to design and verify error-free software. Unfortunately, to date, this is a problem that neither engineers nor supercomputers can solve. One reason is that the computing power required to verify the correct function of a many types of software scales exponentially with the size of the program, so that processing speed, energy consumption and cooling of conventional microelectronic processors prevent current computers from verifying large programs.
The recently launched research project Bio4Comp aims to develop a biocomputer that can overcome the two main obstacles faced by today’s supercomputers: first, they use vast amounts of electric power – so much that the development of more powerful computers is hampered primarily by limitations in the ability to cool the processors.
Second, they cannot do two things at the same time. The EU now funds a project that will develop a computer based on highly efficient molecular motors that will use a fraction of the energy of existing computers, and that can tackle problems where many solutions need to be explored simultaneously.