Personal profile


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

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):

  • SDG 7 - Affordable and Clean Energy

Areas of expertise

  • QA75 Electronic computers. Computer science
  • Automated Reasoning
  • Formal Methods
  • Logic


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