Zachiri Mckenzie

Dr. Zachiri Mckenzie is a Senior Lecturer in Mathematics at the University of Chester's Engineering and Computer Science Department, within the Faculty of Science, Business and Enterprise. His research focuses on mathematical logic and set theory, particularly the structure of models of set theory and foundational theory comparisons using model-theoretic techniques. He has held academic positions globally, including postdoctoral roles at Zhejiang University, Shanghai Jiao Tong University, and the University of Gothenburg. He holds a Ph.D. in Pure Mathematics from the University of Cambridge and bachelor's degrees in Mathematics and Philosophy from the University of Queensland.

His educational background includes a Ph.D. from the University of Cambridge (2008-2013), a B.Sc. with Honours in Mathematics (2002-2007), and a B.A. in Mathematics and Philosophy (2002-2006), both from the University of Queensland. His research spans subsystems of Zermelo-Fraenkel Set Theory, first/second-order arithmetic, the Simple Theory of Types, and variants of Quine’s New Foundations Set Theory.

Zach teaches mathematics courses across undergraduate and postgraduate programs. His work includes contributions to foundational studies, such as end extensions of countable models, self-embeddings, and decidability in type theory. He has collaborated internationally on topics including admissible covers, automorphisms of models, and category theory foundations.