Israeli computer scientist

Irit Dinur (Hebrew: אירית דינור) is an Israeli computer scientist. She is professor of computer science at the Weizmann Institute of Science .^{[1]} Her research is in foundations of computer science and in combinatorics , and especially in probabilistically checkable proofs and hardness of approximation .^{[2]}

Biography
Irit Dinur earned her doctorate in 2002 from the school of computer science in Tel Aviv University , advised by Shmuel Safra ; her thesis was entitled On the Hardness of Approximating the Minimum Vertex Cover and The Closest Vector in a Lattice .^{[3]} She joined the Weizmann Institute after visiting the Institute for Advanced Study in Princeton, New Jersey , NEC , and the University of California, Berkeley .

Dinur published in 2006 a new proof of the PCP theorem that was significantly simpler than previous proofs of the same result.^{[4]}

Awards and recognition
In 2007, she was given the Michael Bruno Memorial Award in Computer Science by Yad Hanadiv .^{[5]} She was a plenary speaker at the 2010 International Congress of Mathematicians .^{[6]} In 2012, she won the Anna and Lajos Erdős Prize in Mathematics , given by the Israel Mathematical Union .^{[7]} She was the William Bentinck-Smith Fellow at Harvard University in 2012–2013.^{[8]} In 2019, she won the Gödel Prize for her paper "The PCP theorem by gap amplification".^{[9]}

Winners of the Paris Kanellakis Theory and Practice Award

Adleman , Diffie , Hellman , Merkle , Rivest , Shamir (1996)
Lempel , Ziv (1997)
Bryant , Clarke , Emerson , McMillan (1998)
Sleator , Tarjan (1999)
Karmarkar (2000)
Myers (2001)
Franaszek (2002)
Miller , Rabin , Solovay , Strassen (2003)
Freund , Schapire (2004)
Holzmann , Kurshan, Vardi , Wolper (2005)
Brayton (2006)
Buchberger (2007)
Cortes , Vapnik (2008)
Bellare , Rogaway (2009)
Mehlhorn (2010)
Samet (2011)
Broder , Charikar , Indyk (2012)
Blumofe, Leiserson (2013)
Demmel (2014)
Luby (2015)
Fiat , Naor (2016)
Shenker (2017)
Pevzner (2018)
Alon , Gibbons , Matias , Szegedy (2019)
Azar, Broder , Karlin , Mitzenmacher , Upfal (2020)
Blum , Dinur , Dwork , McSherry , Nissim , Smith (2021)
Burrows , Ferragina, Manzini (2022)

Authority control databases

International National Academics