You are here

Logic

DNA Computation Gets Logical at the Weizmann Institute of Science
03.08.2009
An advanced program for the world's smallest computers, made of DNA and other biological molecules, enables them to ‘...
Prof. Amir Pnueli
07.11.1996
REHOVOT, Israel -- November 7, 1996 -- A Weizmann Institute of Science mathematician, Prof. Amir Pnueli, has been named the...