Charles Gretton

Charles Gretton is an Associate Professor in the School of Computing at The Australian National University and serves as Director of Attention and Innovation at the Integrated AI Network. His research focuses on Automated Planning, Automated Reasoning, and Machine Learning. He has contributed to various collaborative projects, including the development of distributed SAT and #SAT tools, parallel-pdr planning systems, and AI applications in astronomy and financial markets. His work includes co-authored publications and software tools, such as Dagster, and has been presented at international conferences. He also played a role in the ANU TechLauncher program, which facilitated industry collaboration with students in software engineering and AI.

Charles Gretton is a researcher at The Australian National University, specializing in Automated Planning and Artificial Intelligence and Machine Learning. His work focuses on developing advanced planning algorithms for robots and decision-making systems in uncertain environments. He has published extensively on topics such as decision-theoretic planning, probabilistic knowledge exploitation, and SAT-based planning techniques. His research also includes the integration of machine learning methods with formal verification and optimization strategies for complex systems. Gretton's contributions span both theoretical and applied aspects of AI, with an emphasis on improving the efficiency and adaptability of automated planning systems.