- Industrial Departmental Visitor
I am an Industrial Departmental Visitor working as a Research Software Engineer at Lean FRO, developing the Lean theorem prover. My research interests span automated reasoning, formal semantics, and verification, with a particular focus on coinductive methods in computer science.
I earned my PhD in Computer Science from University College London, under the supervision of Alexandra Silva, as part of the Programming Principles, Logic and Verification Group.
