Name:Aditya Sharad

Country:United Kingdom

Affiliation:Semmle

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