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.

Philippa Gardner is a Professor in the Department of Computing at Imperial College London and a Fellow of the Royal Academy of Engineering. She currently holds a UK Research and Innovation (UKRI) Established Fellowship, and directs the Research Institute on Verified Trustworthy Software Systems funded by UKRI and GCHQ. Her research focusses on program specification and verification. In particular, her group is credited with bringing logical abstraction and logical atomicity to modern concurrent separation logics, developing trusted Coq-mechanised specifications of programming languages such as JavaScript and Web Assembly, and developing the Gillian platform for building symbolic analysis tools for real-world programming languages such as C and JavaScript.

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.

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.

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.