Keji

I am a

About

My full name is Morenikeji Neri, but I usually go by Keji. I am a third year PhD student (starting my studies in October 2021) in the University of Bath's Mathematical Foundations of Computation group, under the supervision of Thomas Powell. My main area of research involves using tools from logic to study different areas of mathematics such as, functional analysis and probability 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

Papers

Preprints:

  • A quantitative Robbins-Siegmund theorem.
    Morenikeji Neri and Thomas Powell.
    (arXiv) Submitted, 2024, 30pp.
  • On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales.
    Morenikeji Neri and Thomas Powell.
    (arXiv) Submitted, 2024, 42pp.
  • Quantitative Strong Laws of Large Numbers.
    Morenikeji Neri.
    (arXiv) Submitted, 2024, 25pp.
  • Proof mining and probability theory.
    Morenikeji Neri and Nicholas Pischke.
    (arXiv) Submitted, 2024, 48pp.

Publications:

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