Working with Peter O'Hearn in academia and industry
Mark Harman is a full-time Research Scientist at Meta Platforms in the Instagram Product Performance team, working on software, engineering automation. He was previously in the Simulation-Based Testing (SBT) team at Meta, which he co-founded. The SBT team developed and deployed both the Sapienz and WW platforms for client- and server- side testing. Sapienz grew out of Majicke (a start up Mark co-founded) that was acquired by Facebook (now Meta Platforms) in 2017. Prior to working at Meta Platforms, Mark was head of Software Engineering at UCL and director of its CREST centre, where he remains a part time professor. In his more purely scientific work, he co-founded the field Search Based Software Engineering (SBSE) in 2001. He received the IEEE Harlan Mills Award and the ACM Outstanding Research Award in 2019 for his work, and was awarded a fellowship of the Royal Academy of Engineering in 2020.
Sun 14 JanDisplayed time zone: London change
16:00 - 17:30 | |||
16:00 22mTalk | Working with Peter O'Hearn in academia and industry O'Hearn Fest Mark Harman Meta Platforms, Inc. and UCL | ||
16:22 22mTalk | Pete's Footprints O'Hearn Fest Nick Benton Meta | ||
16:45 22mTalk | Symbolic Execution with Separating Decision Diagrams O'Hearn Fest Josh Berdine SkipLabs | ||
17:07 22mTalk | With Peter from Theory to Engineering O'Hearn Fest Dino Distefano Meta |