Personal profile

Biography

I am a postdoctoral research associate in the autonomy and verification group at the University of Manchester, investigating formal verification for swarm robotics, reporting to Prof. Michael Fisher and Prof. Clare Dixon. Previous to that, I completed my PhD in the formal methods group at the University of Manchester, supervised by Dr. Renate A. Schmidt and Dr. Giles Reger. I obtained my MSc degree at the same university and completed my bachelor's degree at Northwestern Polytechnical University in China. In my PhD, I developed saturation-based Boolean conjunctive query answering and rewriting procedures for guarded first-order fragments. In general my interests are in applying automated reasoning techniques to solve real-world problems, including

  • Automated Reasoning,
  • Automated Verification,
  • Theorem Proving,
  • Knowledge Representation.

Education/Academic qualification

Doctor of Philosophy, SATURATION-BASED QUERY ANSWERING AND REWRITING PROCEDURES FOR GUARDED FIRST-ORDER FRAGMENTS, The University of Manchester

Jan 2017Mar 2021

Award Date: 31 Dec 2021

Master in Science, The University of Manchester

Sept 2015Sept 2016

Award Date: 1 Sept 2016

Bachelor of Engineering, Northwestern Polytechnical University

Sept 2011Jun 2015

Award Date: 30 Jun 2015

Areas of expertise

  • QA75 Electronic computers. Computer science
  • Formal Methods
  • Formal Verification
  • Knowledge Representation
  • Automated Reasoning

Fingerprint

Dive into the research topics where Sen Zheng is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles