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.
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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 AccessFile60 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 -
Querying Guarded Fragments via Resolution
Zheng, S. & Schmidt, R. A., 6 Feb 2020, arXiv, p. 1-25, 25 p.Research output: Preprint/Working paper › Preprint
Open AccessFile15 Downloads (Pure)
Projects
- 1 Active
-
CRADLE: CRADLE - Centre for Robotic Autonomy in Demanding and Long-lasting Environments
Fisher, M. (PI), Adorno, B. (CoI), Cangelosi, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Groves, K. (CoI), Lennox, B. (CoI), Watson, S. (CoI), Weightman, A. (CoI), Farrell, M. (CoI), Marinho, M. (CoI), Ladosz, P. (CoI), Wood, K. (CoI), Collins, E. (CoI), Smith, K. (CoI), Parslew, B. (CoI), Li, Z. (CoI), Clinch, S. (CoI), Baniqued, P. D. (Support team), Flint, S. (Support team), Khan, D. (Technical team), Tse, K. W. (Technical team), Atia, M. (Researcher), Song, Y. (Researcher), Leslie-Dalley, S. (PGR student), Bettles, J. (PGR student), Limarga, R. (Researcher), Zheng, S. (Researcher), Slusarz, N. (Researcher), Le, H. (PGR student), Tavella, F. (Researcher), Bolarinwa, J. (Researcher), Chi, X. (PGR student), Rolph, M. (PGR student), Saravanan, D. (PGR student), Abeywickrama, D. (Researcher), Rafiq, Y. (Researcher), Bishop, C. (Researcher), Khan, S. M. (Researcher), Wheelhouse, L. (PGR student), Morley, A. (PGR student), Greenhaus, Y. (PGR student), Arumugam, S. (PGR student) & Soboyejo, T. (PGR student)
1/09/23 → 31/08/28
Project: Research
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
Impacts
-
Centre for Robotic Autonomy in Demanding and Long Lasting Environments (CRADLE)
Baniqued, P. D. (Participant), Lennox, B. (Participant), Fisher, M. (Participant), Watson, S. (Participant), Flint, S. (Participant), Khan, D. (Participant), Tse, K. W. (Participant), Adorno, B. (Participant), Groves, K. (Participant), Atia, M. (Participant), Leslie-Dalley, S. (Participant), Dennis, L. (Participant), Zheng, S. (Participant), Limarga, R. (Participant), Farrell, M. (Collaborator), Cangelosi, A. (Participant), Dixon, C. (Participant), Collins, E. (Collaborator), Tavella, F. (Participant), Bolarinwa, J. (Participant), Chi, X. (Participant), Rolph, M. (Participant), Abeywickrama, D. (Participant), Rafiq, Y. (Participant), Bishop, C. (Participant), Wheelhouse, L. (Participant), Morley, A. (Participant), Bettles, J. (Participant), Soboyejo, T. (Participant), Weightman, A. (Collaborator), Marinho, M. (Collaborator), Ladosz, P. (Collaborator) & Smith, K. (Collaborator)
Impact: Economic, Environmental, Policy
Thesis
-
SATURATION-BASED QUERY ANSWERING AND REWRITING PROCEDURES FOR GUARDED FIRST-ORDER FRAGMENTS
Zheng, S. (Author), Schmidt, R. (Main Supervisor) & Reger, G. (Co Supervisor), 17 Aug 2021Student thesis: Phd
File