News

We are excited to announce that Dr. Bojie Shen has been awarded the 2024 CORE Australasian Distinguished Doctoral Dissertation Award at Australiasian Computer Science Week 2025! This prestigious recognition honours the most exceptional

We are thrilled to announce that the “CryptOpt: Verified and High-Performance Cryptographic Code” team, which includes Monash Optimization members, has been awarded the prestigious Deutscher Sicherheitspreis 2024!

We're excited to share that MiniZinc has been shortlisted for the prestigious 2024 Australian Museum Eureka Prize for Excellence in Research Software.Since its inception in 2007, MiniZinc been downloaded over 250,000 times. Watch the finalist video

The paper published at the 29th International Conference on Principles and Practice of Constraint Programming titled “Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert views” by Matthias Klapperstueck, Frits de Nijs,

The League of Robot Runners is a MAPF competition co-organised by our group, sponsored by Amazon Robotics, and recently launched at ICAPS-23. Please check out the homepage for more info: https://www.leagueofrobotrunners.org

The paper published at the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI, June 2023) titled "CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives” (by Joel Kuepper

Episode 77 of "The Random Sample", a podcast about data science, mathematics, and statistics, features Monash University Professor Peter J. Stuckey, the lead of the Optimisation group at Monash university.

After almost 20 years working at Monash, our outstanding colleague and friend Mark Wallace announced his retirement

We celebrate the end of 2022 and are looking forward to 2023!