top of page
DALL·E 2024-11-04 09.16.40 - A simple icon of a pen and paper with a minimalist, modern de

Research statement

View
DALL·E 2024-11-04 09.16.34 - A simple icon of a blackboard with a chalk outline and minima

Teaching philosophy

View
DALL·E 2024-11-04 09.16.32 - A simple icon of a computer with a sleek, minimalist design s

Github homepage

View
DALL·E 2024-11-04 09.24.38 - A simple icon of a CV document with a minimalist design, show

PDF CV

View
DALL·E 2024-12-02 09.58.25 - A simple, minimalist icon of a briefcase with clean lines, re

Work with me

View
DALL·E 2024-12-03 06.04.44 - A simple, minimalist icon representing an envelope or mail, w

Contact me

Email
Joseph Tooby-Smith next to a waterfall.

Dr Joseph Tooby-Smith

Postdoc at Reykjavik University in computer science

Email: josephs at ru dot is​
 

Useful links to some of my profiles:

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

Joseph Tooby-Smith reading his thesis

Recorded seminars

Publications

Thesis

  1. 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

  1.  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].

  2. ​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].

  3. 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].

  4. 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

  1. 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].

  2. 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].

  3. 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].

  4. 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].

  5. 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].

  6.  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].

  7. 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 ​

  1. ​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].

  2. 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].

  3. 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].

  4. 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 performance in the Physics Part A examination

Oxford University

2015/2016

https://www2.physics.ox.ac.uk/sites/default/files/2011-06-03/prizelist_14july2016_final_honour_school_of_physic_11035.pdf

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

Joseph Tooby-Smith running.

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

bottom of page