Doing a PhD at the University of York Computer Science department.
Interests include:
Formal verification
Formal languages
CPU design
Esoteric languages and computers
I sometimes make silly things and post YouTube vids about them