Irit Dinur

  1. Home
  2. Wiki
Irit Dinur
אירית דינור
Dinur in 2014
Alma materPhD Tel Aviv University
Awards
Scientific career
FieldsComputer Science, Complexity Theory
InstitutionsWeizmann Institute of Science
Institute for Advanced Study
Thesis (2001)
Doctoral advisorShmuel Safra
Websitewww.wisdom.weizmann.ac.il/~dinuri/

Irit Dinur (Hebrew: אירית דינור) is an Israeli computer scientist. She is professor of computer science at the Weizmann Institute of Science.[1] In 2024 she was appointed a permanent faculty member in the School of Mathematics of the Institute for Advanced Study.[2] Her research is in foundations of computer science and in combinatorics, and especially in probabilistically checkable proofs and hardness of approximation.[3]

Early life and education

[edit]

Irit Dinur was born in Jerusalem in 1973. She studied computer science and math at Tel Aviv University. A course on computational complexity theory sparked her research interest through its combination of math and philosophy.[4]

Dinur earned her doctorate in 2002 from the school of computer science at Tel Aviv University, advised by Shmuel Safra.[5] Her research focused on hardness of approximation, a type of computational complexity theory.[4] Her thesis was entitled On the Hardness of Approximating the Minimum Vertex Cover and The Closest Vector in a Lattice.[5] In it, Dinur tackled the vertex cover problem, which had been proposed in Richard Karp's seminal 1972 paper on complexity theory. She showed that the vertex cover problem, and its approximate solution, are hard to solve. The techniques she developed for her proofs have since inspired the open question of the Unique Games Conjecture.[4]

Career

[edit]

Dinur has worked as a lecturer and researcher for the Institute for Advanced Study in Princeton, New Jersey, NEC, the Hebrew University of Jerusalem, and the University of California, Berkeley.[6][7] From 2007 to 2024, Dinur was a professor at the Weizmann Institute.[7] In 2024, Dinur joined the Institute for Advanced Study as a professor in its School of Mathematics. She was the first woman appointed to the school as a permanent professor in the almost-century-long history of the school. She has stated that her field of research is generally "very receptive and accepting...it's kind of easy to thrive here."[4]

Dinur published in 2006 a new proof of the PCP theorem that was significantly simpler than previous proofs of the same result.[8] The PCP theorem, concerning probabilistically checkable proofs, states that some mathematical proofs can be checked with a high success rate just by writing them in PCP form and then randomly checking whether a few steps are true. Dinur creatively used expander graphs to prove the theorem via geometric means, and this connected the intuition behind the PCP theorem to other fields of math.[4]

Dinur's work on differential privacy has been incorporated into the 2020 U.S. Census and is used by some large companies in order to preserve the privacy of individual users while analyzing their collective data.[2]

Dinur has also researched locally testable codes, expander graphs in higher dimensions, and optimization.[2][4]

Awards and recognition

[edit]

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

References

[edit]
  1. ^ Faculty listing, Weizmann Institute Faculty of Mathematics and Computer Science, retrieved 2014-06-18.
  2. ^ a b c "Three World-Leading Mathematicians Join IAS Faculty - Press Release | Institute for Advanced Study". July 2024.
  3. ^ Research interests of faculty members, Weizmann Institute Faculty of Mathematics and Computer Science, retrieved 2014-06-18.
  4. ^ a b c d e f Jackson, Allyn (2025-03-07). "Finding Beauty and Meaning in Computational Complexity". Communications of the ACM. Retrieved 2025-08-23.
  5. ^ a b School of Computer Science Thesis Repository, Tel Aviv University, accessed 2014-06-18.
  6. ^ "Irit Dveer Dinur". Simons Institute. Retrieved 2025-08-23.
  7. ^ a b "Irit Dveer Dinur". Institute for Advanced Study. 2019-12-09. Retrieved 2025-08-23.
  8. ^ Radhakrishnan, Jaikumar; Sudan, Madhu (2007), "On Dinur's proof of the PCP theorem", Bulletin of the American Mathematical Society, New Series, 44 (1): 19–61, doi:10.1090/S0273-0979-06-01143-8, MR 2265009.
  9. ^ Michael Bruno Memorial Award recipients Archived 2018-10-12 at the Wayback Machine, retrieved 2014-06-18.
  10. ^ ICM2010 — Avila, Dinur, plenary lectures, Tim Gowers, August 30, 2010.
  11. ^ EMS e-News 4, September 2012 Archived 2013-06-12 at the Wayback Machine, European Mathematical Society, retrieved 2014-06-18.
  12. ^ Irit Dinur, Radcliffe Institute for Advanced Study, Harvard University, retrieved 2014-06-18.
  13. ^ EATCS 2019 Gödel Prize, retrieved 2019-09-11.
[edit]