Dr. Zoltan A. Kocsis

Early career researcher in mathematical logic with experience in nonstandard analysis, proof theory and group theory. 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

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

PhD in Mathematics (September 2016 - October 2019)

Research Intern, YCCSA (June 2015 - August 2015)

Research Intern, Agilent (June 2014 - September 2014)

Academic Activities

Recent talks




Awards and Honors

Software Skills

Research Articles

Personal Skills