Amir Pnueli

Prof. Amir Pnueli

Verifying correctness and reliability of computer hardware and software

25.11.2010

Math & Computer Science, Benefiting Humanity

Application

Prof. Adi Shamir. Encryption

Code for Success

01.10.2003

Math & Computer Science

Prof. Adi Shamir receives the world's most prestigious award in computer science

Prof. Adi Shamir

Prestigious Award in Computer Science to Weizmann Institute's scientist

15.04.2003

Prof. Adi Shamir, a computer scientist at the Weizmann Institute of Science, has been named a 2002 winner of the A.M. Turing...

Prof. Amir Pnueli

World's Most Prestigious Award in Computer Science to Weizmann Institute's Prof. Amir Pnueli

07.11.1996

REHOVOT, Israel -- November 7, 1996 -- A Weizmann Institute of Science mathematician, Prof. Amir Pnueli, has been named the...

Top Stories

Shedding Light on the Dark Hours

Credit: Coleen Murphy, Princeton University, Princeton, NJ

Cracking the Code of a Worm's Throat

“Eight Shining Examples of Excellence”

Burning Cancer’s Bridges

Press Releases

“Eight Shining Examples of Excellence”

The Weizmann Institute of Science Ranked among the World’s Top Ten Academic Institutions

A Discovery to Set Your Heart a-Knocking

Most Popular Articles

Checking the Dosage

Prof. Yoram Groner is a pioneer in Down syndrome research

Israeli Researchers to Participate in European Commission Flagship

The European Commission has officially announced the selection of the Human Brain Project (HBP) as one of its two Future Emerging Technologies (FET) Flagship projects.

The Limits of Computing

Computers can solve complex problems but they are far from omnipotent. Prof. Ran Raz of the Weizmann Institute's Computer Science and Applied Mathematics Department is trying to portray the limits...