now

I’m currently a second 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

• model checking stochastic games (very early stage)
• complexity theory (punishing but fascinating module)
• lambda-calculus (long term goal of studying it achieved!)

current passions

• memorising psalms (and my faith in general)
• traditional tea (gongfu cha)
• playing my electric guitar
• going for walks in quiet country fields
• amateur photography

excited to try soon

• homelabbing
• linux ricing