Mr Ahmed Bhayat

View graph of relations


I completed my Bachelors at the University of Leicester before moving into industry for a number of years. Currently I am undertaking a PhD in integrating higher-order reasoning within the first-order prover Vampire. My supervisors are Dr Andrei Voronkov and Dr Giles Reger. In particular, I am interested in treating higher-order logic as a first-order theory.

Areas of expertise

Related information


Research output: Chapter in Book/Report/Conference proceedingConference contribution

Research output: Contribution to conferenceAbstract

Research output: Contribution to journalConference article

View all (3)