Skip to main content

Toby Cathcart Burn

Personal photo - Toby Cathcart Burn

Toby Cathcart Burn

Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

I am studying higher-order Horn clauses, with a focus on their applications for higher-order program verification.

Selected Publications

View AllManage publications

Supervisor