About

PhD student at the University of Bristol studying in the department of computer science under the supervision of Dr. Alex Kavvos.

Research interests

My interests are in theoretical computer science, in particular:

(homotopy) type theory,
domain theory,
pointless topology.

My favourite pastime is proving the fundamental lemma for a logical relation.

Address

81 Woodland Road
Bristol
BS8 1US
United Kingdom