Dr. Zoltan A. Kocsis

Mathematician and educator based in Sydney, Australia. Contributions to category theory, combinatorics, proof theory and nonstandard analysis. Consultant with extensive experience in software verification (security, safety and reliability) and in stochastic optimization.


PhD in Mathematics (2016-2019)

BSc Hons. in Mathematics and Computer Science (2013-2016)

Work Experience

Lecturer in Formal Methods, University of New South Wales (October 2022 - June 2023)

Research Assoc., University of New South Wales (December 2021 - October 2022)

Senior Proof Eng., CSIRO Officer (October 2019 - November 2021)

PhD in Mathematics (September 2016 - October 2019)

Research Intern, YCCSA (June 2015 - August 2015)

Research Intern, Agilent (June 2014 - September 2014)

Academic Activities

Invited/Recent talks



Other Events

Awards and Honors

Software Skills

Research Articles

Personal Skills