Zoltan A. Kocsis

Current position (2022-): Lecturer in Formal Methods, University of New South Wales

Views expressed do not necessarily represent those of my employer (or any other person, corporation, institution, or organization).

• PhD in Mathematics (2016-2019)

• Thesis: "Development of Group Theory in the Language of Internal Set Theory"

• The University of Manchester, Oxford Rd, Manchester M13 9PL, UK

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

• Thesis: "Evaluating PRNGs using topology"

• University of Stirling, Stirling FK9 4LA, Scotland UK