I am a Lecturer (equivalent to Assistant Professor) in the Department of Computer Science at the University of Bath, and a member of the Mathematical Foundations of Computation Group.
Before that, I was a post-doctoral researcher in the Logic Group within the Department of Mathematics at TU Darmstadt. I obtained my PhD (Dr.rer.nat.) from the same department with a thesis written under the supervision of Ulrich Kohlenbach, for which I was awarded the Sacks Prize for the most outstanding doctoral dissertation in mathematical logic of 2024 by the Association for Symbolic Logic.
Picture credit: Oberwolfach Photo Collection
Research Interests: Pure and applied proof theory, Gödel's functional interpretation (and its applications in different parts of mathematics and computer science), non-classical logics (including many-valued and intermediate logics), modal logics, nonlinear analysis, fixed point theory, (stochastic) approximation and optimization, dynamical systems and differential equations, metric geometry.
Email: pischkenicholas [at] gmail [dot] com / nnp39 [at] bath [dot] ac [dot] uk
A Proof Mining Bibliography: alphabetical and chronological
Things of Interest:
- A recorded lecture of Georg Kreisel on the topic of Herbrand's theorem is available on YouTube, which seems to be the only long form recording of Kreisel available.
- The Second Workshop on Proof Mining (WPM26) will take place at the University of Bath, September 7 - September 9, 2026, organized by Thomas Powell and myself.
