Sun 15 - Sat 21 November 2020 Online Conference
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



Show activities from other conferences

SPLASH 2020-profile
View general profile