skip to content

Department of Computer Science and Technology

  • 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)

Contact Details

Room: 
SE01
Email: 

sb2743@cam.ac.uk