Mr Ahmed Bhayat

Research Associate

View graph of relations

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.

Areas of expertise

Related information

Publications

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Research output: Contribution to conferenceAbstract

View all (4)