Xinyue Zhang
Biography
I'm a DPhil student under the supervision of Prof. Ian Horrocks and Prof. Pan Hu.
My main research focus is the optimisation of Datalog reasoning, including the computation efficiency, storage optimisation, and maintenance of materialisations.