2022 MIT Digital Technology and Strategy Conference

Seizing new opportunities for digital business transformation

October 12, 2022 - October 13, 2022
2022 MIT Digital Technology and Strategy Conference
Conference


Location

Boston Marriott Cambridge
50 Broadway
Cambridge, MA 02142

Overview

The pandemic forced digital transformation upon businesses as they saw the need for greater resiliency and flexibility. Leading companies adapted their digital transformation strategies and pivoted to move some of their activities and assets to cyberspace, not only to survive  but also thrive in an evolving digital economy. Metaverse and Web3 are shaping the next generation of the web, which will be the internet of values with enriched digital functions and customer experience. 

The annual MIT Digital Technology and Strategy Conference explores the latest MIT research and its impact across industries. The conference highlights MIT’s cutting-edge research in areas such as digital twins, metaverse, synthetic realities, cybersecurity, AI/ML, synthetic data, platform business, Web3, digital transformation, pathways for digital value, work of the future, and more. 

Join MIT faculty, startups, and industry executives as they discuss their latest innovations and how they enable sustainable business with the right digital technology and strategy. The conference also offers networking opportunities with top MIT researchers and industry executives.


Registration Fee
 ILP Member: Complimentary
 General Public: $2,250 
 Current MIT Faculty/Staff/Student: Complimentary
    * MIT Alum, Sloan Exec Ed, and Professional Education Member:  70% discount Send email for a discount code.
    * MIT Startup Exchange Member: Send email for a comp code.

Live Streaming available to ILP members
  This conference will be held in a hybrid format combined as an in-person event with online live streaming available to ILP members only. Current ILP members will be able to register either In-Person or Live Streaming registration type. Live Streaming link will be sent to registrants a week before the conference.

Registration Questions: ocrevents@mit.edu

Book your hotel room at Marriott with group rate ($380 + tax)

Guests may reserve their rooms by calling Marriott Central Reservations at 1-800-228-9290 or by using the reservation link. Guests may book their rooms online no later than September 20, 2022, to receive the discounted rate for the room block.

  • Overview

    The pandemic forced digital transformation upon businesses as they saw the need for greater resiliency and flexibility. Leading companies adapted their digital transformation strategies and pivoted to move some of their activities and assets to cyberspace, not only to survive  but also thrive in an evolving digital economy. Metaverse and Web3 are shaping the next generation of the web, which will be the internet of values with enriched digital functions and customer experience. 

    The annual MIT Digital Technology and Strategy Conference explores the latest MIT research and its impact across industries. The conference highlights MIT’s cutting-edge research in areas such as digital twins, metaverse, synthetic realities, cybersecurity, AI/ML, synthetic data, platform business, Web3, digital transformation, pathways for digital value, work of the future, and more. 

    Join MIT faculty, startups, and industry executives as they discuss their latest innovations and how they enable sustainable business with the right digital technology and strategy. The conference also offers networking opportunities with top MIT researchers and industry executives.


    Registration Fee
     ILP Member: Complimentary
     General Public: $2,250 
     Current MIT Faculty/Staff/Student: Complimentary
        * MIT Alum, Sloan Exec Ed, and Professional Education Member:  70% discount Send email for a discount code.
        * MIT Startup Exchange Member: Send email for a comp code.

    Live Streaming available to ILP members
      This conference will be held in a hybrid format combined as an in-person event with online live streaming available to ILP members only. Current ILP members will be able to register either In-Person or Live Streaming registration type. Live Streaming link will be sent to registrants a week before the conference.

    Registration Questions: ocrevents@mit.edu

    Book your hotel room at Marriott with group rate ($380 + tax)

    Guests may reserve their rooms by calling Marriott Central Reservations at 1-800-228-9290 or by using the reservation link. Guests may book their rooms online no later than September 20, 2022, to receive the discounted rate for the room block.

Register

