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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Optimal design of metering systems for intelligent water networks
Tack, G., Boley, M., Crook, J. & Bergmann, D.
16/01/23 → 30/06/26
Project: Research
-
ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA)
Smith-Miles, K., Stuckey, P., Taylor, P. G., Ernst, A., Aickelin, U., Garcia De La Banda, M., Pearce, A., Wallace, M., Bondell, H., Hyndman, R., Alpcan, T., Thomas, D. A., Anjomshoa, H., Kirley, M. G., Tack, G., Costa, A., Fackrell, M., Zhang, L., Glazebrook, K., Branke, J., O'Sullivan, B., O'Shea, N., Cheah, A., Meehan, A., Wetenhall, P., Bowly, D., Bridge, J., Faka, S., Mareels, I., Coleman, R. A. & Crook, J.
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., Liebman, A., Bahrani, B., Leroux, A., Kraal, D., Razzaghi, R., Strengers, Y., Goodwin, S., Pink, S., Rudolph, C., Raven, R., Bergmeir, C., Saunderson, J., Leslie, G., Gangadharan, L., Islam, A., Wang, L. C., Ward, M., Xiao, E., Wallace, M., Tack, G., Stuckey, P., Li, Y., Pan, S., de Nijs, F., Buckingham, E., Denis-Ryan, A., Ens, B., Dargaville, R., Chang, X., Yu, J., White, S., Zlatanov, N., Hyndman, R., Panagiotelis, A. & Athanasopoulos, G.
1/07/20 → 30/06/31
Project: Research
-
Agilent Thought Leader Project Extension
Marriott, K., Bonnington, P., Tack, G. & Le Bodic, P.
1/10/21 → 1/09/22
Project: Research
-
Data61 CRP - "Optimisation technologies and datasets for energy systems"
Liebman, A., Tack, G., Wallace, M., Le Bodic, P., Dunstall, S., LANGRENÉ, N. & Schutt, A.
1/07/19 → 30/06/20
Project: Research
-
Optimizing Trauma Systems: A Geospatial Analysis of the Victorian State Trauma System
Beck, B., Tack, G., Cameron, P. A., Smith, K. L. & Gabbe, B., Feb 2023, In: Annals of Surgery. 277, 2, p. e406-e417 12 p.Research output: Contribution to journal › Article › Research › peer-review
-
Coupling different integer encodings for SAT
Bierlee, H., Gange, G., Tack, G., Dekker, J. J. & Stuckey, P. J., 2022, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022 Los Angeles, CA, USA, June 20–23, 2022 Proceedings. Schaus, P. (ed.). Cham Switzerland: Springer, p. 44-63 20 p. (Lecture Notes in Computer Science; vol. 13292).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
-
Enumerated types and type extensions for MiniZinc
Stuckey, P. J. & Tack, G., 2022, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022 Los Angeles, CA, USA, June 20–23, 2022 Proceedings. Schaus, P. (ed.). Cham Switzerland: Springer, p. 374-389 16 p. (Lecture Notes in Computer Science; vol. 13292).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
-
Explaining propagation for Gini and spread with variable mean
Ek, A., Schutt, A., Stuckey, P. J. & Tack, G., 2022, 28th International Conference on Principles and Practice of Constraint Programming, CP 2022. Solnon, C. (ed.). Saarbrücken/Wadern Germany: Schloss Dagstuhl, 16 p. 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile -
Globalizing constraint models
Leo, K., Mears, C., Tack, G. & Garcia de la Banda, M., Jan 2022, In: Artificial Intelligence. 302, 23 p., 103599.Research output: Contribution to journal › Article › Research › peer-review
Prizes
-
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
- 4 Membership of an advisory panel/policy group/ board
-
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 (ACP) (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 (ACP) (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
-
Monash University (External organisation)
Guido Tack (Member)
1 Jan 1800Activity: Industry, Government and Philanthropy Engagement and Partnerships › Membership of an advisory panel/policy group/ board