Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
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 code-intelligence technology in the Office of the CTO (OCTO). 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.
Research interests:program analysis, logic programming, type systems, refactoring

Contributions

Show activities from other conferences

ICSE 2021-profile
View general profile