Projects per year
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
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):
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
Collaborations and top research areas from the last five years
-
-
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
23/09/21 → 23/09/26
Project: Research
-
RACE for 2030: Reliable Affordable Clean Energy for 2030 Cooperative Research Centre (RACE for 2030 CRC)
Beins, D. (Primary Chief Investigator (PCI)), Bahrani, B. (Chief Investigator (CI)), Leroux, A. (Chief Investigator (CI)), Kraal, D. (Chief Investigator (CI)), Razzaghi, R. (Chief Investigator (CI)), Strengers, Y. (Chief Investigator (CI)), Goodwin, S. (Chief Investigator (CI)), Pink, S. (Chief Investigator (CI)), Rudolph, C. (Chief Investigator (CI)), Raven, R. (Chief Investigator (CI)), Bergmeir, C. (Chief Investigator (CI)), Saunderson, J. (Chief Investigator (CI)), Leslie, G. (Chief Investigator (CI)), Gangadharan, L. (Chief Investigator (CI)), Islam, A. (Chief Investigator (CI)), Wang, L. C. (Chief Investigator (CI)), Ward, M. (Chief Investigator (CI)), Xiao, E. (Chief Investigator (CI)), Wallace, M. (Chief Investigator (CI)), Tack, G. (Chief Investigator (CI)), Stuckey, P. (Chief Investigator (CI)), Li, Y.-F. (Chief Investigator (CI)), Pan, S. (Chief Investigator (CI)), de Nijs, F. (Chief Investigator (CI)), Buckingham, E. (Chief Investigator (CI)), Denis-Ryan, A. (Chief Investigator (CI)), Ens, B. (Chief Investigator (CI)), Dargaville, R. (Chief Investigator (CI)), Chang, X. (Chief Investigator (CI)), Yu, J. (Chief Investigator (CI)), White, S. (Chief Investigator (CI)), Zlatanov, N. (Chief Investigator (CI)), Hyndman, R. (Chief Investigator (CI)), Panagiotelis, A. (Chief Investigator (CI)) & Athanasopoulos, G. (Chief Investigator (CI))
1/07/20 → 30/06/31
Project: Research
-
ALAN: Assessment-as-Learning Authentic Tasks for Networking
Minagar, S., Sakzad, A., Tack, G., Rudolph, C. & Sheard, J., 2024, Proceedings of the 55th ACM Technical Symposium on Computer Science Education. Battestilli, L., A. Rebelsky, S. & Shoop, L. (eds.). New York NY USA: Association for Computing Machinery (ACM), Vol. 1. p. 853-859 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open Access -
Enhanced methods for the weight constrained shortest path problem
Ahmadi, S., Tack, G., Harabor, D., Kilby, P. & Jalili, M., Jul 2024, In: Networks. 84, 1, p. 3-30 28 p.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile3 Citations (Scopus) -
Single Constant Multiplication for SAT
Bierlee, H., Dekker, J. J., Lagoon, V., Stuckey, P. J. & Tack, G., 2024, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Proceedings. Dilkina, B. (ed.). Cham Switzerland: Springer, p. 84-98 15 p. (Lecture Notes in Computer Science; vol. 14742).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
-
Addressing Problem Drift in UNHCR Fund Allocation
Wijesundara, S. S., de la Banda, M. G. & Tack, G., 2023, 29th International Conference on Principles and Practice of Constraint Programming. Yap, R. H. C. (ed.). Wadern Germany: Schloss Dagstuhl, Vol. 280. 18 p. 37Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile1 Citation (Scopus) -
Increasing user trust in optimisation through feedback and interaction
Liu, J., Marriott, K., Dwyer, T. & Tack, G., 6 Jan 2023, In: ACM Transactions on Computer-Human Interaction. 29, 5, 34 p., 42.Research output: Contribution to journal › Article › Research › peer-review
11 Citations (Scopus)
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, Guido (Recipient), 2017
Prize: Prize (including medals and awards)
-
Recipient - Doctoral Research Award 2010
Tack, Guido (Recipient), 2010
Prize: Prize (including medals and awards)
Activities
-
Workshop on Constraint Modelling and Reformulation 2022
Jip Dekker (Organiser) & Guido Tack (Organiser)
3 Nov 2021 → 1 Aug 2022Activity: Participating in or organising an event types › Contribution to workshop, seminar, course
-
ACM - Association for Computing Machinery (External organisation)
Guido Tack (Member)
1 Jan 2016Activity: Industry, Government and Philanthropy Engagement and Partnerships › Membership of an advisory panel/policy group/ board
-
Association for Constraint Programming (External organisation)
Guido Tack (Member)
1 Jan 2016Activity: Industry, Government and Philanthropy Engagement and Partnerships › Membership of an advisory panel/policy group/ board
-
Constraints (Journal)
Guido Tack (Editor in chief) & Christopher David Mears (Editor in chief)
2015Activity: Publication peer-review and editorial work types › Editorial responsibility
-
Association for Constraint Programming (External organisation)
Guido Tack (Member)
1 Jan 2013 → 31 Dec 2016Activity: Industry, Government and Philanthropy Engagement and Partnerships › Membership of an advisory panel/policy group/ board