Dr Joseph Tooby-Smith
Postdoc at Reykjavik University in computer science
Academic CV
Current Research
My current research revolves around the functional programming language Lean 4. I am working on a project to digitalise results from high energy physics in Lean 4. More details about this project, called HepLean, can be found at:
https://github.com/HEPLean/HepLean
or in the paper:
https://arxiv.org/abs/2405.08863
I'd love more people to get involved in this program - if you would like to feel free to get in touch, or make a pull-request to that repository.
I'm currently working on formalizing index notation into Lean. A draft manuscript can be found here:
https://github.com/jstoobysmith/IndexNotationInLean
Academic history
High School
2012-2014
York 6th form College
As-level: Biology A. A-level: Physics A*, Maths A*, Further Maths A*, Additional Further Maths A*, Chemistry A*.
See: https://www.yorkpress.co.uk/news/ryedale/11408909.2014-a-level-results-york-north-and-east-yorkshire/
Undergrad/Masters
2014-2018
Oxford University (Christ Church College)
MMathPhys (with initial three years on MPhys): Distinction/First Class (double classification)
PhD
2018-2021
Cambridge University (Robinson College and Cavendish Laboratory)
Doctor of Philosophy (PhD): Arithmetical, geometrical, and categorical forays into particle physics. https://doi.org/10.17863/CAM.72061
Postdoc
2021-2024
Cornell University
Hans Bethe Postdoctoral Associate in the high-energy theory group in the Cornell Laboratory for Accelerator-based Sciences and Education (CLASSE)
Postdoc
2024-
Reykjavik University
Computer science
Recorded seminars
Publications
Thesis
-
J. Tooby-Smith. Arithmetical, geometrical, and categorical forays into particle physics. PhD thesis. Cambridge U., May 2021. doi: 10.17863/CAM.72061.
preprints: Computer science
1. J. Tooby-Smith. Formalization of physics index notation in Lean 4. In: arXiv:2411.07667 [cs.lo]
2. J. Tooby-Smith. HepLean: Digitalising high energy physics. In: arXiv: 2405.08863 [hep-ph]
Published: Mathematics / Formal High Energy Physics
-
B. Gripaios, O. Randal-Williams, and J. Tooby-Smith. Smooth generalized symmetries of quantum field theories. In: J.Geom.Phys. 201 (2024). doi: 10.1016/j.geomphys.2024.105212. arXiv: 2310.16090 [hep-th].
-
B. Gripaios, O. Randal-Williams, and J. Tooby-Smith. Generalized symmetries of topological field theories. In: JHEP 03 (2023), p. 087. doi: 10.1007/JHEP03(2023)087. arXiv: 2209.13524 [hep-th].
-
B. Gripaios and J. Tooby-Smith. Inverse Higgs phenomena as duals of holonomic constraints. In: J. Phys. A 55.9 (2022), p. 095401. doi: 10.1088/1751-8121/ac4c66. arXiv: 2103.08923 [hep-th].
-
J. Davighi, B. Gripaios, and J. Tooby-Smith. Quantum mechanics in magnetic backgrounds with manifest symmetry and locality. In: J. Phys. A 53.14 (2020), p. 145302. doi: 10.1088/1751-8121/ab78ce. arXiv: 1905.11999 [hep-th].
Published: Mathematics / Phenomenology
-
A. Gomes, M. Ruhdorfer, and J. Tooby-Smith. Semisimple unifications of any gauge theory. In: Phys. Rev. D 108.7 (2023), p. 075001. doi: 10.1103/PhysRevD.108.075001. arXiv: 2306.16439 [hep-ph].
-
J. Davighi and J. Tooby-Smith. Flatland: abelian extensions of the Standard Model with semi-simple completions. In: JHEP 09 (2022), p. 159. doi: 10.1007/JHEP09(2022)159. arXiv: 2206.11271 [hep-ph].
-
B. C. Allanach, M. Madigan, and J. Tooby-Smith. A ν supersymmetric anomaly-free atlas. In: JHEP 02 (2022), p. 144. doi: 10.1007/JHEP02(2022)144. arXiv: 2107.07926 [hep-ph].
-
B. C. Allanach, B. Gripaios, and J. Tooby-Smith. Semisimple extensions of the Standard Model gauge algebra. In: Phys. Rev. D 104.3 (2021). [Erratum: Phys.Rev.D 106, 019901 (2022)], p. 035035. doi: 10.1103/PhysRevD.104.035035. arXiv: 2104.14555 [hep-th].
-
B. C. Allanach, B. Gripaios, and J. Tooby-Smith. Anomaly cancellation with an extra gauge boson. In: Phys. Rev. Lett. 125.16 (2020), p. 161601. doi: 10.1103/PhysRevLett.125.161601. arXiv: 2006.03588 [hep-th].
-
B. C. Allanach, B. Gripaios, and J. Tooby-Smith. Solving local anomaly equations in gauge-rank extensions of the Standard Model. In: Phys. Rev. D 101.7 (2020), p. 075015. doi: 10.1103/PhysRevD.101.075015. arXiv: 1912.10022 [hep-th].
-
B. C. Allanach, B. Gripaios, and J. Tooby-Smith. Geometric General Solution to the U(1) Anomaly Equations. In: JHEP 05 (2020), p. 065. doi: 10.1007/JHEP05(2020)065. arXiv: 1912.04804 [hep-th].
Published: Phenomenology
-
C. Csaki, A. Ismail, M. Ruhdorfer, and J. Tooby-Smith. Higgs squared. In: JHEP 04 (2023), p. 082. doi: 10.1007/ JHEP04(2023)082. arXiv: 2210.02456 [hep-ph].
-
J. Davighi and J. Tooby-Smith. Electroweak flavour unification. In: JHEP 09 (2022), p. 193. doi: 10.1007/JHEP09(2022) 193. arXiv: 2201.07245 [hep-ph].
-
J. Davighi, M. McCullough, and J. Tooby-Smith. Undulating Dark Matter. In: JHEP 11 (2020), p. 120. doi: 10.1007/ JHEP11(2020)120. arXiv: 2007.03662 [hep-ph].
-
T. Cohen, N. Craig, S. Koren, M. Mccullough, and J. Tooby-Smith. Supersoft Top Squarks. In: Phys. Rev. Lett. 125.15 (2020), p. 151801. doi: 10.1103/PhysRevLett.125.151801. arXiv: 2002.12630 [hep-ph].
Prizes and awards
Collections Prize
Christ Church College Oxford
2016
Prize for the Best Results on the Oxford MMathPhys
Oxford University
2017/2018
Roach Prize
Christ Church College Oxford
2017/2018
'This prize is awarded to the most outstanding undergraduate across the following branches of Science: Mathematics, Biochemistry, Earth Sciences, Engineering, Physics, Materials Science and Biological Science. The most outstanding undergraduate will normally be the person placed proportionately highest in an appropriate Honour School (including in a joint School with Philosophy).'
Scholarships
Christ Church College Oxford
2014/2015-2016/2017
The Scott Prize for best performance in the MPhys Part B examination
Oxford University
2016/2017
Honorary Vice-Chancellor’s Award
Cambridge University
2018
The Scott Prize for performance in the Physics Part A examination
Oxford University
2015/2016
Clifford Smith Prize
Christ Church College Oxford
2016/2017 (awarded 2018)
Hooke Prize
Christ Church College Oxford
2017/2018
"'This prize is awarded to the most outstanding undergraduate Member of the House [Christ Church College] who achieves the highest mark in the following Honour Schools collectively: Mathematics, Molecular and Cellular Biochemistry, Chemistry, Engineering, Physics and Materials Science.'"
Teaching
-
2016: Undertook a teaching module as part of my undergraduate.
-
2018 & 2020: Demonstrator for theoretical physics part I (Department of Physics, Cambridge)
-
2019 & 2020: Supervisor for Gauge Field Theory (Department of Physics, Cambridge)
-
2019: Supervisor for Quantum Field Theory (DAMTP, Cambridge)
-
2020: Supervisor for `Symmetries, Fields and Particles’ (DAMTP, Cambridge)
Talks
Date | Place | Title of talk |
---|---|---|
16/01/2020 | Cambridge | Local anomalies in Z’ models |
29/04/2020 | Edinburgh | Local anomalies in Z’ models |
13/05/2022 | Bonn | Supersoft Stops |
15/12/2020 | Perimeter | A voyage through undulating dark matter and the GUTs of u(48) |
25/03/2021 | Cornell | Inverse Higgs 'Constraints’ |
30/03/2022 | NYU | A study of GUTs |
10/05/2022 | Pheno 2022 | Semisimple extensions of the Standard Model |
13/09/2022 | Program on New Directions in Particle Physics ICTP-SAIFR | Electroweak flavour unification and anomaly free gauge groups |
30/11/2022 | Chicago | Symmetries of field theories |
03/04/2023 | Carleton | Gauge extensions of the Standard Model |
19/04/2023 | Cornell | Symmetries of field theories |
Aug 2018
British Universities Summer School in Theoretical Elementary Particle Physics (BUSSTEPP)
Jan 2019
Young Experimentalists & Theorists Institute
May 2022
Phenomenology 2022 Symposium: From Virtual to Real
Aug 2023
Higher Structures in Functorial Field Theory
Dec 2018
Annual Theory Meeting
Jul 2019
NExT PhD Workshop
Sept 2022
Program on New Directions in Particle Physics ICTP-SAIFR
Dec 2018
YTF 11
Dec 2019
Cavendish Laboratory Graduate Student Conference (on Organising Committee and a convener)
May 2023
Topological Festival Cornell
Public Engagement
-
2016-2018: Oxfords Hands on Science (OxHOS) roadshows and committee member (2017)
-
2017-2018: Oxford Physics department and Christ Church college open days
-
2017: Volunteered at Stargazing Oxford event
-
2019: Volunteered at Cambridge Science Festival
-
2019: Helped out at Cambridge HEP master classes
Personal bests:
1:59.4 (800m), 3:59.40 (1500m), 8:39.6 (3000m), 9:59.49 (3000m Steeple chase), 15:08.92 (5000m), 30:01 (10k)
Athletic achivements
-
2019: 3rd team at National 6-stage road relays with Cambridge and Coleridge AC
-
2019: 2nd team at National Cross Country relays with Cambridge and Coleridge AC
-
2019: 1st in both the Oxford and Cambridge Town and Gown 10k
-
2019: Represented Cambridgeshire in track-and-field
-
2019: 2nd Individual in Oxford Vs Cambridge Blues varsity cross country, and team win
-
2020: 30th Individual in National Cross Country Championships