Adam (Xinmiao) Huang

I am a third-year PhD student in Computer Science at the University of Liverpool, advised by Prof. Xiaowei Huang and Dr. Yi Dong.

I work on trustworthy AI: making learning-enabled systems whose behaviour we can predict, monitor, and verify. My current directions are:

• Runtime monitoring for LLM agents: warning of failures before they happen, with interpretable traces.
• Neuro-symbolic and spatial reasoning in large multimodal models.
• Formal safety verification for learning-enabled robotics.

Outside the lab, I do Olympic weightlifting, tinker with 3D printing, and shoot film.

Email - Google Scholar - GitHub