Dr Xiaowei Huang

Department of Computer Science,
University of Liverpool,
Ashton Street,
Liverpool, L69 3BX
United Kingdom

Office: Ashton Building, Room 222
Phone: (+44) 1517954282
Mobile: (+44) 7831378101
Email: xiaowei.huang at liverpool.ac.uk, xiaowei.huang at live.com

I am a Senior Lecturer (Associate Professor). Prior to Liverpool, I worked at University of Oxford, University of New South Wales, and Chinese Academy of Sciences. My research concerns the correctness (e.g., safety, trustworthiness, etc) of autonomous systems, including

New Open Positions:

Workshop Organisation


Software (Please find a few tool demos here):


Google Scholar and dblp

Open Positions:

Recent Invited Talks, Seminars, and Panel Discussions:

Funding and Grants

Program Committee Memberships

Postdocs in the project where I was/am the primary investigator

Supervision of Postgraduate Research Students

If you are interested in doing a PhD in relevant reserach areas with me, please feel free to contact me. University of Liverpool has a set of established scholarship schemes, including Liverpool china scholarship council award and Sir Joseph Rotblat Alumni Scholarship . Additional to these, I may have some vacancies from time to time.


Key Departmental Administrative Roles