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 search-based optimization.


PhD in Mathematics (2016-2019)

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

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