He is the lead developer of Web Puppeteer, an open-source, JavaScript framework for testing web applications. He received his PhD in Computer Science from MIT in 2009, where he specialized in software verification. Greg is also a contributor to WebDriver.