Paul Hunter

Dr. Paul Hunter is an Associate Professor in the School of Computer Science and Engineering at the University of New South Wales (UNSW), Faculty of Engineering. He completed his BSc in mathematics at the University of Tasmania, followed by a PhD in Theoretical Computer Science at the University of Cambridge. His academic journey included an EPSRC Postdoctoral Fellowship at the University of Oxford (2008-2013), a postdoctoral position at the Université Libre de Bruxelles (2013-2016), and his return to Australia in 2016 to join UNSW.

Dr. Hunter's research spans theoretical computer science with particular expertise in formal verification, graph theory, algorithms, and game theory. His work focuses on quantitative games, reactive synthesis, and automata theory, with significant contributions to areas such as mean-payoff games with partial observation, regret minimization, and real-time logic. His research has important applications in formal verification, controller synthesis, and decision-making under uncertainty.

His publication record shows consistent scholarly output since 2004, with particular concentration in the period 2014-2022. His work demonstrates strong theoretical foundations while addressing practical problems in computer science. The research trends indicate increasing focus on reactive synthesis without regret, quantitative games with incomplete information, and the application of game theory to formal verification problems.

Among his notable achievements is the EPSRC Postdoctoral Fellowship, which supported his research at Oxford for five years. His research has been published in top theoretical computer science venues and has influenced the field of formal methods and game theory.

Dr. Hunter maintains an active research program with recent publications in 2022, indicating ongoing scholarly productivity. His work bridges theoretical computer science with practical applications in verification and synthesis. He is part of UNSW's strong research ecosystem in technology and computer science, contributing to Australia's research capacity in theoretical foundations of computing.