1. Formalising the local compactness of the adele ring, Annals of Formalized Mathematics 1 (2025), 133-159.
2. (with D. Batra, R. Khraishi) Conformal Predictions for Longitudinal Data, preprint (2023).
3. (with G. Cowan, R. Khraishi) Modelling customer lifetime value in the retail banking industry, preprint (2023).
4. (with R. Khraishi, R. Okhrati, D. Batra, C. Hamill, T. Ghasempour, A. Nowlan) An Introduction to Machine Unlearning, (2022).
5. Algebraicity of metaplectic L-functions, (arXiv link), J. Number Theory 219 (2021), 109-161.
6. (with T. Bouganis) On the Rankin–Selberg method for vector-valued Siegel modular forms, (arXiv link), Int. J. Number Theory 17 (2020), no. 5, 1207-1242.
7. p-adic L-functions on metaplectic groups (arXiv link), J. London Math. Soc., 102 (2020), 229-256.
8. The p-adic L-function for half-integral weight modular forms, manuscripta math., 161 (2020), 61-91.

• Insights from Parsons questions for proof in STACK, International Meeting of the STACK Community 2025, Durham University, Durham, UK (April 2025).
• Proof assessment in STACK with Parsons problems, MERGE Seminar, University of Trieste, Italy (Mar. 2024).
• Proof assessment in STACK using SortableJS, International Meeting of the STACK Community 2024, OTH Amberg-Weiden, Amberg, Germany (Mar. 2024).
• Garrett’s conjecture for metaplectic Eisenstein series, Young Researchers in Algebraic Number Theory 2018, The University of Sheffield, UK (Nov. 2018).

• International Meeting of the STACK Community 2025, Durham University, Durham, UK (April 2025).
• The 2nd African STACK Conference for Undergraduate Mathematics, Technical University of Kenya, Nairobi, Kenya (Aug. 2024)
• Open source mathematics curriculum and assessment tools, Maseno University, Kisumu, Kenya (Aug. 2024)
• International Meeting of the STACK Community 2024, OTH Amberg-Weiden, Amberg, Germany (Mar. 2024).
• Young Researchers in Algebraic Number Theory 2018, The University of Sheffield, UK (Nov. 2018).
• 32nd Automorphic Forms Workshop, Tufts University, Medford, Massachusetts, USA (Mar. 2018).
• Iwasawa 2017, The University of Tokyo, Tokyo, Japan (Jul. 2017).

Lean

Lean is a theorem prover and formal programming language that has grown rapidly as a tool for research in mathematics. Mathlib is an open-source library for Lean containing a large and growing body of mathematical theory in Lean.

The Natural Number Game is a good place to get started. After this, install Lean and follow Imperial College London's "Formalising Mathematics 2025" course on GitHub, as well as reading Mathematics in Lean.

My paper Formalising the local compactness of the adele ring and GitHub repository detail the first formal proof that the adele ring of a number field is locally compact.

FLINT

The images below and on the home page were made using the C library Arb, which is now part of FLINT (Fast Library for Number Theory). They show the complex plots of modular forms such as the Dedekind eta function. The images use colour to plot the phase of the output complex number of the function for each complex input, being forgetful of magnitude.

FLINT has been used for computational research purposes such as the highest-known (as of January 2024) verification of the Riemann Hypothesis, Dave Platt & Tim Trudgian (2020).