If you made any changes in Pure these will be visible here soon.

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: 

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 2022

Research Output 2005 2018

A recursive scenario decomposition algorithm for combinatorial multistage stochastic optimisation problems

Hemmi, D., Tack, G. & Wallace, M., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18 ): New Orleans, Louisiana USA — February 2–7, 2018. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CAL USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1322-1329 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Declarative local-search neighbourhoods in MiniZinc

Bjordal, G., Flener, P., Pearson, J., Stuckey, P. J. & Tack, G., 2018, Proceedings - 2018 IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018: 5–7 November 2018 Volos, Greece. Alamaniotis, M. (ed.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 98-105 8 p. 8576023

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 Constraint Programming (ACP) (External organisation)

Guido Tack (Member)
1 Jan 2016

Activity: Industry, Government and Philanthropy Engagement and PartnershipsMembership 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 PartnershipsMembership of an advisory panel/policy group/ board

Association for Constraint Programming (ACP) (External organisation)

Guido Tack (Member)
1 Jan 201331 Dec 2016

Activity: Industry, Government and Philanthropy Engagement and PartnershipsMembership of an advisory panel/policy group/ board

Monash University (External organisation)

Guido Tack (Member)
1 Jan 1800

Activity: Industry, Government and Philanthropy Engagement and PartnershipsMembership of an advisory panel/policy group/ board