Equad News Fall 2019 Volume 31, Number 1 School of Engineering and Applied Science Princeton, NJ 08544-5263

Total Page:16

File Type:pdf, Size:1020Kb

Equad News Fall 2019 Volume 31, Number 1 School of Engineering and Applied Science Princeton, NJ 08544-5263 EQuad News Fall 2019 Volume 31, Number 1 School of Engineering and Applied Science Princeton, NJ 08544-5263 www.princeton.edu/engineering [email protected] 4 EQuad News DEAN’S Fall 2019 NOTE Volume 31, Number 1 Interim Dean H. Vincent Poor *77 Vice Dean Shaping Cities for People and the Planet Antoine Kahn *78 Associate Dean, As Professor Elie Bou-Zeid eloquently explains on page 14 of this magazine, the Undergraduate Affairs way we build and reshape urban areas over the coming decades will determine a lot Peter Bogucki Associate Dean, about the long-term health of society and this planet. Development Jane Maggard No small task, but Princeton excels at this kind of grand challenge. The future of Associate Dean, Diversity and Inclusion cities is a complex mix of societal, technological, environmental, economic, and Julie Yun ethical questions, and Princeton is well equipped to knit creative, effective solutions. Director of Engineering Communications More generally, the Metropolis Project that Elie introduces is just one example of Steven Schultz the high-impact work and focus on societal benefit at the School of Engineering and Senior Editor Applied Science. We have tremendous momentum and growth in data science, John Sullivan Digital Media Editor bioengineering, and robotics and cyber- Aaron Nathans physical systems, as well as in advancing Writer the overall diversity and inclusion of Molly Sharlach Communications Specialist the school. Scott Lyon Science Communication Associate All this work brings together two distinctive Amelia Herb strengths of Princeton engineers: a culture Contributors Liz Fuller-Wright of fluidly integrating diverse viewpoints Adam Hadhazy and disciplines, and the ability to distill Bennett McIntosh Melissa Moss problems to their core constraints, then Molly Seltzer develop solutions with widespread impacts. Denise Valenti Additional Editing Karin Dienst I welcome your comments, questions, and Graphic Designer personal stories of engineering in the service Matilda Luk Web Designer of society. Neil Adelantar EQuad News is published twice a year by the Office of H. Vincent Poor *77 Engineering Communications Interim Dean in collaboration with the Princeton University Office of Michael Henry Strater University Communications. Professor of Electrical Engineering Note on alumni class years Following Princeton University convention, undergraduate alumni are indicated by an apostrophe and class year; graduate alumni, whether Photo by Sameer A. Khan/Fotobuddy master’s or doctoral, are indicated with a star and class year. EQuad News C-222, EQuad, Princeton University Princeton, NJ 08544 T 609 258 4597 1 14 23 26 29 32 F 609 258 6744 News Cities Faculty Undergraduate Graduate Alumni [email protected] engineering.princeton.edu/ News News News News news/e-quad-news Copyright © 2019 by The Trustees of Princeton University In the Nation’s Service and the 250019 Service of Humanity Photo by David Kelly Crow Kelly David Photo by NEWS CARTER NAMED EXECUTIVE VICE CHANCELLOR AND PROVOST AT UCLA Emily A. Carter, dean of Princeton University’s Eisgruber, president of Princeton University. Emily Carter School of Engineering and Applied Science, “She is a distinguished leader and brilliant became the executive vice chancellor and scholar with heartfelt commitments to aca- provost of the University of California, Los demic excellence, diversity, and the environ- Angeles, on Sept. 1, 2019. ment. Though we will miss having Emily as H. Vincent Poor, the Michael Henry Strater our colleague at Princeton, we look forward University Professor of Electrical Engineer- to applauding her accomplishments as she ing who served as dean from 2006 to 2016, returns to UCLA.” is serving as interim dean as a search for At UCLA, where she was a faculty mem- Carter’s successor proceeds. ber for 16 years before joining the Princeton Carter, who was the founding director of faculty in 2004, Carter serves as the univer- the Andlinger Center for Energy and the Envi- sity’s second-ranking officer and as the chief ronment for six years before becoming dean of operating and academic officer. The position engineering in July 2016, championed an calls for “bringing broad vision and executive important set of initiatives, including planning leadership to campus-wide policy, planning, for a new campus neighborhood for engineer- initiatives, and operations.” ing; a new first-year curriculum; growth of “Working with so many dedicated and ex- research and teaching in data science, bio- traordinarily talented colleagues at Princeton, engineering, robotics, and the future of cities; as well as passionately supportive alumni, and multiple resources to strengthen has been an honor and privilege,” Carter said. diversity and inclusion across faculty, staff, “With their shared vision and momentum, the and students. School of Engineering and Applied Science will “Emily Carter has made extraordinary con- continue to grow in serving humanity through tributions to Princeton as a scientist, mentor, innovation and generations of amazing center director, and dean,” said Christopher L. students.” –Steven Schultz 1 GIFT FROM ERIC AND WENDY SCHMIDT TO CREATE 3 2 A NEW HOME FOR COMPUTER SCIENCE NEWS NEWS Historic Guyot Hall will be substantially rebuilt educate, train, convene, and support a broad will have 44 tenure-track computer science with proceeds from gifts made to Princeton by and expanded to create a new home for data science community at the University. faculty members in the fall semester of 2019. Cleveland H. Dodge 1879 and his mother to Princeton’s Department of Computer Science, Additionally, in 2009 the Schmidts established More than 36% of the department’s under- benefi t the University’s programs in geology thanks to a gift from Eric Schmidt ’76 and his the Eric and Wendy Schmidt Transformative graduate majors are women, about double the and biology. wife, Wendy Schmidt. Planned for completion Technology Fund, an endowment which sup- national average. Renovations will preserve the original in 2026, the building will be renamed as the ports the invention, development, and utiliza- “Princeton recognizes that computational collegiate Gothic architectural details of the Eric and Wendy Schmidt Hall and will consoli- tion of cutting-edge technology that has the thinking as a mode of scholarship, inquiry, and building’s exterior, and the Guyot name will date the computer science department — capacity to transform research in the natural critical thinking is essential across campus,” be recognized in a new built space located which is currently spread out over nine differ- sciences and engineering at Princeton. said Jennifer Rexford ’91, the Gordon S. elsewhere on campus which will be associ- ent buildings — into one purpose-built space. Eric Schmidt was formerly chief executive Wu Professor of Engineering and chair of ated with Princeton’s environmental science “Eric Schmidt’s brilliant career as a com- offi cer of Google from 2001 to 2011 and then Princeton’s computer science department. programs. The Schmidts’ gift will come to puter scientist makes the Schmidt name es- served as executive chairman of Alphabet Inc, “We are deeply grateful for Eric and Wendy Princeton from the Schwab Charitable Fund. pecially fi tting for the new home of Princeton’s Google’s parent company. He has also previ- Schmidt’s gift, which makes it possible to The renovation of Guyot Hall will increase world-class Department of Computer Science,” ously served as a trustee of the University. have a central location for computer science the square feet assigned to the computer sci- said President Christopher L. Eisgruber. “We Wendy Schmidt is a businesswoman and in which we can create intellectual collisions ence department and will also build in capac- are deeply grateful to Eric Schmidt ’76, his philanthropist. She is the president of The and serendipitous encounters between faculty ity for future growth of the department’s faculty wife, Wendy Schmidt, and Schmidt Futures Schmidt Family Foundation and co-founder of and among students, creating human connec- and student body. During renovation of Guyot, for their spectacular vision and generosity. Schmidt Ocean Institute. tions that spark new ideas across campus and the University will provide additional interim Their extraordinary commitments to this new Eric Schmidt noted that when he earned beyond.” space in the Friend Center for the depart- facility, to the Schmidt DataX Fund, and to the his undergraduate degree from Princeton in Guyot Hall was built in 1909, and was ment. Construction is planned to begin in early Schmidt Transformative Technology Fund have 1976, “I majored in electrical engineering, be- named for Princeton’s fi rst professor of 2024, with the computer science department powerfully enhanced Princeton’s capacity for cause computer science was barely an option. geology and geography, Arnold Guyot, a projected to move into the renovated building teaching, innovation, and collaboration that Now it’s the largest department at Princeton member of the faculty from 1854 to 1884. in mid-2026. open new frontiers of learning and improve and data science has the potential to trans- The building’s construction was supported the world.” form every discipline, and fi nd solutions to Earlier this year, the University announced profound societal problems. Wendy and I are Photo by David Kelly Crow the gift establishing the Schmidt DataX Fund, excited to think about what will be possible COMPUTER SCIENTIST KERNIGHAN *69 ELECTED TO
Recommended publications
  • EMBARGOED for RELEASE MARCH 9, 2011 at 9 A.M. ET, 6 A.M
    acm Association for Computing Machinery Advancing Computing as a Science & Profession EMBARGOED FOR RELEASE MARCH 9, 2011 AT 9 a.m. ET, 6 a.m. PT Contact: Virginia Gold 212-626-0505 [email protected] ACM TURING AWARD GOES TO INNOVATOR IN MACHINE LEARNING Valiant Opened New Frontiers that Transformed Learning Theory, Computational Complexity, and Parallel and Distributed Computing NEW YORK, March 9, 2011 – ACM, the Association for Computing Machinery, today named Leslie G. Valiant of Harvard University the winner of the 2010 ACM A.M. Turing Award http://www.acm.org/news/featured/turing-award-2010 for his fundamental contributions to the development of computational learning theory and to the broader theory of computer science. Valiant brought together machine learning and computational complexity, leading to advances in artificial intelligence as well as computing practices such as natural language processing, handwriting recognition, and computer vision. He also launched several subfields of theoretical computer science, and developed models for parallel computing. The Turing Award, widely considered the “Nobel Prize in Computing", is named for the British mathematician Alan M. Turing. The award carries a $250,000 prize, with financial support provided by Intel Corporation and Google Inc. “Leslie Valiant’s accomplishments over the last 30 years have provided the theoretical basis for progress in artificial intelligence and led to extraordinary achievements in machine learning. His work has produced modeling that offers computationally inspired
    [Show full text]
  • January 2019 Volume 66 · Issue 01
    ISSN 0002-9920 (print) ISSN 1088-9477 (online) Notices ofof the American MathematicalMathematical Society January 2019 Volume 66, Number 1 The cover art is from the JMM Sampler, page 84. AT THE AMS BOOTH, JMM 2019 ISSN 0002-9920 (print) ISSN 1088-9477 (online) Notices of the American Mathematical Society January 2019 Volume 66, Number 1 © Pomona College © Pomona Talk to Erica about the AMS membership magazine, pick up a free Notices travel mug*, and enjoy a piece of cake. facebook.com/amermathsoc @amermathsoc A WORD FROM... Erica Flapan, Notices Editor in Chief I would like to introduce myself as the new Editor in Chief of the Notices and share my plans with readers. The Notices is an interesting and engaging magazine that is read by mathematicians all over the world. As members of the AMS, we should all be proud to have the Notices as our magazine of record. Personally, I have enjoyed reading the Notices for over 30 years, and I appreciate the opportunity that the AMS has given me to shape the magazine for the next three years. I hope that under my leadership even more people will look forward to reading it each month as much as I do. Above all, I would like the focus of the Notices to be on expository articles about pure and applied mathematics broadly defined. I would like the authors, topics, and writing styles of these articles to be diverse in every sense except for their desire to explain the mathematics that they love in a clear and engaging way.
    [Show full text]
  • 17Th Knuth Prize: Call for Nominations
    17th Knuth Prize: Call for Nominations The Donald E. Knuth Prize for outstanding contributions to the foundations of computer science is awarded for major research accomplishments and contri- butions to the foundations of computer science over an extended period of time. The Prize is awarded annually by the ACM Special Interest Group on Algo- rithms and Computing Theory (SIGACT) and the IEEE Technical Committee on the Mathematical Foundations of Computing (TCMF). Nomination Procedure Anyone in the Theoretical Computer Science com- munity may nominate a candidate. To do so, please send nominations to : [email protected] with a subject line of Knuth Prize nomi- nation by February 15, 2017. The nomination should state the nominee's name, summarize his or her contributions in one or two pages, provide a CV for the nominee or a pointer to the nominees webpage, and give telephone, postal, and email contact information for the nominator. Any supporting letters from other members of the community (up to a limit of 5) should be included in the package that the nominator sends to the Committee chair. Supporting letters should contain substantial information not in the nomination. Others may en- dorse the nomination simply by adding their names to the nomination letter. If you have nominated a candidate in past years, you can re-nominate the candi- date by sending a message to that effect to the above address. (You may revise the nominating materials if you desire). Criteria for Selection The winner will be selected by a Prize Committee consisting of six people appointed by the SIGACT and TCMF Chairs.
    [Show full text]
  • Valiant Receives 2010 Turing Award
    Valiant Receives 2010 Turing Award The Association for Computing Machinery (ACM) enumeration problems can be has announced that Leslie G. Valiant of Harvard intractable even when the cor- University is the recipient of the 2010 A. M. Tur- responding decision problem is ing Award “for transformative contributions to tractable. Another fundamental the theory of computation, including the theory contribution to computational of probably approximately correct (PAC) learning, complexity was Valiant’s theory the complexity of enumeration and of algebraic of algebraic computation, in computation, and the theory of parallel and distrib- which he established a frame- uted computing.” The award carries a cash prize work for understanding which of US$250,000 and will be presented to Valiant at algebraic formulas can be evalu- the annual ACM Awards Banquet on June 4, 2011, ated efficiently. In analogy with in San Jose, California. the Boolean complexity classes P and NP, his theory character- Citation izes the difficulty of computing Over the past thirty years, Leslie Valiant has made fundamental functions in linear Leslie G. Valiant fundamental contributions to many aspects of algebra, namely the determinant theoretical computer science. His work has opened and permanent. Together with new frontiers, introduced ingenious new concepts, his work on #P, this set the stage for some of the and presented results of great originality, depth, most exciting subsequent developments in com- putational complexity, such as the development of and beauty. Time and again, Valiant’s work has interactive proofs for problems beyond NP. literally defined or transformed the computer sci- A third broad area in which Valiant has made ence research landscape.
    [Show full text]
  • Professor Shang-Hua Teng
    Professor Shang-Hua Teng Department of Computer Science, University of Southern California 1039 25 Street 3710 McClintock, RTH 505, Los Angeles, CA 90089 Santa Monica, CA 90403 (213) 740-3667, [email protected] (617) 440-4281 EMPLOYMENT: University Professor USC (2017 – ) Seeley G. Mudd Professor (Computer Science and Mathematics) USC (2012 – ) Chair and Seeley G. Mudd Professor (Computer Science) USC (2009 – 2012) Professor (Computer Science) Boston University (2002 – 2009) Research Affiliate Professor (Mathematics) MIT (1999 – Present) Visiting Research Scientist Microsoft Research Asia and New England (2004 – Present) Senior Research Scientist Akamai (1997 – 2009) Visiting Professor (Computer Science) Tsinghua University (2004 – 2008) Professor (Computer Science)[Associate Professor before 1999] UIUC (2000 – 2002) Research Scientist IBM Almaden Research Center (1997 – 1999) Assistant Professor (Computer Science) Univ. of Minnesota (1994 – 1997) Research Scientist Intel Corporation (Summer 1994, 1995) Instructor (Mathematics) MIT (1992 – 1994) Computer Scientist NASA Ames Research Center (Summer 1993) Research Scientist Xerox Palo Alto Research Center (1991 – 1992) EDUCATION: Ph.D. (Computer Science) Carnegie Mellon University (1991) Thesis: “A Unified Geometric Approach to Graph Partitioning.” Advisor: Gary Lee Miller M.S. (Computer Science) University of Southern California (1988) Thesis: “Security, Verifiablity, and Universality in Distributed Computing”. Advised by Leonard Adleman and Ming-Deh Huang B.S. (Computer Science) & B.A. (Electrical
    [Show full text]
  • New Faces at CUCS Every Other One and Compute Nearest Neighbor, a Search Their Similarity for Each Pair
    NEWSLETTER OF THE DEPARTMENT OF COMPUTER SCIENCE AT COLUMBIA UNIVERSITY VOL.12 NO.1 SPRING 2016 straightforward for small data Rather than searching an entire sets: compare every object to data set for the single most New Faces at CUCS every other one and compute nearest neighbor, a search their similarity for each pair. would go much faster if objects But as the number of objects were pre-grouped according to increases into the billions, com- some shared attribute, making it puting time grows quadratically, easy to zero in on just the small he impact of huge data making the task prohibitively subset of objects most likely to sets is hard to understate, contain the most similar neigh- responsible for advancing expensive, at least in terms of T traditional expectations. bor. The new challenge then almost every scientific and becomes: what attribute shall we technological field, from ma- Alexandr Andoni, a theoretical use to make such a pre-grouping chine learning and personalized computer scientist focused on maximally efficient. The speed-up medicine, to speech recognition developing algorithmic founda- thus gained reverberates across and translation. tions for massive data, sees the a wide range of computational The flip side of the data revolu- need to reframe the issue: “The methods since nearest neigh- tion is that massive data has question today is not ‘what can bors search is ubiquitous and ALEXANDR ANDONI rendered many standard algo- we solve in polynomial time?’ serves as a primitive in higher- level algorithms, particularly in ASSOCIATE PROFESSOR rithms computationally expen- but ‘what is possible in time machine learning.
    [Show full text]
  • ACM SIGACT Announces 2017 Awards Gödel, Knuth and Distinguished Service Prizes Recognize Contributions to Algorithms and Compu
    Contact: Michael Mitzenmacher Jim Ormond ACM SIGACT Chair ACM 617-496-7172 212-626-0505 [email protected] [email protected] ACM SIGACT Announces 2017 Awards Gödel, Knuth and Distinguished Service Prizes Recognize Contributions to Algorithms and Computation Theory Community NEW YORK, June 19, 2017 – The Association for Computing Machinery’s Special Interest Group on Algorithms and Computation Theory (SIGACT) recently announced the recipients of three significant awards. The 2017 Gödel Prize is awarded to Cynthia Dwork, Frank McSherry, Kobbi Nissim and Adam Smith for their work on differential privacy in their paper “Calibrating Noise to Sensitivity in Private Data Analysis.” The 2017 Donald E. Knuth Prize is awarded to Oded Goldreich of the Weizmann Institute of Science for fundamental and lasting contributions to many areas of theoretical computer science, including cryptography, probabilistically checkable proofs, inapproximability, property testing, and several other areas in complexity theory. Also this year, Alistair Sinclair of the University of California, Berkeley is the recipient of the 2017 ACM SIGACT Distinguished Service Prize for his role in the spectacular success of The Simons Institute for the Theory of Computing. These awards will be presented at the 49th Annual ACM Symposium on the Theory of Computing (STOC 2017), to be held June 19-23, in Montreal, Canada. 2017 Gödel Prize Differential privacy is a powerful theoretical model for dealing with the privacy of statistical data. The intellectual impact of differential privacy has been broad, influencing thinking about privacy across many disciplines. The work of Cynthia Dwork (Harvard University), Frank McSherry (independent researcher), Kobbi Nissim (Harvard University), and Adam Smith (Harvard University) launched a new line of theoretical research aimed at understanding the possibilities and limitations of differentially private algorithms.
    [Show full text]
  • SIGACT Viability
    SIGACT Name and Mission: SIGACT: SIGACT Algorithms & Computation Theory The primary mission of ACM SIGACT (Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory) is to foster and promote the discovery and dissemination of high quality research in the domain of theoretical computer science. The field of theoretical computer science is interpreted broadly so as to include algorithms, data structures, complexity theory, distributed computation, parallel computation, VLSI, machine learning, computational biology, computational geometry, information theory, cryptography, quantum computation, computational number theory and algebra, program semantics and verification, automata theory, and the study of randomness. Work in this field is often distinguished by its emphasis on mathematical technique and rigor. Newsletters: Volume Issue Issue Date Number of Pages Actually Mailed 2014 45 01 March 2014 N/A 2013 44 04 December 2013 104 27-Dec-13 44 03 September 2013 96 30-Sep-13 44 02 June 2013 148 13-Jun-13 44 01 March 2013 116 18-Mar-13 2012 43 04 December 2012 140 29-Jan-13 43 03 September 2012 120 06-Sep-12 43 02 June 2012 144 25-Jun-12 43 01 March 2012 100 20-Mar-12 2011 42 04 December 2011 104 29-Dec-11 42 03 September 2011 108 29-Sep-11 42 02 June 2011 104 N/A 42 01 March 2011 140 23-Mar-11 2010 41 04 December 2010 128 15-Dec-10 41 03 September 2010 128 13-Sep-10 41 02 June 2010 92 17-Jun-10 41 01 March 2010 132 17-Mar-10 Membership: based on fiscal year dates 1st Year 2 + Years Total Year Professional
    [Show full text]
  • Federated Computing Research Conference, FCRC’96, Which Is David Wise, Steering Being Held May 20 - 28, 1996 at the Philadelphia Downtown Marriott
    CRA Workshop on Academic Careers Federated for Women in Computing Science 23rd Annual ACM/IEEE International Symposium on Computing Computer Architecture FCRC ‘96 ACM International Conference on Research Supercomputing ACM SIGMETRICS International Conference Conference on Measurement and Modeling of Computer Systems 28th Annual ACM Symposium on Theory of Computing 11th Annual IEEE Conference on Computational Complexity 15th Annual ACM Symposium on Principles of Distributed Computing 12th Annual ACM Symposium on Computational Geometry First ACM Workshop on Applied Computational Geometry ACM/UMIACS Workshop on Parallel Algorithms ACM SIGPLAN ‘96 Conference on Programming Language Design and Implementation ACM Workshop of Functional Languages in Introductory Computing Philadelphia Skyline SIGPLAN International Conference on Functional Programming 10th ACM Workshop on Parallel and Distributed Simulation Invited Speakers Wm. A. Wulf ACM SIGMETRICS Symposium on Burton Smith Parallel and Distributed Tools Cynthia Dwork 4th Annual ACM/IEEE Workshop on Robin Milner I/O in Parallel and Distributed Systems Randy Katz SIAM Symposium on Networks and Information Management Sponsors ACM CRA IEEE NSF May 20-28, 1996 SIAM Philadelphia, PA FCRC WELCOME Organizing Committee Mary Jane Irwin, Chair Penn State University Steve Mahaney, Vice Chair Rutgers University Alan Berenbaum, Treasurer AT&T Bell Laboratories Frank Friedman, Exhibits Temple University Sampath Kannan, Student Coordinator Univ. of Pennsylvania Welcome to the second Federated Computing Research Conference, FCRC’96, which is David Wise, Steering being held May 20 - 28, 1996 at the Philadelphia downtown Marriott. This second Indiana University FCRC follows the same model of the highly successful first conference, FCRC’93, in Janice Cuny, Careers which nine constituent conferences participated.
    [Show full text]
  • BEATCS No 119
    ISSN 0252–9742 Bulletin of the European Association for Theoretical Computer Science EATCS E A T C S Number 119 June 2016 Council of the European Association for Theoretical Computer Science President:Luca Aceto Iceland Vice Presidents:Paul Spirakis United Kingdom and Greece Antonin Kucera Czech Republic Giuseppe Persiano Italy Treasurer:Dirk Janssens Belgium Bulletin Editor:Kazuo Iwama Kyoto,Japan Lars Arge Denmark Anca Muscholl France Jos Baeten The Netherlands Luke Ong UK Lars Birkedal Denmark Catuscia Palamidessi France Mikolaj Bojanczyk Poland Giuseppe Persiano Italy Fedor Fomin Norway Alberto Policriti Italy Pierre Fraigniaud France Alberto Marchetti Spaccamela Italy Leslie Ann Goldberg UK Vladimiro Sassone UK Magnus Halldorsson Iceland Thomas Schwentick Germany Monika Henzinger Austria Jukka Suomela Finland Christos Kaklamanis Greece Thomas Wilke Germany Elvira Mayordomo Spain Peter Widmayer Switzerland Michael Mitzenmacher USA Gerhard Woeginger¨ The Netherlands Past Presidents: Maurice Nivat (1972–1977)Mike Paterson (1977–1979) Arto Salomaa (1979–1985)Grzegorz Rozenberg (1985–1994) Wilfred Brauer (1994–1997)Josep D´iaz (1997–2002) Mogens Nielsen (2002–2006)Giorgio Ausiello (2006–2009) Burkhard Monien (2009–2012) Secretary Office:Ioannis Chatzigiannakis Italy Efi Chita Greece EATCS Council Members email addresses Luca Aceto ..................................... [email protected] Lars Arge .............................. [email protected] Jos Baeten ............................... [email protected] Lars Birkedal ............................ [email protected] Mikolaj Bojanczyk .......................... [email protected] Fedor Fomin ................................ [email protected] Pierre Fraigniaud .. [email protected] Leslie Ann Goldberg ................ [email protected] Magnus Halldorsson ........................ [email protected] Monika Henzinger ................ [email protected] Kazuo Iwama ........................ [email protected] Dirk Janssens ........................
    [Show full text]
  • Citation: 2012 Knuth Prize
    Citation: 2012 Knuth Prize The 2012 Knuth Prize has been awarded to Leonid Levin, in recognition of four decades of visionary research in complexity, cryptography, and information theory. Professor Levin is best known for his discovery of NP-completeness, the core concept of computational complexity and the best explanation to date of why one expects certain computational problems to be intractable. He made this discovery in the Soviet Union at about the same time as, but independently of, Stephen Cook, the winner of the 1982 Turing Award. His work on the subject did not appear in the West until 1973, by which time the study of NP-completeness was well established, following Cook’s 1971 STOC paper; for a long time, Levin received little official recognition for his conceptual breakthrough. Fortunately, it is now common for computational-complexity textbooks to refer to the “Cook-Levin Theorem.” Later, Levin developed the theory of “average-case NP-completeness,” which has given us the best explanation to date of why some computational problems are intractable not only on rare, contrived instances but “on average,” with respect to input distributions of interest. He also provided a key step, with co-authors László Babai, Lance Fortnow, and Mario Szegedy, in the proof of the celebrated PCP Theorem that relates the complexity of solving certain natural NP- hard search problems approximately to the complexity of solving them exactly. Together, they put forth the notion of “holographic proofs,” i.e., proofs whose correctness can be checked efficiently by a program that samples only a small fraction of the bits.
    [Show full text]
  • Lovász and Wigderson to Share the Abel Prize
    2021 Lovász and Wigderson to share the Abel Prize The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2021 to László Lovász of Alfréd Rényi Institute of Mathematics (ELKH, MTA Institute of Excellence) and Eötvös Loránd University in Budapest, Hungary, and Avi Wigderson of the Institute for Advanced Study, Princeton, USA, “for their foundational contributions to theoretical computer science and discrete mathematics, and their leading role in shaping them into central fields of modern mathematics” The theory of ‘computational complexity’ – which He continues: “Thanks to the ground-breaking concerns itself with the speed and efficiency of work of these two, discrete mathematics and algorithms – first emerged in the 1970s and is the relatively young field of theoretical computer now an established field of both mathematics science are now firmly established as central areas and theoretical computer science. Computational of modern mathematics.” complexity is now a very important field, providing the theoretical basis for internet security. Also in László Lovász the 1970s, a new generation of mathematicians realised that discrete mathematics had a new A brilliant mathematician since his teens, László area of application in computer science. Today Lovász has more than delivered on his early algorithms and internet security applications are an promise. His work has established connections integral part of everyday life for all of us. The work between discrete mathematics and computer of László Lovász and Avi Wigderson has played an science. Born in 1948 in Budapest, Hungary, he has important part in this development. also served his community as a writer of books, noted for their clarity and accessibility, as an “Lovász and Wigderson have been leading forces inspirational lecturer, and as a leader, spending a in this development over the last few decades.
    [Show full text]