The Australian Mathematical Sciences Institute (AMSI) congratulates members of the mathematical sciences community elected as 2022 Fellows of the Australian Academy of Science.
Applied mathematician, Professor Kate Smith-Miles, and pure mathematicians, Professor John Cannon and Professor Catherine Greenhill were among the 22 Australian scientists honoured for their work in mathematics spanning algorithm testing, computer algebra and asymptotic, probabilistic and algorithmic combinatorics.
2022 Mathematics and Statistics Australian Academy of Science Fellows:
Professor Kate Smith-Miles, The University of Melbourne
Kate Smith-Miles is renowned for spearheading a new paradigm in reliable algorithm testing, through her’ Instance Space Analysis methodology. This is a mathematically rigorous foundation for “stress-testing” algorithms, including innovative techniques for generating unbiased test instances and visualisation of insights into algorithm reliability. A much-needed solution to the long-standing problem of algorithmic trust, it is transforming academic research practice across many fields, and supporting industry partners keen to avoid disasters when deploying critical algorithms.
Professor John Cannon, The University of Sydney
John Cannon is a world expert on the development and implementation of algorithms in pure mathematics. He is the father of the computer algebra system Magma, which is used on a daily basis by thousands of mathematicians in over 70 countries. As part of Magma, Cannon and his team have developed hundreds of algorithms which solve difficult problems in algebra, geometry, group theory, and number theory, as well as in a number of other areas. He has also coordinated the work of over 500 mathematicians who have contributed to the Magma system, and built a world leading research group in computational algebra.
Professor Catherine Greenhill, The University of New South Wales
Catherine Greenhill is internationally recognised as a leading expert in asymptotic, probabilistic and algorithmic combinatorics, undertaking research at the interface between combinatorics, probability and theoretical computer science. She tackles difficult, fundamental questions about ubiquitous combinatorial objects, such as graphs and hypergraphs. She has achieved major breakthroughs including establishing the efficiency of a natural algorithm for generating graphs, and finding threshold values for the emergence of certain structures in random hypergraphs. Her highly cited research provides new formulae and algorithms that have found broad applications in many areas, including cryptography and physics.
AMSI congratulates all outstanding Australian scientific leaders honoured as 2022 Fellows of the Australian Academy of Science.