Personal profile
Biography
Guido Tack is an Associate Professor in the Department of Data Science and Artificial Intelligence, at the Faculty of Information Technology, Monash University.
His research focuses on combinatorial optimisation, in particular architecture and implementation techniques for constraint solvers, translation of constraint modelling languages, and industrial applications. Guido leads the development of the MiniZinc constraint modelling language and toolchain. He is one of the main developers of Gecode, a state-of-the-art constraint programming library.
Guido's broader research interests include programming languages and computational logic.
Guido graduated and received his doctoral degree (Dr.-Ing.) from the Department of Computer Science, Saarland University, Germany. Before joining Monash University as a Lecturer and Monash Larkins Fellow in February 2012, he worked as a post-doctoral researcher at NICTA Victoria Laboratory, Saarland University (Germany), and K.U. Leuven (Belgium).
Related Links:
- The constraint modelling language MiniZinc
- The Gecode project website
Monash teaching commitment
Guido has experience as the Chief Examiner for the following units in the Faculty of IT:
- FIT5170 Programming for distributed, parellel and mobile systems
- FIT9135 Data communications
- FIT5216 Modelling discrete optimisation problems
Guido has experience as Lecturer for the following units in the Faculty of IT:
- FIT1047 Introduction to computer systems, networks and security
- FIT4010 Advanced topics in algorithms and discrete structures
- FIT5170 Programming for distributed, parallel and mobile systems
- FIT5216 Modelling discrete optimisation problems
- FIT9135 Data communications
Education/Academic qualification
Computer Science, Dr.-Ing., Universitat des Saarlandes (Saarland University)
Award Date: 29 Jan 2009
Computer Science, Diplom Informatiker, Universitat des Saarlandes (Saarland University)
Award Date: 30 Jun 2003
Research area keywords
- optimisation
- constraint programming
- problem modelling and solving
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 7 Affordable and Clean Energy -
SDG 16 Peace, Justice and Strong Institutions
Collaborations and top research areas from the last five years
-
Software Engineering for Social Good PhD Scholarship
Aleti, A. (Primary Chief Investigator (PCI)) & Tack, G. (Chief Investigator (CI))
9/02/25 → 31/03/28
Project: Research
-
Optimal design of metering systems for intelligent water networks
Tack, G. (Primary Chief Investigator (PCI)), Boley, M. (Chief Investigator (CI)), Crook, J. (Partner Investigator (PI)) & Bergmann, D. (Partner Investigator (PI))
16/01/23 → 30/06/26
Project: Research
-
Quantum Information Technology: Quantum Information Technology: Industry Readiness & Applications
Steinfeld, R. (Primary Chief Investigator (PCI)), simmons, M. (Chief Investigator (CI)), Usman, M. (Chief Investigator (CI)), Phung, D. (Chief Investigator (CI)), Tack, G. (Chief Investigator (CI)), Pas, E. (Chief Investigator (CI)), Sakzad, A. (Associate Investigator (AI)), Cui, S. (Associate Investigator (AI)), Aleti, A. (Associate Investigator (AI)), Garcia De La Banda Garcia, M. (Associate Investigator (AI)), Nakashima, P. (Associate Investigator (AI)), Schmidt, D. (Associate Investigator (AI)), Esgin, M. (Associate Investigator (AI)) & Fay, J. (Associate Investigator (AI))
1/01/23 → 31/12/27
Project: Research
-
ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA)
Smith-Miles, K. (Primary Chief Investigator (PCI)), Stuckey, P. (Chief Investigator (CI)), Taylor, P. G. (Chief Investigator (CI)), Ernst, A. (Chief Investigator (CI)), Aickelin, U. (Chief Investigator (CI)), Garcia De La Banda Garcia, M. (Chief Investigator (CI)), Pearce, A. (Chief Investigator (CI)), Wallace, M. (Chief Investigator (CI)), Bondell, H. (Chief Investigator (CI)), Hyndman, R. (Chief Investigator (CI)), Alpcan, T. (Chief Investigator (CI)), Thomas, D. A. (Chief Investigator (CI)), Anjomshoa, H. (Chief Investigator (CI)), Kirley, M. G. (Chief Investigator (CI)), Tack, G. (Chief Investigator (CI)), Costa, A. (Chief Investigator (CI)), Fackrell, M. (Chief Investigator (CI)), Zhang, L. (Chief Investigator (CI)), Glazebrook, K. (Partner Investigator (PI)), Branke, J. (Partner Investigator (PI)), O'Sullivan, B. (Partner Investigator (PI)), O'Shea, N. (Partner Investigator (PI)), Cheah, A. (Partner Investigator (PI)), Meehan, A. (Partner Investigator (PI)), Wetenhall, P. (Partner Investigator (PI)), Bowly, D. (Partner Investigator (PI)), Bridge, J. (Chief Investigator (CI)), Faka, S. (Partner Investigator (PI)), Mareels, I. (Partner Investigator (PI)), Coleman, R. A. (Partner Investigator (PI)), Crook, J. (Partner Investigator (PI)), Liebman, A. (Chief Investigator (CI)) & Aleti, A. (Chief Investigator (CI))
Equans Services Australia Pty Limited, Anonymous Donation Gift
23/09/21 → 23/09/26
Project: Research
-
Google: Improvement to the Minizinc Ecosystem
Stuckey, P. (Primary Chief Investigator (PCI)), Tack, G. (Chief Investigator (CI)) & Dekker, J. (Chief Investigator (CI))
3/06/25 → 31/12/25
Project: Research
-
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I
Tack, G. (Editor), 2025, 1st ed. Cham Switzerland: Springer. 276 p. (Lecture Notes in Computer Science; vol. 15762)Research output: Book/Report › Edited Book › peer-review
-
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part II
Tack, G. (Editor), 2025, 1st ed. Cham Switzerland: Springer. 272 p. (Lecture Notes in Computer Science; vol. 15763)Research output: Book/Report › Edited Book › peer-review
-
Predict+Optimize Problem in Renewable Energy Scheduling
Bergmeir, C., de Nijs, F., Genov, E., Sriramulu, A., Abolghasemi, M., Bean, R., Betts, J., Bui, Q., Dinh, N. T., Einecke, N., Esmaeilbeigi, R., Ferraro, S., Galketiya, P., Glasgow, R., Godahewa, R., Kang, Y., Limmer, S., Magdalena, L., Montero-Manso, P. & Peralta, D. & 8 others, , 2025, In: IEEE Access. 13, p. 60064-60087 24 p.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile11 Link opens in a new tab Citations (Scopus) -
Resource Constrained Pathfinding with Enhanced Bidirectional A* Search
Ahmadi, S., Raith, A., Tack, G. & Jalili, M., 2025, Proceedings of the AAAI Conference on Artificial Intelligence. Walsh, T., Shah, J. & Kolter, Z. (eds.). Washington DC USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 26878-26885 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 39, no. 25).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open Access1 Link opens in a new tab Citation (Scopus) -
Unit Types for MiniZinc
Dekker, J. J., Nguyen, J., Stuckey, P. J. & Tack, G., 2025, 31st International Conference on Principles and Practice of Constraint Programming. de la Banda, M. G. (ed.). Saarbrücken/Wadern, Germany: Schloss Dagstuhl, 20 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 340).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile
Prizes
-
Finalist for the Australian Research Data Commons Eureka Prize for Excellence in Research Software
Stuckey, P. (Recipient), Tack, G. (Recipient), Dekker, J. (Recipient) & Nguyen, J. (Recipient), 2024
Prize: Other distinction
-
FIT Dean's Award for Excellence in Research Impact
Tack, G. (Recipient), 2017
Prize: Prize (including medals and awards)
-
Recipient - Doctoral Research Award 2010
Tack, G. (Recipient), 2010
Prize: Prize (including medals and awards)
Activities
-
Workshop on Constraint Modelling and Reformulation 2022
Dekker, J. (Organiser) & Tack, G. (Organiser)
3 Nov 2021 → 1 Aug 2022Activity: Participating in or organising an event types › Contribution to workshop, seminar, course
-
Association for Constraint Programming (External organisation)
Tack, G. (Member)
1 Jan 2016Activity: Industry, Government and Philanthropy Engagement and Partnerships › Membership of an advisory panel/policy group/ board
-
ACM - Association for Computing Machinery (External organisation)
Tack, G. (Member)
1 Jan 2016Activity: Industry, Government and Philanthropy Engagement and Partnerships › Membership of an advisory panel/policy group/ board
-
Constraints (Journal)
Tack, G. (Editor in chief) & Mears, C. D. (Editor in chief)
2015Activity: Publication peer-review and editorial work types › Editorial responsibility
-
Association for Constraint Programming (External organisation)
Tack, G. (Member)
1 Jan 2013 → 31 Dec 2016Activity: Industry, Government and Philanthropy Engagement and Partnerships › Membership of an advisory panel/policy group/ board