Xiaowei Huang
Interests
My recent research concerns logic-based approaches for the specification, verification and synthesis of autonomous multi-agent systems.
Biography
From August 2015, I start working in the department of computer science, University of Oxford, UK.