Registered user since Thu 26 Apr 2018
Name: Aditya Sharad
Bio: 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|
View general profile