Name:Aditya Sharad

Country:United States

Affiliation:Semmle

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