https://www.acm.org/media-center/2023/may/dissertation-award-2022 skip to main content * Digital Library * CACM * Queue * TechNews * Career Center ACM Logo ACM Logo Advancing Computing as a Science & Profession * Join * Volunteer * myACM * Search Input [ ] Search Submit [Search] * Join Volunteer myACM Search [ ] * About ACM + About Home o About ACM o ACM's Mission, Vision, Core Values and Goals o Governance o ACM Council o Boards and Committees o Past Presidents o ACM Constitution o Bylaws o Annual Reports o History o Code of Ethics o Code of Ethics Enforcement Procedures o Stop Harassment o Report Unacceptable Behavior o ACM in the News o Media Center o Contact Us + About ACM ACM, the world's largest educational and scientific computing society, delivers resources that advance computing as a science and a profession. ACM provides the computing field's premier Digital Library and serves its members and the computing profession with leading-edge publications, conferences, and career resources. [Learn More about ACM...] + Regional Councils.jpg ACM Regional Councils ACM History ACM: Formed at the Dawn of Computing * Membership + Membership Home o About Membership o Membership Options o Membership Benefits o Ambassadors for ACM o People of ACM o ACM People in the News o Join o Renew o Subscribe o Manage your Account / myACM o Distinguished Speakers o Contact Us + ACM Membership ACM offers the resources, access and tools to invent the future. No one has a larger global network of professional peers. No one has more exclusive content. No one presents more forward-looking events. Or confers more prestigious awards. Or provides a more comprehensive learning center. [Learn More about ACM Membership...] + ACM membership FAQ Customer Service FAQs Ambassador for ACM Program Become an Ambassador for ACM * Publications + Publications Home o About Publications o Digital Library o CACM o Journals o Magazines o Books o Conference Proceedings o ICPS o SIGs Newsletters o Blue Diamond Newsletter o Applications-Oriented Content o For Authors o Primary Article Templates o Open Access o Artifacts and Reproducibility o New ACM Journals o Propose New Publications o Policies o Report a Potential Violation o Ethics & Plagiarism o Publications Board o Subscribe o Advertise o Contact Us + About ACM Publications For more than 60 years, the best and brightest minds in computing have come to ACM to meet, share ideas, publish their work and change the world. ACM's publications are among the most respected and highly cited in the field because of their longstanding focus on quality and their ability to attract pioneering thought leaders from both academia and industry. [Learn More about ACM Publications...] + Publish your work Publish with ACM practical_content_journals.jpg Select Application-Oriented Papers artifact-badges.jpg Software and Data Artifacts in the ACM Digital Library * SIGs + Special Interest Groups Home o About SIGs o SIG Listing o Emerging Interest Groups o SIG Awards o SIG Chapters o Publications o Conferences o Join a SIG o Volunteer Resources o SIG Leaders o Contact Us + Special Interest Groups ACM's Special Interest Groups (SIGs) represent major areas of computing, addressing the interests of technical communities that drive innovation. SIGs offer a wealth of conferences, publications and activities focused on specific computing sub-disciplines. They enable members to share expertise, discovery and best practices. [Learn More about ACM's SIGs...] + Join an ACM SIG Join an ACM SIG promoting-sharing.jpg Virtual Conferences: A Guide to Best Practices * Conferences + Conferences Home o About Conferences o Conference Series o Upcoming Conferences o Get Conference Proceedings o Upcoming Submission Deadlines o ACM Author Rights & Permissions o Best Paper Awards o Volunteer Resources o Contact Us + ACM and its Special Interest Groups Host More Than 170 Events Worldwide Our conferences, workshops and symposia unite innovators like you to push computing technology forward and to continue the legacy that unites us as like-minded thinkers and makers. [Learn More about ACM Conferences...] + Find a SIG Conference Find an ACM Conference promoting-sharing.jpg Virtual Conferences: A Guide to Best Practices * Chapters + Chapters Home o About Chapters o Professional Chapters o Student Chapters o Meetups o Newsletter o Calendar of Local Activities o Distinguished Speakers o Annual Reports o Find a Chapter o Start a Chapter o Chapter Policies o Chapter Administrative Interface o Contact Us + About ACM Chapters ACM's Professional and Student chapters worldwide serve as hubs of activity for ACM members and the computing community at large. They provide seminars, lectures, learning forums and networking opportunities with peers and experts across the computing spectrum. [Learn More about ACM Chapters...] + chapter_box.jpg Chapter-in-a-Box: Everything You Need to Run and Grow Your ACM Chapter [acm] Chapter Administrative Interface [acm] Start an ACM Chapter * Awards + Awards Home o About Awards o Award Recipients o ACM Fellows o ACM Advanced Member Grades o ACM Awards Committee o Nominate o Award Sponsors o Establish a New Award o Contact Us + About ACM Awards ACM recognizes excellence through its eminent awards for technical and professional achievements and contributions in computer science and information technology. It also names as Fellows and Distinguished Members those members who, in addition to professional accomplishments, have made significant contributions to ACM's mission. More on ACM Awards + 2022 ACM A.M. Turing Award recipient Bob Metcalfe ACM Announces 2022 A.M. Turing Award Recipient 2022 ACM Prize recipient Yael Tauman Kalai Yael Tauman Kalai Honored with ACM Prize in Computing 2023-2024 ACM Athena Lecturer Margo Seltzer ACM Names Margo Seltzer 2023-2024 Athena Lecturer * Education + Education Home o About Education o Curricula Recommendations o Affiliated Organizations o ACM Learning Center o Resources for Educators o Resources for Graduating Students o Education Board and Advisory Committee o Reports and Studies o Contact Us + Education ACM's educational activities, conducted primarily through our Education Board and Advisory Committee, range from the K-12 space (CSTA) and two-year programs to undergraduate, graduate, and doctoral-level education, and professional development for computing practitioners at every stage of their career... [Learn More about Education...] + matt-welsh.jpg Matt Welsh TechTalk steve-mcconnell-techtalk-2023.jpg Individual Contributor to Software VP: Four Career Transitions, Many Challenge Image of Holly Urban Bytecast Ep36: Holly Urban * Learning Center + Learning Center Home o About the Learning Center o E-Learning o Member Offers o TechTalks o ByteCast o Resources o FAQs o Practitioner Board o Professional Development Committee + About ACM Learning Center The ACM Learning Center offers ACM members access to lifelong learning tools and resources. Our E-Learning collections offer complimentary access to more than 55,000 online books and videos from top content publishers. The ACM TechTalk series brings leading computing luminaries and visionaries to your screen. Members enjoy exclusive offers and discounts on IT industry certifications and vendor-specific training. + Image of Holly Urban Bytecast Ep36: Holly Urban Image of Pat Pataranutaporn ByteCast Ep35: Pat Pataranutaporn Image of Team V Bionic ByteCast Ep34: Team V Bionic * Public Policy + Public Policy Home o About ACM's Public Policy Work o Tech Policy Council o Europe Tech Policy o US Tech Policy o USTPC HotTopics Webinars o ACM TechBriefs o Policy Products o Media Releases o Contact Us + Public Policy ACM provides independent, nonpartisan, and technology-neutral research and resources to policy leaders, stakeholders, and the public about public policy issues, drawn from the deep technical expertise of the computing community. [Learn More about ACM's Public Policy Work...] + techbrief-iss6-safer-algorithmic-sys.jpg TechBrief on Safer Algorithmic Systems tpc-remote-proctoring-software.jpg USTPC Issues Revised Statement on Remote Proctoring europetpc-diggreencerts-stmt.jpg ACM Europe TPC Statement on Digital Green Certificates * Diversity, Equity & Inclusion + Diversity, Equity and Inclusion Home o About Diversity, Equity and Inclusion o Forming Diverse Teams o Words Matter o ACM Code of Ethics o Stop Harassment o Report Unacceptable Behavior o ACM-W o Contact Us + Diversity, Equity, and Inclusion Anyone, from any background, should feel encouraged to participate and contribute to ACM. ACM is committed to creating an environment that welcomes new ideas and perspectives, and where hostility or other antisocial behaviors are not tolerated. [Learn More about ACM's Commitment to Diversity, Equity, and Inclusion...] + di-teams.jpg How Diverse Is Your Team? acmw-ctl-webinar-a.jpg ACM-W's Webinar Series Celebrates Women in Computing * Home * Media Center * Recent UCLA Computer Grad Constructs "Crown Jewel of Cryptography" Recent UCLA Computer Grad Constructs "Crown Jewel of Cryptography" Aayush Jain Receives ACM Doctoral Dissertation Award for Dissertation on the Feasibility of Mathematical Software Obfuscation New York, NY, May 24, 2022 - ACM, the Association for Computing Machinery, today announced that Aayush Jain receives the 2022 ACM Doctoral Dissertation Award for his dissertation " Indistinguishability Obfuscation From Well-Studied Assumptions," which established the feasibility of mathematically rigorous software obfuscation from well-studied hardness conjectures. The central goal of software obfuscation is to transform source code to make it unintelligible without altering what it computes. Additional conditions may be added, such as requiring the transformed code to perform similarly, or even indistinguishably, from the original. As a software security mechanism, it is essential that software obfuscation have a firm mathematical foundation. The mathematical object that Jain's thesis constructs, indistinguishability obfuscation, is considered a theoretical "master tool" in the context of cryptography--not only in helping achieve long-desired cryptographic goals such as functional encryption, but also in expanding the scope of the field of cryptography itself. For example, indistinguishability obfuscation aids in goals related to software security that were previously entirely in the domain of software engineering. Jain's dissertation was awarded the Best Paper Award at the ACM Symposium on Theory of Computing (STOC 2021) and was the subject of an article in Quanta Magazine titled "Scientists Achieve Crown Jewel of Cryptography." Jain is an Assistant Professor at Carnegie Mellon University. He is interested in theoretical and applied cryptography and its connections with related areas of theoretical computer science. Jain received a BTech in Electrical Engineering, and an MTech in Information and Communication Technology from the Indian Institute of Technology, Delhi. He received a PhD in Computer Science from the University of California, Los Angeles. Honorable Mentions Honorable Mentions for the 2022 ACM Doctoral Dissertation Award go to Alane Suhr whose PhD was earned at Cornell University, and Conrad Watt,who earned his PhD at the University of Cambridge. Suhr's dissertation, "Reasoning and Learning in Interactive Natural Language Systems," was recognized for formulating and designing algorithms for continual language learning in collaborative interactions, and designing methods to reason about context-dependent language meaning. Suhr's dissertation made transformative contributions in several areas of Natural Language Processing (NLP). Suhr is an Assistant Professor at the University of California, Berkeley. Suhr's research is focused on natural language processing, machine learning, and computer vision. Suhr received a BS in Computer Science and Engineering from Ohio State University, as well as a PhD in Computer Science from Cornell University. Watt's dissertation, "Mechanising and Evolving the Formal Semantics of WebAssembly: The Web's New Low-Level Language," establishes a mechanized semantics for WebAssembly and defines its concurrency model. The model will underpin current and future web engineering. His dissertation is considered a stand-out example of developing and using fully rigorous mechanized semantics to directly affect and improve the designs of major pieces of our industrial computational infrastructure. Watt is a Research Fellow (postdoctoral) at the University of Cambridge, where he focuses on mechanized formal verification, concurrency, and the WebAssembly language. He received a MEng in Computer Science from Imperial College London and a PhD in Computer Science from the University of Cambridge. About the ACM Doctoral Dissertation Award Presented annually to the author(s) of the best doctoral dissertation (s) in computer science and engineering. The Doctoral Dissertation Award is accompanied by a prize of $20,000, and the Honorable Mention Award is accompanied by a prize totaling $10,000. Winning dissertations will be published in the ACM Digital Library as part of the ACM Books Series. About ACM ACM, the Association for Computing Machinery, is the world's largest educational and scientific computing society, uniting educators, researchers, and professionals to inspire dialogue, share resources, and address the field's challenges. ACM strengthens the computing profession's collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking. Contact: Jim Ormond 212-626-0505 ormond@hq.acm.org Printable PDF File * About ACM * About ACM * Volunteer * Membership * Join ACM * Renew My Membership * Membership Options * Membership Benefits * MyACM Sign In * Publications * About Publications * Digital Library * Submit a Paper * Advertise with ACM * Chapters * Chapter Admin Interface * Chapter Activities Calendar * Start a Chapter * Special Interest Groups * SIGs Newsletter * Awards * About ACM's Awards * Conferences * ACM's Conferences * Code of Ethics * ACM's Code of Ethics * Enforcement Procedures * Media Center * ACM Media Center * Advertise with ACM * Education * Education Home * Privacy Policy * Privacy Policy Home --------------------------------------------------------------------- ACM Logo * Facebook logo * Twitter logo * LinkedIn logo * Reddit logo * YouTube logo * Instagram * Flickr * Mastodon * Home * Sitemap * Contact Us * Member Services * Privacy Policy * Social Media Policy * Accessibility * Cookie Declaration * Copyright (c) 2023, ACM, Inc