17 January 2022. Monday. 3PM. London Time. Online over Zoom.
Title Goal-Directed Analysis for TypeScript
Speaker Daniel Schoepe, Applied Scientist, Amazon Prime Video
Bio Dr Daniel Schoepe is an Applied Scientist in the Prime Video Automated Reasoning Group at Amazon, working on verifying TypeScript powering the Prime Video application. Daniel received his PhD from Chalmers University of Technology in Gothenburg, working on language-based security with Andrei Sabelfeld. He also worked on a protocol verifier based on symbolic execution during an internship in the AWS Automated Reasoning Group. Aside from program verification, he is also interested in interactive theorem proving and functional programming.
Meeting ID: 668 413 8396