I am a doctoral student in Computer Science supervised by Samson Abramsky and Christopher Douglas.
+44 1865 615132
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
I'm broadly interested in homotopical algebra, homotopical methods in logic and foundations of computer science.
More specifically, I am currently interested in the interplay of concurrency theory and fundamental physics, and thus also in the interplay of concurrency, linear logic, geometry of interaction and topological quantum field theories.
Complexity Theory (HT16)
Automata, Logic and Games (MT15)