Irit Dinur

Israeli computer scientist
Scientific careerFieldsComputer Science, Complexity TheoryInstitutionsWeizmann Institute of Science
Institute for Advanced StudyThesis (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]

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.[4] 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.[5]

Awards and recognition

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

References

  1. ^ Faculty listing, Weizmann Institute Faculty of Mathematics and Computer Science, retrieved 2014-06-18.
  2. ^ "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. ^ School of Computer Science Thesis Repository, Tel Aviv University, accessed 2014-06-18.
  5. ^ 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.
  6. ^ Michael Bruno Memorial Award recipients Archived 2018-10-12 at the Wayback Machine, retrieved 2014-06-18.
  7. ^ ICM2010 — Avila, Dinur, plenary lectures, Tim Gowers, August 30, 2010.
  8. ^ EMS e-News 4, September 2012 Archived 2013-06-12 at the Wayback Machine, European Mathematical Society, retrieved 2014-06-18.
  9. ^ Irit Dinur, Radcliffe Institute for Advanced Study, Harvard University, retrieved 2014-06-18.
  10. ^ EATCS 2019 Gödel Prize, retrieved 2019-09-11.
  • Personal HomePage
  • Turing Centennial Post 1: Irit Dinur, guest post on Luca Trevisan's blog "in theory" concerning Dinur's experiences as a lesbian academic
  • v
  • t
  • e
Gödel Prize laureates
1990s
2000s
2010s
2020s
  • v
  • t
  • e
Authority control databases Edit this at Wikidata
International
  • VIAF
National
  • United States
  • Israel
Academics
  • Mathematics Genealogy Project
  • Association for Computing Machinery
  • Scopus
  • zbMATH
  • DBLP
  • MathSciNet