Research output per year
Research output per year
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.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Education/Academic qualification
Doctor of Philosophy, SATURATION-BASED QUERY ANSWERING AND REWRITING PROCEDURES FOR GUARDED FIRST-ORDER FRAGMENTS, The University of Manchester
Jan 2017 → Mar 2021
Award Date: 31 Dec 2021
Master in Science, The University of Manchester
Sept 2015 → Sept 2016
Award Date: 1 Sept 2016
Bachelor of Engineering, Northwestern Polytechnical University
Sept 2011 → Jun 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
-
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
Zheng, S. (Corresponding) & Schmidt, R. A., 23 Nov 2023, In: Journal of Automated Reasoning. 67, 68 p., 39.Research output: Contribution to journal › Article › peer-review
Open AccessFile34 Downloads (Pure) -
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
Zheng, S. & Schmidt, R. A., 3 Apr 2020, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-2020). AAAI Press, p. 3080-3087 8 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access
Activities
- 1 Invited talk
-
Saturation-Based Querying Procedures for the Clique-Guarded Negation Fragment
Zheng, S. (Speaker)
20 Jul 2023Activity: Talk or presentation › Invited talk › Research
Thesis
-
SATURATION-BASED QUERY ANSWERING AND REWRITING PROCEDURES FOR GUARDED FIRST-ORDER FRAGMENTS
Zheng, S. (Author), Schmidt, R. (Supervisor) & Reger, G. (Supervisor), 31 Dec 2021Student thesis: Phd
File