Guido Tack — Monash University

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).

Monash teaching commitment

Dr Guido Tack 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 the 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

1 Active
3 Finished

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

Tack, G. & Wallace, M.

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 2017

25 Conference Paper
7 Article
3 Chapter (Book)
2 Editorial
3 More

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

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

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

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 journal › Article

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 proceeding › Chapter (Book)