now

I’m currently a third year undergraduate at Oxford reading Computer Science, and still living with my lovely parents when not at Uni. I’m quite interested in models of computation and formal verification, and trying to read some old books! I’m split between two beautiful churches Emmanuel Brighton in the vacations and Emmanuel Oxford in term time.

I’m still writing a poem everyday!

current cs interests

• verification
• about to do a project on ‘model checking stochastic games’

current passions

• memorising psalms (and my faith in general)
• traditional tea (gongfu cha)
• playing my guitars (jazz and worship)
• going for walks in quiet country fields
• amateur photography
• homelabbing
• linux ricing

excited to try soon

• some learning theory
• some game theory