Facebook Testing and Verification Symposium 2020

Facebook Testing and Verification Symposium
Dec 1 - 3, 8:20 AM (PST)

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.

Speakers

  • Peter O'Hearn

    Peter O'Hearn

    Facebook / University College London

    Research Scientist / Professor

    See Bio
  • Sukyoung Ryu

    Sukyoung Ryu

    Korea Advanced Institute of Science and Technology (KAIST)

    Associate Professor

    See Bio
  • Federica Sarro

    Federica Sarro

    University College London

    Professor

    See Bio
  • Bryan O'Sullivan

    Bryan O'Sullivan

    Facebook

    VP of Engineering

    See Bio
  • Mark Harman

    Mark Harman

    Facebook / University College London

    Research Scientist / Professor

    See Bio
  • Alastair Donaldson

    Alastair Donaldson

    Google / Imperial College London

    Software Engineer / Professor

    See Bio
  • David Clark

    David Clark

    University College London

    Reader in Program Analysis

    See Bio
  • John Hughes

    John Hughes

    Quviq AB / Chalmers University, Gothenburg

    Co-founder / Professor

    See Bio
  • Philippa Gardner

    Philippa Gardner

    Imperial College London

    Professor

    See Bio
  • David Dill

    David Dill

    Novi

    Lead Researcher

    See Bio
  • Hosts

  • Peter O'Hearn

    Peter O'Hearn

    Facebook / University College London

    Research Scientist / Professor

    See Bio
  • Nadia Alshahwan

    Nadia Alshahwan

    Facebook

    Software Engineer

    See Bio
  • Andy Adams-Moran

    Andy Adams-Moran

    Facebook

    Software Engineering Manager

    See Bio
  • Sharon Ayalde

    Sharon Ayalde

    Facebook

    Research Program Manager, Academic Relations

    See Bio
  • Jessica Birch

    Jessica Birch

    Facebook

    Research Events Producer

    See Bio