• May 2026 Paper on DP for SCM encoding accepted as distinguished paper at FLOPS 2026
• May 2026 Paper on table constraints for ILP accepted at CP 2026
• Nov 2025 Attended the co-located CPAIOR conferences, where I presented the final paper of my PhD, and Ida Gjergji presented our work on aircraft maintenance scheduling
• Aug 12 — 15, 2025 Attended the co-located CP/SAT/SoCS conferences, where I presented on (Robust) Constraint Acquisition with Dimos Tsouros at the Progress Towards the Holy Grail workshop, and PhD student Orestis Lomis presented our paper on PB conflict analysis at SAT 2025
• Jun 2025 Two papers accepted at CPAIOR 2025
• Nov 2024 Started postdoc at DTAI, KU Leuven
• Oct 2024 Completed PhD at Monash University
• Jun 2024 Presented paper on single constant multiplication for SAT at CPAIOR 2024
• Sep 6, 2023 Participated in the fun and informal OPTIMA debate on the question of: "Can machine learning models solve all optimisation problems?", hosted at Melbourne Connect Innovation Week talk
• May 29, 2023 Attended OPTIMA CON 2023 and presented a poster poster
• Dec 16, 2022 Co-organized the second edition of the DSAI PhD poster event with Emely Pierau, Kelvin Davis, Charles He, and Yue Yang
• Jul 31 — Aug 5, 2022 Attended the SAT/SMT/AR/CP summer school at the Federated Logic Conference (FLoC) in Haifa, a mega-conference bringing together 10 conferences in logic every 4 years
• Jul 2022 Attended CP 2022 at FLoC

• Jun 2022 Presented paper on coupling integer encodings for SAT at CPAIOR 2022 in Los Angeles
• Apr 30, 2021 Co-organized the first edition of the DSAI PhD poster event with Ross Pearson
• Feb 2, 2020 Started MSc thesis at Monash University