Mr Ahmed Bhayat

View graph of relations

Overview

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

Publications

Research output: Contribution to conferenceAbstract

View all (1)