ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Aditya Sharad

Registered user since Thu 26 Apr 2018

Name:Aditya Sharad

Aditya Sharad is a Senior Manager of Software Engineering at GitHub. He leads the CodeQL core engineering team, which is responsible for the query language, evaluation engine, and developer tooling for the CodeQL semantic code analysis technology. First at Semmle and later at GitHub, Aditya has extensive experience in both building code analysis technology and teaching the community how to use it to find security vulnerabilities in software. He holds bachelor’s and master’s degrees in mathematics and computer science from the University of Oxford.

Country:United States
Research interests:Program analysis, logic programming, Datalog, information security, machine learning, automata theory


SPLASH 2020 Variant analysis
Show activities from other conferences

SPLASH 2020-profile
View general profile