- PhD Student
Research
formally verified SMT solvers. I enjoy areas of maths with an algebraic, computational, and geometric flavour. Two ideas that exemplify this intersection are (the Krohn Rhodes theorem: https://pixel-druid.com/articles/krohn-rhodes-theorem-proof) and (Deciding the word problem on hyperbolic space: https://pixel-druid.com/articles/hyperbolic-groups-have-solvable-word-problem)