معرفی
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.
