About
My full name is Morenikeji Neri, but I usually go by Keji. I am a postdoctoral researcher in the Logic group of the Technische Universität Darmstadt (from April 2025). I was previously a PhD student (2021-2025) in the University of Bath's Mathematical Foundations of Computation group under the supervision of Thomas Powell, defending my thesis in March 2025.
My main area of research focuses on the intersections of proof theory and probability theory, particularly within the framework of the proof mining program. Specifically, I am interested in Gödel's functional interpretation and its applications for understanding the computational content of results in analysis, stochastic analysis, and ergodic theory. I am also interested in computability theory and formalization using the proof assistant Lean (check out some of my work).

- Birthday: 4 April 1999
- City: London/Bath
- Age: 25
- Email: mn728@bath.ac.uk
Recent thoughts and news
- 02/02/2025: My paper, A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces, has now appeared in Annals of Pure and Applied Logic.
- 04/03/2025: I have passed my PhD viva subject to minor corrections.
- 02/02/2025: My first single authored publication, Quantitative Strong Laws of Large Numbers, has now appeared in Electronic Journal of Probability.
- 15/11/2024: I have been invited to give a talk at the special session on "Proof Theory: pure and applied" at the upcoming Computability in Europe 2025. See you in Lisbon!
- 27/06/2024: My latest paper, A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces, is now on arXiv.
- 01/07/2024: My latest paper, A quantitative Robbins-Siegmund theorem (jww Thomas Powell), is now on arXiv.
- 01/07/2024: My latest paper, On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales (jww Thomas Powell), is now on arXiv.
- 27/06/2024: My latest paper, Quantitative Strong Laws of Large Numbers, is now on arXiv.
- 18/06/2024: I gave a talk in the Sixth Southern and Midlands Logic Seminar at the University of Oxford, Oxford.
- 17/05/2024: I have just returned from a week at Oberwolfach visiting and working with Pedro Pinto.
- 05/03/2024: My latest paper, Proof mining and probability theory (jww Nicholas Pischke), is now on arXiv.
- 11/10/2023: I have been awarded the OWLG grant to attend the Mathematical Logic: Proof Theory, Constructive Mathematics workshop at Oberwolfach. See you in the Black Forest!
- 09/05/2023: I have been invited to give a talk in the Second Meeting of the Southern Logic Seminar at UCL, London.
- 16/03/2023: I have been invited to give a talk in the special session on applied proof theory at Logic Colloquium 2023. See you in Milan!
Papers
Preprints:
- Generalized learnability of stochastic principles.
Morenikeji Neri, Nicholas Pischke, and Thomas Powell.
(pdf) Submitted, 2025, 17pp. - A quantitative Robbins-Siegmund theorem.
Morenikeji Neri and Thomas Powell.
(arXiv) Submitted, 2024, 30pp. - Proof mining and probability theory.
Morenikeji Neri and Nicholas Pischke.
(arXiv) Submitted, 2024, 48pp.
Publications:
- On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales.
Morenikeji Neri and Thomas Powell.
(arXiv) To be published in Transactions of the American Mathematical Society, 2025, 42pp. - A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces.
Morenikeji Neri.
(doi, arXiv) Annals of Pure and Applied Logic, 176:6:103569, 2025, 31pp. - Quantitative Strong Laws of Large Numbers.
Morenikeji Neri.
(doi, arXiv) Electronic Journal of Probability, 30:20:1-22, 2025, 22pp. - A computational study of a class of recursive inequalities.
Morenikeji Neri and Thomas Powell.
(doi, arXiv) Journal of Logic and Analysis, 15:3:1-48, 2023, 48pp.
Selected invited and contributed Talks
- Sixth Southern and Midlands Logic Seminar, the University of Oxford, Oxford, 18 June 2024.
Talk: An Introduction to Proof Mining Metatheorems Through the Lens of Probability Theory (slides). - Mathematical Logic: Proof Theory, Constructive Mathematics 20203, Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach , 13 November - 17 November 2023.
Talk: Quantitative probability from a logician's perspective: the law of large numbers (slides). - Logic Colloquium 2023, University of Milan, Milan, 5 June - 9 June 2023.
Talk: Proof mining: a journey from deterministic convergence to probabilistic (slides)(extendend abstract). - Second Meeting of the Southern Logic Seminar, UCL, London, 16 May 2023.
Talk: The strong law of large numbers and computability (slides). - 4th International Workshop on Proof Theory, Utrecht University, Utrecht, 11 November - 12 November 2022.
Talk: A computational study of a class of recursive inequalities (slides)(extendend abstract).
Teaching
I tutor a range of STEM subjects, at undergraduate level and below, privately (usually online) and I do some teaching for the University of Bath. Here is a list of the courses I have taught at the University of Bath.
- 2022: I tutored the Logic and semantics of programming languages module