| Institution | ||
|---|---|---|
| Lecturer | University of Bath | Working on the formalization of physics. |
| Postdoc | Reykjavik University | Worked on the formalization of physics. |
| Postdoc | Cornell University | Started a program to digitalise results from high energy physics into Lean 4. Also, continued use of higher category theory in physics by studying generalized symmetries. |
| PhD | University of Cambridge | Supervised by Ben Gripaios. PhD in theoretical physics. Thesis focused on the application of techniques in mathematics to solve problems in physics. Including the use of number theory, category theory and geometry. |
| Masters | University of Oxford | Integrated masters in mathematical and theoretical physics. Top of year in third, and fourth years. |
| Description | |
|---|---|
| PhysLean | This is a community project to digitalize results from physics in Lean. |
| Physics | Mathematics | Computer Science |
|---|---|---|
| Particle physics | Category theory | Lean 4 |
| Generalized symmetries | Higher categories | Functional programming |
| Topological field theories | Topos theory | Theorem proving |
| Guage algebras and their extensions | Lie groups and Lie algebras |