Guido Tack

Guido Tack is an Associate Professor in the Department of Data Science & Artificial Intelligence at Monash University's Faculty of Information Technology. He leads development of the MiniZinc constraint modeling language and is a core developer of Gecode, a leading constraint programming library. His research focuses on combinatorial optimization, constraint solver architecture, and industrial applications, extending to programming languages and computational logic.

Education: PhD (Dr.-Ing.) in Computer Science from Saarland University (2009), Diplom Informatiker (MSc equivalent) from Saarland University (2003). Professional experience includes postdoctoral roles at NICTA, Saarland University, and KU Leuven before joining Monash in 2012 as a Lecturer and Monash Larkins Fellow.

Research interests span constraint programming, optimization algorithms, and their applications. Recent projects include improving the MiniZinc ecosystem, optimizing metering systems for smart water networks, and quantum information technology. He has secured over 13 major research grants, including leadership in the ARC Training Centre for Optimization Technologies.

• Teaching: Chief Examiner for FIT5170, FIT9135, FIT5216; Lecturer for FIT1047, FIT4010, and others.
• Editorial Roles: Co-Editor-in-Chief of Constraints journal (2015), active in ACM and Association for Constraint Programming.
• Awards: 2024 Eureka Prize finalist, 2017 FIT Dean's Award, 2010 Doctoral Research Award.

Publications span constraint solving techniques, optimization algorithms, and educational tools. Recent work emphasizes real-time path planning, bi-objective search, and energy-efficient systems. He contributes to both academic conferences and industry-focused projects, bridging theoretical research with practical applications.