Location:
Oxford, UK
Thinking about:
- Real Analysis
- Linear Algebra
- Probability
- Groups and Group Actions
- Functional Programming
- Imperative Programming
- Design and Analysis of Algorithms
- Continuous Maths
- Proof Systems
Working on:
Revising for end-of-year exams in Mathematics and Computer Science, so getting back in touch with the beauty of it all.
Becoming needlessly good at punting.
Reading:
- Quaternions and Octonions, Conway and Smith
- Wittgenstein’s Vienna, Allan Janik