Zoltán Kovács
- Assistant professor at Private University of Education, Diocese Linz, Austria
- Team member of Linz School of Education at University of Linz, Austria
- Volunteer core developer at GeoGebra, Linz, Austria (and joint PostDoc at RISC)
- My publications on ResearchGate and arXiv, list in PDF or BibTeX
- Shared materials on GeoGebra
- My GitHub, SourceForge and npmjs projects and open source contributions
- Snapcraft packages that I maintain
- My Blogger, Facebook, Twitter, YouTube and MuseScore channels, or my new blog
- Curriculum Vitae (in German, 2015)
- My Erdős number is 3 (via Jan Hubička)
- My page on the Mathematics Genealogy Project
- ORCID, MR, zbMATH, Scopus, Publons
- Guest editor of Annals of Mathematics and Artificial Intelligence special issue “Formalization of Geometry and Reasoning”, 2024
- Chair of the Steering committee of ADG, 2023-2025
- Programme committee co-chair of ADG 2023, Belgrade, Serbia
- Mentor for GNU Project in the Google Summer of Code, years 2020 and 2023 (projects GNU XaoS and GNU Aris)
- Guest editor of Annals of Mathematics and Artificial Intelligence special issue “Formalization of Geometry and Reasoning”, 2023
- General chair of the conference Automated Deduction in Geometry (ADG) 2021, Hagenberg im Mühlkreis, Austria
- Programme committee member of CICM 2019, Prague, Czech Republic
- Guest editor of Journal of Symbolic Computation special issue “Dynamic Geometry and Automated Reasoning”, 2017
- Co-organizer of special session “Automated Theorem Proving in Dynamic Geometry” at the conference Applications of Computer Algebra, Jerusalem, Israel, 2017
- Invited editor of Mathematics in Computer Science special issue “Proceedings of conference Application of Computer Algebra, Kassel, Germany, 2016”
- Member of the Editorial Board of the Bulletin of the “Sociedad Puig Adam de Profesores de Matemáticas” (Puig-Adam Mathematics Teachers Society) since 2016
- Co-organizer of special session “Automated Theorem Proving in Dynamic Geometry: Current Achievements” at the conference Applications of Computer Algebra, Kassel, Germany, 2016
- Distinguished Software Demonstration Award, ISSAC 2024 (together with Bernard Parisse, Tomas Recio, M. Pilar Velez and Jonathan H. Yu), for The ShowProof command in GeoGebra Discovery: Towards the automated ranking of elementary geometry theorems
- Distinguished Software Presentation Award, ISSAC 2016 (together with Miguel Abánades, Francisco Botana, Tomás Recio and Csilla Sólyom-Gecse), for Development of automatic reasoning tools in GeoGebra
|
Zoltán Kovács Linz School of Education Johannes Kepler University Altenberger Strasse 69 A-4040 Linz |