2020 Testing and Verification Symposium

Meta Research Events

December 1, 2020 at 4:20 PM UTC – December 3, 2020 at 7:15 PM UTC


    About this event

    Join us for the fourth annual Facebook Testing and Verification (TAV) Symposium where we'll aim to bring together academia and industry in an open environment to exchange ideas and showcase the top experts from testing and verification scientific research and practice. Taking place virtually this year from Dec 1 to 3, the symposium is open to all testing and verification practitioners and researchers and is free to attend. 

    To connect with fellow attendees and members of the testing and verification broader community, join our TAV group on Facebook. For more information about the Symposium and research at Facebook, check out our blog post on research.fb.com.

    Recommended browser - We highly recommend using Google Chrome to join the Symposium for the best attendee experience.


    • Peter O'Hearn

      Facebook / University College London

      Research Scientist / Professor

    • Sukyoung Ryu

      Korea Advanced Institute of Science and Technology (KAIST)

      Associate Professor

    • Federica Sarro

      University College London


    • Bryan O'Sullivan


      VP of Engineering

    • Mark Harman

      Facebook / University College London

      Research Scientist / Professor

    • Alastair Donaldson

      Google / Imperial College London

      Software Engineer / Professor

    • David Clark

      University College London

      Reader in Program Analysis

    • John Hughes

      Quviq AB / Chalmers University, Gothenburg

      Co-founder / Professor

    • Philippa Gardner

      Imperial College London


    • David Dill


      Lead Researcher


    • Peter O'Hearn

      Facebook / University College London

      Research Scientist / Professor

    • Nadia Alshahwan


      Software Engineer

    • Andy Adams-Moran


      Software Engineering Manager

    • Sharon Ayalde


      Research Program Manager, Academic Relations

    • Jessica Birch


      Research Event Producer

    Contact Us