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

Fish under the Influence Reveal How Psychedelics Work

Shaping the Role of Future Physician-Scientists

AI Flexes Its Muscles

Social Hierarchy: Even for Mice, It’s Complicated

Press Releases

Shaping the Role of Future Physician-Scientists

A Hundred Million Suns: The Most Complete Portrait of a Supernova

Fungus vs. Fungus: Newly Identified Yeast Might Prevent Life-Threatening Fungal Infections

Most Popular Articles

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.

Checking the Dosage

Prof. Yoram Groner is a pioneer in Down syndrome research

Let it Rain

Added particles in the atmosphere could be affecting rainfall patterns