Project: Distributed Reasoning with Parallel Datalog Materialization
Scientific interests: Automated reasoning, knowledge representation and reasoning, graph theory, concurrency
What triggers me scientifically: Making complex phenomena simple
E-mail:
firstname.lastname@cs.ox.ac.uk
University profile: