Sen Zheng

Sen Zheng is a Researcher in the Autonomy and Verification group at the University of Manchester. His work focuses on formal verification for swarm robotics and applying automated reasoning techniques to real-world problems. He holds a PhD in Formal Methods from the University of Manchester (2021), an MSc from the same institution (2016), and a BEng from Northwestern Polytechnical University (2015).

• Education:
• PhD: SATURATION-BASED QUERY ANSWERING AND REWRITING PROCEDURES FOR GUARDED FIRST-ORDER FRAGMENTS (2017-2021)
• MSc: University of Manchester (2015-2016)
• BEng: Northwestern Polytechnical University (2011-2015)

Research interests include automated reasoning, theorem proving, and ontology-based query answering. His work bridges theoretical logic and practical applications in robotics and knowledge representation. Recent publications explore saturation-based methods for guarded fragments and swarm robotics verification. He participates in the CRADLE project, addressing robotic autonomy in challenging environments.