Guido Tack
Associate Professor
Melbourne, Victoria, Australia
Summary
👤
Senior🎓
Top SchoolGuido Tack is an Associate Professor at Monash University with 20 years of research and academic experience in systems architecture, constraint programming, and programming languages. His work bridges theory and implementation, focusing on virtual machines and architectures that accelerate combinatorial optimization and constraint-solving. He progressed through academic ranks from doctoral research at Universität des Saarlandes to leadership of advanced research and teaching programs in Melbourne. Known for deep systems-level insight, he combines expertise in language design with practical execution of high-performance solvers. Colleagues value his ability to translate complex formal ideas into robust, usable systems that advance both research and teaching.
20 years of coding experience
8 years of employment as a software developer
Dr. Ing., Dr. Ing. at Universität des Saarlandes
German, English, Dutch, French
Stackoverflow
21reputation
1kreached
1answer
0questions
Github Skills (41)
constrained-optimization10
benchmark10
simulator10
solver10
benchmarking10
constraint-satisfaction10
minizinc10
sat-solver10
constraint10
constraint-programming10
development-environment10
sat10
compiler10
marie10
optimization10
Programming languages (6)
Github contributions (5)
MiniZinc/MiniZincIDE
Dec 2013 - Dec 2021
The MiniZinc IDE
Contributions:48 releases, 693 commits, 4 PRs in 8 years 1 month
MiniZinc/libminizinc
Jul 2012 - Jan 2023
The MiniZinc compiler
Contributions:34 releases, 1 review, 3459 commits in 10 years 8 months
satoptimizationsat-solvercompilerminizinc
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.