SPLASH 2022 (series) / Max Schaefer
Registered user since Fri 30 May 2014
Name:Max Schaefer
Bio:
I am a principal software engineer at GitHub, where I work on projects related to security, static analysis and testing in GitHub Next. Previously, I worked on static analysis for Go and JavaScript in CodeQL at Semmle, which was acquired by GitHub in 2019.
Country:United Kingdom
Affiliation:GitHub, Inc.
Personal website: https://github.com/max-schaefer
Research interests:program analysis, logic programming, testing, type systems, refactoring
Contributions
SPLASH 2022-profile
View general profile
View general profile