Aditya Sharad

Registered user since Thu 26 Apr 2018

Name:Aditya Sharad
Country:United States
Affiliation:GitHub
Research interests:Program analysis, logic programming, Datalog, information security, machine learning, automata theory

Contributions