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 2020

Research Output 2005 2017

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

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 proceedingConference PaperResearchpeer-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 journalEditorialOtherpeer-review

MiningZinc: a declarative framework for constraint-based mining

Guns, T., Dries, A., Nijssen, S., Tack, G. & De Raedt, L. Mar 2017 In : Artificial Intelligence. 244, p. 6-29 24 p.

Research output: Contribution to journalArticleResearchpeer-review

MiniZinc with strings

Amadini, R., Flener, P., Pearson, J., Scott, J. D., Stuckey, P. J. & Tack, G. 2017 Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016,Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Cham, Switzerland: Springer-Verlag London Ltd., p. 59-75 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS)

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-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)

Tack, G. (Member)
1 Jan 2016

Activity: Membership of an advisory panel/policy group/ board

Association for Computing Machinery (ACM) (External organisation)

Tack, G. (Member)
1 Jan 2016

Activity: Membership of an advisory panel/policy group/ board

Association for Constraint Programming (ACP) (External organisation)

Tack, G. (Member)
1 Jan 201331 Dec 2016

Activity: Membership of an advisory panel/policy group/ board

Monash University (External organisation)

Tack, G. (Member)
1 Jan 1800

Activity: Membership of an advisory panel/policy group/ board