Lecturer (Assistant Profesor) in computer science at University of Bath
contact me at: js4814 [at] bath [dot] ac [dot] uk
My research explores the connection between computer science and physics, and how we can improve the quality and storage of results from the physical sciences. In particular, I am interested in how proof assistants like Lean 4 can be used effectively in the physical sciences.
To this end, I have developed a program called PhysLean. I’d love more people to get involved in this program - so please get in touch if you are interested!
Lecturer in Computer Science
Postdoctoral researcher in Computer Science
Postdoctoral researcher in theoretical physics
PhD in theoretical physics
Integrated Masters in mathematical and theoretical physics
A list of my publications.
arXiv-2505.07939 [hep-th]
CS
Phys
arXiv-2411.07667 [cs.LO]
CS
Phys
Comput.Phys.Commun. 308 (2025), 109457 (arXiv-2405.08863 [hep-ph])
CS
Phys
J.Geom.Phys. 201 (2024), 105212 (arXiv-2310.16090 [hep-th])
Phys
Math
Phys.Rev.D 108 (2023) 7, 075001 (arXiv-2306.16439 [hep-ph])
CS
Phys
JHEP 04 (2023), 082 (arXiv-2210.02456 [hep-ph])
Phys
JHEP 03 (2023), 087 (arXiv-2209.13524 [hep-th])
Phys
Math
JHEP 09 (2022), 159 (arXiv-2206.11271 [hep-ph])
CS
Phys
JHEP 09 (2022), 193 (arXiv-2201.07245 [hep-ph])
Phys
JHEP 02 (2022), 144 (arXiv-2107.07926 [hep-ph])
CS
Phys
PhD thesis, Cambridge U.
CS
Phys
Math
Phys.Rev.D 104 (2021) 3, 035035 (arXiv-2104.14555 [hep-th])
CS
Phys
Math
J.Phys.A 55 (2022) 9, 095401 (arXiv-2103.08923 [hep-th])
Phys
Math
JHEP 11 (2020), 120 (arXiv-2007.03662 [hep-ph])
Phys
Phys.Rev.Lett. 125 (2020) 16, 161601 (arXiv-2006.03588 [hep-th])
Phys
Math
Phys.Rev.Lett. 125 (2020) 15, 151801 (arXiv-2002.12630 [hep-ph])
Phys
Phys.Rev.D 101 (2020) 7, 075015 (arXiv-1912.10022 [hep-th])
Phys
Math
JHEP 05 (2020), 065 (arXiv-1912.04804 [hep-th])
Phys
Math
J.Phys.A 53 (2020) 14, 145302 (arXiv-1905.11999 [hep-th])
Phys
Math
My teaching portfolio.
Spring 2025 : Reykjavik University
CS
Fall 2024 : Reykjavik University
CS
2020 : Cambridge University
Phys
2019 : Cambridge University
Phys
2019 & 2020 : Cambridge University
Phys
2018 & 2020 : Cambridge University
Phys
2016 : Oxford University
An elective module about teaching in schools I took during my undergraduate.
Phys
Awards and honors I have received.
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.'
2016/2017 (awarded 2018)
2015/2016
Link2016/2017
Link2014/2015-2016/2017
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).'
2017/2018
2016
Talks I have given.
02/10/2024
March 20204
🎥03/04/2023
13/09/2022
🎥10/05/2022
15/12/2020
13/05/2022
29/04/2020
16/01/2020
Outreach I have done (not up-to-date).
2022
2019
2019
2017-2018
Conferences I have attended (not up-to-date).
Jan 2025
CS
Aug 2023
Math
May 2023
Math
Sep 2022
Phys
May 2022
Phys
Dec 2019
On Organising Committee and a convener.
Phys
Jul 2019
Phys
Jan 2019
Phys
Dec 2018
Phys
Dec 2018
Phys
Aug 2018
Phys
I use to run competitively. Here is a list of my persona bests (PBs) and other achievements.
1:59.4
3:59.40
8:39.6
9:59.49
15:08.92
30:01
3rd Team
2019
2nd Team
2019
1st Overall
2019
1st Overall
2019
2019
2nd Indivdual, team win.
2019
30th Overall
2020
© 2020 - Theme Built By Tyler Butler, See it on GitHub