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).
Outside my studies I play basketball for the university and I am an avid gym goer. Check out my TikTok and Instagram.
- Birthday: 4 April 1999
- City: London/Bath
- Age: 24
- Email: mn728@bath.ac.uk
Recent thoughts and news
- 05/03/2024: My latest paper, Proof mining and probability theory, is now on arXiv
- 01/03/2024: I have submitted the paper Proof mining and probability theory jww Nicholas Pischke
- 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 at the Southern Logic Seminar in UCL
- 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!
Selected invited and contributed Talks
- 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) - Lab Lunch, University of Birmingham, Birmingham, 17 March 2022
Talk: Specker sequences and their relevance to Proof Mining (slides)
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