Research output per year
Research output per year
Personal profile
Overview
I completed my Bachelors at the University of Leicester before moving into industry for a number of years. Between 2017 and 2020, I completed a doctorate in automated reasoning in higher-order logic under the supervision of Dr Giles Reger, Dr Andrei Voronkov and Dr Peter Lammich. Since November 2020, I have been working as a Research Assistant on the SchorCH project. I am looking to lever the power of automated reasoners for the purpose of program analysis and verification.
My collaborations
If you would like to collaborate with me or just discuss theorem proving, please feel free to contact me at ahmed.bhayat@manchester.ac.uk.
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):
Areas of expertise
- QA75 Electronic computers. Computer science
- Automated Reasoning
- Formal Methods
- Logic
Fingerprint
Dive into the research topics where Ahmed Bhayat is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing
Alshmrany, K., Aldughaim, M., Bhayat, A. & Cordeiro, L., 25 Jan 2022, (Accepted/In press) 25th International Conference on Fundamental Approaches to Software Engineering .Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
Alshmrany, K., Bhayat, A., Brauße, F., Cordeiro, L., Korovin, K., Melham, T., Mustafa, M. A., Olivier, P., Reger, G. & Shmarov, F., 30 Aug 2022, (Accepted/In press) IEEE Secure Development Conference.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
Alshmrany, K., Aldughaim, M., Bhayat, A. & Cordeiro, L., 18 Jun 2021, TAP: International Conference on Tests and Proofs. Springer London, (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Combinator-Based Superposition Calculus for Higher-Order Logic
Bhayat, A. & Reger, G., 4 Jul 2020, Automated Reasoning. Springer Nature, Vol. 12166. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Restricted Combinatory Unification
Bhayat, A. & Reger, G., 20 Aug 2019, (E-pub ahead of print) Automated Deduction – CADE 27. (Lecture Notes in Computer Science; vol. 11716).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile100 Downloads (Pure)
Prizes
-
Steve Furber Medal for Outstanding Doctoral Thesis in Computer Science
Bhayat, Ahmed (Recipient), 16 Apr 2021
Prize: Prize (including medals and awards)
Thesis
-
Automated Theorem Proving in Higher-Order Logic
Author: Bhayat, A., 1 Aug 2021Supervisor: Lammich, P. (Supervisor) & Reger, G. (Supervisor)
Student thesis: Phd
File