Projects per year
Personal profile
Biography
Guido Tack is a Senior Lecturer at the Faculty of Information Technology, Caulfield Campus, Monash University, and a member of the Data61 Decision Sciences Group.
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:
- Guido Tack's Research homepage
- The constraint modelling language MiniZinc, developed by the NICTA Optimisation Research Group
- The Gecode project website
Monash teaching commitment
Dr Guido Tack is the course director for the Master of Information Technology degree.
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
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
- FIT9135 Data communications
Keywords
- optimisation
- constraint programming
- problem modelling and solving
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2012 2020
Learning from learning solvers
Garcia De La Banda, M. J., Wallace, M. & Tack, G.
1/01/18 → 31/12/20
Project: Research
Optimising Melbourne Water’s Bulk Water Supply System with a Five Year Horizon
1/05/17 → 21/07/17
Project: Research
Effective profiling of large scale combinatorial optimisation problems
Garcia De La Banda, M. J., Dwyer, T. G., Tack, G. & Wallace, M.
Australian Research Council (ARC)
27/11/14 → 30/01/18
Project: Research
Constraint Modelling Platform
Tack, G., Garcia De La Banda, M. J., Marriott, K. G. & Mears, C.
Data61, National ICT Australia (NICTA)
1/01/12 → 30/06/16
Project: Research
Research Output 2005 2018
Solver-independent large neighbourhood search
Dekker, J. J., de la Banda, M. G., Schutt, A., Stuckey, P. J. & Tack, G., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 81-98 18 p. (Lecture Notes in Computer Science ; vol. 11008 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Towards semi-automatic learning-based model transformation
Zeighami, K., Leo, K., Tack, G. & de la Banda, M. G., 1 Jan 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 403-419 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
A novel approach to string constraint solving
Amadini, R., Gange, G., Stuckey, P. J. & Tack, G., 2017, Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, C. (ed.). Cham Switzerland: Springer, Vol. 10416 . p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 10416).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Debugging unsatisfiable constraint models
Leo, K. & Tack, G., 2017, Integration of AI and OR Techniques in Constraint Programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017, Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham, Switzerland: Springer, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10335 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Introduction to the special issue on Combining Constraint Solving with Mining and Learning
Passerini, A., Tack, G. & Guns, T., 1 Mar 2017, In : Artificial Intelligence. 244, p. 1-5 5 p.Research output: Contribution to journal › Editorial › Other › peer-review
Prizes
FIT Dean's Award for Excellence in Research Impact
Guido Tack (Recipient), 2017
Prize: Prize (including medals and awards)
Recipient - Doctoral Research Award 2010
Guido Tack (Recipient), 2010
Prize: Prize (including medals and awards)
Activities 2013 2016
- 4 Membership of an advisory panel/policy group/ board
Association for Computing Machinery (ACM) (External organisation)
Guido Tack (Member)1 Jan 2016
Activity: 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 2016
Activity: 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 2016
Activity: Industry, Government and Philanthropy Engagement and Partnerships › Membership of an advisory panel/policy group/ board
Monash University (External organisation)
Guido Tack (Member)1 Jan 1800
Activity: Industry, Government and Philanthropy Engagement and Partnerships › Membership of an advisory panel/policy group/ board