Agenda

  • Day 1: October 12 (Wednesday)
    8:00 AM

    Registration and Light Breakfast
    9:00 AM

    Welcome and Introduction
    Executive Director (Interim), MIT Corporate Relations
    John Roberts
    Executive Director (Interim)

    John Roberts has been Executive Director of MIT Corporate Relations (Interim) since February 2022. He obtained his Ph.D. in organic chemistry at MIT and returned to the university after a 20-year career in the pharmaceutical industry, joining the MIT Industrial Liaison Program (ILP) in 2013.  Prior to his return, John worked at small, medium, and large companies, holding positions that allowed him to exploit his passions in synthetic chemistry, project leadership, and alliance management while growing his responsibilities for managing others, ultimately as a department head. As a program director at MIT, John built a portfolio of ILP member companies, mostly in the pharmaceutical industry and headquartered in Japan, connecting them to engagement opportunities in the MIT community. Soon after returning to MIT, John began to lead a group of program directors with a combined portfolio of 60-80 global companies. In his current role, John oversees MIT Corporate Relations which houses ILP and MIT Startup Exchange.

    Graham Rong
    Director

    Dr. Rong is Director of Corporate Relations at MIT. He currently supervises a group of ILP officers who promote and manage the interactions and relationships between the research at MIT and companies worldwide, particularly in greater China and extended Asian countries, to help them stay abreast of the latest developments in technology and business practices.

    Previously, Dr. Rong founded IKA, LLC. He has led corporate development and product innovation, and provided strategic advices to companies in corporate strategy, IT leadership, digital transformation, AI, enterprise content management, and customer relationship. He held senior roles in Harte-Hanks and Vignette Corporation. He held an EU postdoctoral research fellowship in the University of Edinburgh in Scotland where he started global collaborative research.

    Dr. Rong is on the board of multiple organizations, including 128CUTE since 2005 and MIT Sloan Alumni Association of Boston from 2009 to 2012. He chaired MIT Sloan CIO Symposium from 2009-2011. He is a senior expert invited by international organizations.

    Dr. Rong holds a M.B.A. in global and innovation leadership from the MIT Sloan School of Management and Ph.D in numerical computing from University of Guelph in Canada.

    9:15 AM

    Keynote
    Professor of Information Engineering, MIT Department of Civil and Environmental Engineering
    John Williams
    Professor of Information Engineering

    John Williams holds a BA in Physics from Oxford University, an MS in Physics from UCLA, and a Ph.D. in Numerical Methods from University of Wales, Swansea. His research focuses on the application of large-scale computation to problems in cyber-physical security and energy infrastructure. He is director of MIT’s Geospatial Data Center and from 2006-2012, was Director of the MIT Auto-ID Laboratory, which invented the Internet of Things.

    He is author or co-author of over 250 journal and conference papers, as well as the book, RFID Technology and Applications. He contributed to the 2013 report for the UK Office for Science Foresight Project- The Future of Manufacturing.

    Alongside Bill Gates and Larry Ellison, he was named as one of the 50 most powerful people in Computer Networks. He consults to companies including Accenture, Schlumberger, SAP Research, Microsoft Research, Kajima Corp, US Lincoln Laboratory, Sandia National Laboratories, US Intelligence Advanced Research Projects Activity, Motorola, Phillip-Morris Inc., Ford Motor Company, Exxon-Mobil, Shell, Total, and ARAMCO.

    His international collaborations include Oxford and Cambridge Universities, HKUST and PolyU Hong Kong, Imperial College of Science and Technology-UK, Malaysia University of Science and Technology (MUST), KACST Saudi Arabia, Masdar Institute of Science and Technology (Abu Dhabi.)

    He organized the first Cyber-Physical Security Conference in the UK (2011) and along with Dr. Sanchez, he runs the MIT Applied Cyber Security Professional Education summer course. At MIT he teaches courses Architecting Software Systems (MIT 1.125) and Engineering Computation and Data Science (MIT 1.00/1.001). Online courses: https://professional.mit.edu/programs/faculty-profiles/john-r-williams

    9:55 AM

    Metaverse and Synthetic Realities
    Executive Vice President at Samsung Electronics
    Former MIT Associate Professor of the Practice
    Federico Casalegno
    Executive Vice President at Samsung Electronics
    Former MIT Associate Professor of the Practice

    Federico is Executive Vice President of Design at Samsung Electronics. He heads the Samsung Design Innovation Center (SDIC) in San Francisco CA Next-Generation Experience Planning Team in Seoul and Experience and Insights teams within Samsung Research. Federico leads global multidisciplinary teams in the USA Asia and Europe to design new generation of experiences and envision future products. As a designer innovator and social scientist he focuses on the impact of networked digital technologies on human behavior and society and designs products services and meaningful experiences to improves people’s lives. Before joining Samsung Federico was an Associate Professor of the Practice at the Massachusetts Institute of Technology teaching at MIT and MIT Media Lab. He also founded and directed the MIT Design Lab and the MIT Mobile Experience Lab. He previously worked at Motorola Inc. and Philips Design envisioning and creating innovative product experiences. He has been awarded honorary professorships at the Glasgow School of Art University of Glasgow and the Jiangnan University School of Design in Wuxi China. He has published several scientific papers in peer-reviewed journals along with books and articles and he has won several awards for his design and innovation work. Federico earned the PhD degree in Sociology of Culture and Communication from the Sorbonne University Paris V with a focus on mediated communication and social interaction in networked communities and smart cities.

    Federico Casalegno will discuss the evolution of interaction in digital environments, including the promises of the Metaverse, virtual and augmented reality, digital twins, and ambient computing, among others. He will presents ideas about the future of interaction, and how the design of Synthetic Realities will be the next big challenge to craft innovation for human benefits.

    Metaverse and Synthetic Realities, are not about mere technologies. We are designing new powerful hybrid human environment that support social interaction. And the future of interaction will require that we shift our thinking beyond simple interaction with a single device or service to design interaction with a constellation of devices, ecosystem of services and connected learning systems who proactively takes autonomous decisions.

    In these new digital environments, before focusing products and technologies, we need to focus on the experiences that we want to have in these new spaces. Today we have the opportunity to design a humanity-centered Metaverse with purpose, good for humans and the planet.

    10:35 AM

    MIT Professional Education
    10:40 AM

    Networking Break
    11:10 AM

    Positive-sum Automation
    Executive Director, MIT Industrial Performance Center
    Ben Armstrong
    Executive Director

    Ben Armstrong is the executive director of MIT’s Industrial Performance Center. His research and teaching examine how workers, firms, and regions adapt to technological change. In his work, Ben has collaborated with governments, non-profit organizations, and firms to understand how scholarship and education can be useful to practitioners and policymakers. Previously, he worked for Google Inc. and served on the board of an open-source hardware non-profit. Ben received his PhD from MIT.

    What firms gain from automation in productivity they often risk losing in flexibility. When firms make this tradeoff, we call it zero-sum automation. But this doesn’t have to be the case. How technologies are designed, who is involved in implementing them, and the ways that organizations define success can all shape the eventual impact that an automation technology has. There’s an emerging set of technologies and management approaches that can enable firms to automate flexibly. This presentation focuses on how lower-code programming interfaces, bottom-up approaches to integrating new technologies, and a new way of thinking about the role of automation within the firm can contribute to automation that improves productivity and flexibility.

    11:50 AM

    MIT Startup Exchange Lightning Talks
    12:30 PM

    Lunch with Startup Exhibit
    1:30 PM

    The ‘Intelligent’ Future of KPIs: [Machine] Learning to Optimize Key Performance
    Research Fellow, MIT Sloan School's Initiative on the Digital Economy
    Schrage
    Michael Schrage
    Research Fellow, MIT Sloan School's Initiative on the Digital Economy

    Michael Schrage is a fellow with MIT Sloan School's Initiative on the Digital Economy and the author of ’The Innovator’s Hypothesis’ [MIT Press 2014], ‘Who Do You Want Your Customers To Become?’ [Harvard Business Review Press 2012], and ‘Serious Play’ [Harvard Business Review Press 2000], among others. His research, writing, and advisory work focuses on the ‘behavioral economics’ of models, prototypes, and experiments as collaborative media for managing ‘innovation risk’ and opportunity. His current research explores the interplay of ’network effects’ with innovation and human capital. Schrage’s pioneering work in ‘selvesware’ technologies was designed to augment aspects, attributes, and talents of productive individuals. Current research building on that theme, in collaboration with Google and the Sloan Management Review, addresses the ‘future of KPIs’ and digital dashboards. His particular interest is the future of ‘agency’ in algorithmically-rich networked environments.

    This brief talk describes a research and innovation trajectory combining digital instrumentation, machine learning and portfolio management to redefine how organizations measure and manage key performance. Drawing on the insight that ‘KPIs’ and other metrics can be recast as ’software agents,’ this talk suggests that successful ‘digital transformations’ will be organized around the measures that matter most. This disruptive shift poses unique risks and opportunities for leaderships and boards alike.

    2:10 PM

    Panel: How can Digital Technology enable us realize ESG and net-zero
    Moderator:
    Research Fellow, MIT Sloan School's Initiative on the Digital Economy
    Schrage
    Michael Schrage
    Research Fellow, MIT Sloan School's Initiative on the Digital Economy

    Michael Schrage is a fellow with MIT Sloan School's Initiative on the Digital Economy and the author of ’The Innovator’s Hypothesis’ [MIT Press 2014], ‘Who Do You Want Your Customers To Become?’ [Harvard Business Review Press 2012], and ‘Serious Play’ [Harvard Business Review Press 2000], among others. His research, writing, and advisory work focuses on the ‘behavioral economics’ of models, prototypes, and experiments as collaborative media for managing ‘innovation risk’ and opportunity. His current research explores the interplay of ’network effects’ with innovation and human capital. Schrage’s pioneering work in ‘selvesware’ technologies was designed to augment aspects, attributes, and talents of productive individuals. Current research building on that theme, in collaboration with Google and the Sloan Management Review, addresses the ‘future of KPIs’ and digital dashboards. His particular interest is the future of ‘agency’ in algorithmically-rich networked environments.

    3:00 PM

    MIT Sloan Executive Education
    3:05 PM

    Networking Break
    3:30 PM

    Preparing the Enterprise for Web3
    Co-Chair MIT Platform Strategy Summit
    CEO and Co-Founder, MyLearningNFT
    Peter Evans
    Co-Chair MIT Platform Strategy Summit
    CEO and Co-Founder

     

    Peter Evans is the Managing Partner at the Platform Strategy Institute, a consultancy dedicated management strategy and application of platform business models across a wide range of sectors. Peter has over 20 years of experience leading teams in identifying, framing, assessing, and communicating high-priority marketplace trends and disruptions that support business planning and investment prioritization. He has specialized in helping companies see around corners, anticipate key market trends and craft seminal thought leadership that framed major multi-year growth initiatives.

    At KPMG, he was a Partner in the Innovation and Enterprise Solution group responsible market and emerging technology sensing, innovation portfolio management and business development. To support the firm's intelligent automation strategy, he led a major study of how the world's largest enterprises are adopting artificial intelligence.

    Prior to joining KPMG, Dr. Evans was Vice President at the Center for Global Enterprise a nonprofit established by Sam Palmisano, former Chairman and CEO of IBM. He was instrumental in framing and delivering on the Center’s research, business education, and global CEO engagements.

    Previously, Dr. Evans held key strategy and market intelligence roles at General Electric. He was the lead author of GE's seminal white paper 'Industrial Internet: Pushing the Boundaries of Minds and Machines," which articulated the macro trends behind GE's shift to a 'digital industrial' enterprise and led to the establishment of Predix.

    He also worked as an independent consultant for a variety of corporate and government clients, including the US Department of Energy, the OECD and the World Bank.

    He received his master's degree and PhD degree from the Massachusetts Institute of Technology. He is a lifetime member of the Council on Foreign Relations and an International Academy of Management Fellow. He is the co-chair of the MIT Platform Strategy Summit and the Founder of MusicTech Connect in Atlanta.

    A shift to a more decentralized, blockchain-based internet will have important implications for the enterprise.  The next phase of the internet, often referred to as Web3, will require adapting to a shifting external environment.  Changes to customer identity and data sovereignty will have important implicants for marketing, product design and data analytics.  Web3 will also require internal adjustments. These changes include developing new business processes that are more on-chain and involve new technologies like NFTs, the Metavserse, and tokenized digital twins.  A shift from static to dynamic certificates will change internal training and development in ways that will incentives and reward continuous learning.  In short, web3 will create a new enterprise frontier, requiring a new wave of innovation and investment to keep pace. 

    4:10 PM

    Future Ready: The Four Pathways to Capturing Digital Value
    Research Scientist
    Center for Information Systems Research (CISR)
    MIT Sloan School of Management
    Stephanie Woerner
    Research Scientist
    Center for Information Systems Research (CISR)
    MIT Sloan School of Management

    Stephanie Woerner is a Research Scientist at the Center for Information Systems Research (CISR) at the MIT Sloan School of Management. Stephanie is an expert on how companies use technology and data to create more effective business models and her research centers on how companies manage organizational change caused by the digitization of the economy. In 2016, she was a subject matter expert on enterprise digitization for the Wall Street Journal CEO Council Conference. She has a passion for measuring hard-to-assess digital factors such as connectivity and customer experience, and linking them to firm performance. Recent articles (with Peter Weill) include "Thriving in an Increasingly Digital Ecosystem,” and “Is Your Company Ready for a Digital Future?”, in Sloan Management Review. Stephanie is the coauthor, with Peter, of What’s Your Digital Business Model? Six questions to help you build the next generation enterprise, (Harvard Business Review Press, 2018).

    4:50 PM

    Networking Reception
  • Day 2: October 13 (Thursday)
    8:30 AM

    Registration with Light Breakfast
    9:00 AM

    Welcome and Introduction
    9:10 AM

    Automation of Operations with Organizations using AI and Data
    Andrew (1956) and Erna Viterbi Professor, MIT Department of Electrical Engineering and Computer Science
    Devavrat Shah
    Andrew (1956) and Erna Viterbi Professor

    Devavrat Shah is Andrew (1956) and Erna Viterbi Professor of AI and Decisions at MIT where he is currently the faculty director of Deshpande Center for Technology Innovation as well as founding director of Statistics and Data Science Center. His research focuses on algorithms for Statistics and Machine Learning. He is a Kavli Fellow of National Academy of Sciences, distinguished alumni of his alma mater IIT Bombay. Previously he co-founded retail analytics start-up Celect which is now part of Nike since 2019. Currently, he is focused on making AI functionalities accessible. Towards that, he co-founded Ikigai Labs in 2019 with the mission of enabling the use of AI with the ease of spreadsheets.

    Physical to digital transformation has led to the rise of business “data operators”: individuals in organizations, from the ground level to the C-suite, who are using data as their primary “sensors” to run mission-critical operations. The day-to-day workflow of such a data biz operator requires accessing data from multiple sources, "stitching" them together, extracting current status as well as insights,  making decisions and communicating to the downstream task in a collaborative manner. While there are a number of tools for data analysts, data scientists and data engineers, the tool-set for data operators has been absent and subsequently leading to widespread reliance on spreadsheets.

    In this talk, we shall discuss how AI-native cloud-data platform can enable such data operators to "program" their biz ops seamlessly. We shall discuss how AI can enables stitching disparate data sources seamlessly with human-in-the-loop workflows. We shall also discuss the opportunities that can be realized by recent advances in causal inference and reinforcement learning for "what if" scenario analysis.

    9:50 AM

    Towards Teleportation and Telepathy: Imaginaries and Futures of Metaverse
    Director, MIT Virtual Experience Design Lab
    Lecturer of Design and Computation, MIT Department of Architecture
    Cagri Hakan Zaman
    Director, MIT Virtual Experience Design Lab
    Lecturer of Design and Computation

    Dr. Cagri Hakan Zaman, is the Director of MIT Virtual Experience Design Lab and a Lecturer of Design and Computation at the Department of Architecture. His interdisciplinary research focuses on understanding human spatial experiences in physical and virtual spaces, and the development of immersive media tools for design and engineering. His dissertation "Spatial Experience in Humans and Machines" offers a novel approach to spatial experience from a story-understanding perspective. Dr. Zaman has extensive research experience in artificial intelligence, immersive media, and computational design. Before founding MIT Virtual Experience Design Lab, he conducted research at MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), MIT Media Lab, and MIT Design Lab. A recipient of the MIT DesignX challenge grant in 2017, Dr. Zaman founded Mediate, a Sommerville-based research and innovation laboratory, which develops AI and XR solutions that empower people in physical spaces. His project Supersense, an AI-powered mobile application for visually impaired and blind individuals, has been considered among the top assistive technology solutions and supported by National Science Foundation and US Veteran Affairs. He holds a Ph.D. (2020), Master of Science in Architecture Studies (2014), and Master of Science in Electrical Engineering and Computer Science (2014) from Massachusetts Institute of Technology, B.Arch (2009), and a Master of Science in Architectural Design Computing (2011) from Istanbul Technical University.         

    Originally introduced in a sci-fi novel, the term Metaverse has become a popular term in recent years to describe infinitely many possibilities brought forward by emerging technologies of virtual and augmented reality, high speed networking, and blockchain technology. You are probably familiar with the promise that you will soon teleport to any place you want –real or imaginary- with a click of a button, and meet with your friends and colleagues as if they are just across the room. The idea of metaverse comes with a lot of fantasies and hype just like these. How much of these are actually true and impactful? How should we design these digital immersive spaces and integrate them to the physical space? We study and develop immersive media technologies that tackle these questions. Putting the human factor to the center, we explore many exciting futures such as remote training and maintenance, human- AI collaborative spaces, intelligence augmentation, and more. 

    10:30 AM

    Networking Break
    11:00 AM

    Digitalization in manufacturing and human health from sensors, to data, to AR/VR
    Associate Director, MIT.nano
    Faculty Lead, Industry Immersion Program in Mechanical Engineering
    Co-Director, MIT Clinical Research Center
    Brian Anthony
    Associate Director, MIT.nano
    Faculty Lead, Industry Immersion Program in Mechanical Engineering
    Co-Director, MIT Clinical Research Center

    Dr. Anthony is Associate Director of MIT.nano, Faculty Lead for the Industry Immersion Program in Mechanical Engineering, and Co-Director of the MIT Clinical Research Center. With over 25 years’ experience in product realization—Dr. Anthony won an Emmy (from the Academy of Television Arts and Sciences) in broadcast technical innovation—Dr. Anthony designs instruments and techniques to monitor and control physical systems. His work involves systems analysis and design and calling upon mechanical, electrical, and optical engineering, along with computer science and optimization, to create solutions.

    The focus of Dr. Anthony’s research is  computational instrumentation—the design of instruments and techniques to measure and control complex physical systems. His research includes the development of instrumentation and measurement solutions for manufacturing systems and medical diagnostics and imaging systems. In addition to his academic work, he has extensive experience in market-driven technology innovation, product realization, and business entrepreneurship and commercialization at the intersection between information technology and advanced manufacturing. His teaching interests include the modelling of large-scale systems in a wide variety of decision-making domains and the development of optimization algorithms and software for analyzing and designing such systems. He has extensive experience in market-driven technology innovation as well as business entrepreneurship.

    Digital technologies are changing the world, the way we live, manufacture, and learn! 

    You are likely familiar with digital technologies in the home. Voice technology assistants, thermostats, light bulbs, robotic vacuum systems. These devices collect data using sensors to perform tasks and provide automated responses to changing conditions. 

    New types of Computation, enable new opportunities in the manufacturing and process controls industry. New types of Displays, Sensors, and Algorithms… these digital technologies serve to help automate and improve manufacturing processes and to bring better products to market faster and cheaper!  Smart technologies perform similar tasks on the factory floor, monitoring processes, troubleshooting on-the-fly, monitoring the condition of the factory, worker, and supply chain.  

    Similarly, digital technologies are changing the way that humans monitor their personal health.

    We explore concepts driving the digitalization of manufacturing and healthcare -- the convergence of automation, data analytics and machine learning from the machine to the supply chain, from the individual to the health-care system.  We will explore cases that will help you innovate now and in the future.

    11:40 AM

    Ending the Arms Race with Security by Construction
    Adam Chlipala
    Associate Professor

    Adam Chlipala has been on the faculty in computer science at MIT since 2011.  He did his undergrad at Carnegie Mellon and his PhD at Berkeley, and his research focuses on clean-slate redesign of computer-systems infrastructure, typically taking advantage of machine-checked proofs of functional correctness.  Much of his work uses the Coq proof assistant, about which he has written a popular book, "Certified Programming with Dependent Types."  He most enjoys finding opportunities for drastic simplification over incumbent abstractions in computer systems, and some favorite tools toward that end are object-capability systems, transactions, proof-carrying code, and high-level languages with whole-program optimizing compilers.  Some projects particularly far along the real-world-adoption curve are Fiat Cryptography, for proof-producing generation of low-level cryptographic code, today run by Chrome for most HTTPS connections; and Ur/Web, a production-quality domain-specific language for Web applications.

    Most of cybersecurity at today's typical large corporation is reactive: we accept that the computer systems we deploy will be riddled with security vulnerabilities, so we focus on rapid response as individual issues are discovered.  It's a cutthroat arms race against bad actors, who work to find new vulnerabilities as quickly as we can patch them.  The venerable idea of formal verification offers a more principled solution: if we can build our systems alongside mathematical proofs of security, then we get out of the business of being surprised by specific vulnerabilities.  The 21st century has actually seen very good progress on real-world realization of this idea, and I will give some examples from my work at MIT CSAIL, including our Fiat Cryptography project, which is used by all major web browsers to provide proved-correct code for cryptographic arithmetic.  I will also explain the bigger-picture promise and remaining challenges of related technology.

    12:20 PM

    Adjournment with Bagged Lunch