Keji

I am a

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
  • Email: neri@mathematik.tu-darmstadt.de
  • Age: 26
  • City: Darmstadt

Recent thoughts and news

Papers

Preprints:

  • On the asymptotic behaviour of stochastic processes
    Morenikeji Neri, Nicholas Pischke, and Thomas Powell
    (pdf) Submitted, 2025, 41pp.
  • 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:

  • Generalized learnability of stochastic principles
    Morenikeji Neri, Nicholas Pischke, and Thomas Powell
    (pdf) To be published in Proceedings of Computability in Europe (CiE), 2025, 17pp.
  • 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

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.