Please register via this site for the TAV Symposium Dress Rehearsal taking place on November 30th for speakers and planning team members. The objective of this rehearsal is for you to become familiar with the Bevy Labs site and understand how to connect your AV and share your screen for your live presentation during the Symposium. After registering, you will receive a confirmation email with instructions for the dress rehearsal, including a unique URL to join. Any questions, contact Jessie Birch at email@example.com.
Korea Advanced Institute of Science and Technology (KAIST)
University College London
VP of Engineering
Google / Imperial College London
Software Engineer / Professor
Facebook / University College London
Research Scientist / Professor
University College London
Reader in Program Analysis
Quviq AB / Chalmers University, Gothenburg
Co-founder / Professor
Imperial College London
Sukyoung Ryu is an associate professor in the School of Computing at Korea Advanced Institute of Science and Technology (KAIST). Her research interests are in programming languages and program analysis. She is a recipient of various awards including the Google Faculty Research Award and several Best Paper Awards in PL/SE conferences. She received her Ph.D. in Computer Science from KAIST, worked at Harvard University and Sun Microsystems Laboratories.
Federica Sarro is a Professor of Software Engineering at University College London, where she leads the Software Optimisation, Learning and Analytics Research (SOLAR) group.
Her research sits at the intersection of Software Engineering, Artificial Intelligence and Predictive Analytics with a focus on software project management, quality assurance, app stores analytics, software fairness, automated software testing, repair and optimisation. She has co-authored over 70 publications and has received several international awards, including the ACM Distinguished Paper Award at FSE’19 and the ACM SIGEVO HUMIES Award.
Prof. Sarro has also been invited to serve on several steering committees, organisation committees, programme committees, and editorial boards of well-renowned Software Engineering venues including ICSE, FSE, IEEE TSE, ACM TOSEM, EMSE.
Bryan is a VP of Engineering at Facebook where he leads the Developer Infrastructure team. He joined Facebook in 2011.
Bryan has an extensive background in distributed, networked and high-performance software development, ranging from building and delivering products through managing large engineering teams. Prior to Facebook, he co-founded MailRank and was an Engineering Director at Linden Lab.
Alastair Donaldson is a Professor in the Department of Computing at Imperial College London and a Software Engineer at Google. At Imperial he leads the Multicore Programming Group, investigating novel techniques and tool support for programming, testing and reasoning about highly parallel systems. At Google he leads a group within the Android Platform Graphics team specialising in automated testing of graphics drivers, building research work at Imperial that he commercialized via the GraphicsFuzz spin-out company, which Google acquired in 2018. He was the recipient of the 2017 BCS Roger Needham Award.
I am a research scientist at Facebook and a part time professor of Software Engineering in the Department of Computer Science at University College London. My scientific work centers around software analysis and testing and Search Based Software Engineering (SBSE), a field of engineering I co-founded in the late 1990s. Interests include Search Based Software Engineering (SBSE): Optimising software systems using computational search techniques. 2018 F8 Sapienz talk.
David Clark is a Reader in Program Analysis at the Department of Computer Science of University College London. He gained his PhD at Imperial College. His first permanent appointment was at Kings College London before moving to UCL in 2010. He is most widely known for his seminal work in applying information theory as a program analysis to measure insecure flows in software. His current research interests are dominated by software testing and, in particular, an attempt to construct principles for software testing based on information theory. Current topics of interest to him in this area include test suite diversity, using Deep Neural Nets as side channels, test oracles, failed disruption propagation, testing information flow control, and discovering causal information via black box testing.
John Hughes is a long-time functional programming enthusiast, who discovered random testing at the turn of the millennium and has been using it to test software against formal specifications ever since. He is co-inventor of QuickCheck, a property-based random testing tool popular in the Haskell community, which has been widely emulated and applied to testing all kinds of software. Born in Wales, he studied at Cambridge and then Oxford, then joined Glasgow University for seven years before moving to Sweden in the early nineties. He now divides his time between a Professorship at Chalmers University, Gothenburg, and a testing company he co-founded, Quviq AB.
David L. Dill is a Lead Researcher at Novi, a Facebook company building a digital wallet for the Diem blockchain. He is also Donald E. Knuth Professor, Emeritus, in the School of Engineering at Stanford University. He was on the faculty in the Department of Computer Science at Stanford from 1987 until going emeritus in 2017 and starting his current position at Facebook in 2018. Prof. Dill’s research interests include formal verification of software, hardware, and protocols, with a focus on automated techniques, as well as voting technology and computational biology. For his research contributions, he has received a CAV award and Alonzo Church award. He is an IEEE Fellow, an ACM Fellow and a member of the National Academy of Engineering and the American Academy of Arts and Sciences. He also received an EFF Pioneer Award for his work in voting technology, and he is the founder of VerifiedVoting.org.
Research Event Producer
Research Program Manager, Academic Relations
Jessie (she/her) is a Research Event Producer on the Research Operations and Academic Relations (Marketing & Events) team at Meta. She partners with research program managers and research scientists at Meta to strategize and produce impactful events and programs for teams within the research community, specifically Meta's Infrastructure, Privacy and Security, Systems and Networking, and Connectivity teams. Jessie graduated from University of Colorado at Boulder with a Bachelor of Arts in Communication and a State of Colorado Teaching License. Prior to joining Meta in May 2018, Jessie worked as an AI and Research Programs Event Coordinator on assignment at Google (April 2017-May 2018), a Public Relations Account Coordinator at SHIFT Communications (May 2016-April 2017), and an Event Coordinator Intern at Human Movement Management (February 2014-September 2014).
I am a research program manager on the Facebook Research Operations and Academic Relations team. I focus on fostering engaging collaborations, projects, programs and conference activities for the Facebook Infrastructure and Security research teams. I help build strong strategic plans to help our research teams be impactful and bring value to the academic community. In addition, I am proud to lead and manage the Facebook Fellowship program.
Prior to joining Facebook, I have been working within the entertainment industry for the past 16+ years at GameWorks/Sega Entertainment USA and, most recently, Technicolor for 10.5 years where I worked in various marketing and program management roles. For the majority of my time at Technicolor, I worked for the Chief Scientist and the Chief Technology Officer managing and leading technical initiatives—the Technicolor Fellowship Network, Engineering Awards, Scientific Advisory Board and the Technicolor Science & Technology Week. I received my bachelor’s degree in business administration with a concentration in marketing from California State University, Fullerton.
I am a Research Scientist working with the Static Analysis Tools team in the Facebook London Engineering office. I came to Facebook in 2013 with the acquisition of the verification startup Monoidics, and before that I held academic positions at Syracuse University, Queen Mary University of London and University College London. I maintain a part-time Professor position at UCL.
My research has been in the broad areas of programming languages and logic, ranging from new logics and mathematical models to industrial applications of formal proof. With John Reynolds I developed separation logic, a theory which opened up new practical possibilities for program verification. Subsequent work in academic program analysis eventually led to the the Monoidics/Facebook Infer program analyzer, which is notable for supporting deep reasoning about big code that is undergoing rapid concurrent modification. Infer currently runs in production at Facebook, where it helps thousands of bugs be fixed each month before reaching production.
I have received a number of awards for my work in verification including the 2016 CAV Award and the 2016 Godel Prize. I was elected fellow of the Royal Society in 2018 and Fellow of the Royal Academy of Engineering in 2016.
Andy left his native Australia some time last in the 20th century, making his way to London and Facebook via Glasgow, Gothenburg, and Portland, Oregon. Along the way, he earned a PhD, co-founded an applied formal methods start-up called Galois, fell in love, got married and became a dad. Andy now supports the Infer team in DevInfra, and is having the time of his life.
Nadia Alshahwan is a Software Engineer in testing and verification at Facebook. She is part of the Sapienz automated ui testing team. Nadia received a PhD from UCL in web application testing and worked as a researcher both in security and model based testing. Before joining Facebook, she was an information architect at JP Morgan.