Peter J. Stuckey
Professor and Group Lead
Professor Peter J. Stuckey is a Professor in Faculty of Information Technology at Monash University. He is one of the founders of the field of constraint programming: He is an author of CLP(R), one of the first three constraint programming systems ever devised; he helped define the theoretical underpinnings of the field with a paper describing the formal semantics, and co-wrote the first textbook in the field. He has driven the development of MiniZinc the most widely used constraint programming modelling language. And devised the "lazy clause generation" (LCG) approach to discrete optimization which defines the state-of-the-art for very many discrete optimization problems. This work was awarded the Google Australia Eureka Prize for Innovation in Computer Science and the Woodward Medal in 2010.
Donald is a Research Fellow in the Optimisation research group of the Faculty of Information Technology, working within the Monash Net Zero Initiative. His research focuses on the application of optimisation and AI techniques for solving energy management and load scheduling problems in smart buildings by efficiently controlling flexible loads and energy assets such as HVAC, solar PV, and energy storage systems. Thus, enabling building owners to make more economically rational energy usage decisions. He also explores ways to ensure that these customer-oriented decisions do not deteriorate the performance of local electricity networks. His research interests include grid integration of renewable energy systems, energy management and control of distributed energy resources, distribution network pricing and cost allocation, and building energy modelling.
Gleb works in the fields of combinatorial optimisation and mixed-integer programming. After joining the Faculty in early 2015, he collaborated with Guido, Mark and Peter on updating the linearisation library and the corresponding mixed-integer solver interfaces of MiniZinc. In 2016 his main focus switched to two applied projects, plant layout optimisation and Alertness CRC.
John is a Senior Lecturer and Course Director of the Bachelor of Information Technology. His main interests are in the areas of computational modelling, optimisation and simulation. These problems are characterised by the need to understand the effect of variability on the behaviour of critical systems and allocate resources optimally. Areas of expertise include Computing in Mathematics, Natural Science, Engineering and Medicine, Algorithms and Artificial Intelligence.
Maria Garcia de la Banda
Maria has an excellent international reputation as a researcher in the areas of Logic Programming, Constraint Programming, Program analysis and Transformation, and Bioinformatics. In 2009 she became the Head of the Caulfield School of Information Technology, and from 2012-2016 she was the Deputy Dean of the Faculty of Information Technology. More recently, she was elected as president of the Association for Constraint Programming.
Graeme is a Lecturer in the Faculty of Information Technology. His primary focus is the design and development of solvers for discrete optimisation.
Dr Ross Gawler’s professional experience has spanned the technical and economic factors in the development and operation of electricity generation and transmission. He has worked under both centrally planned and competitive industry structures. His professional goals have mainly centred on conducting realistic economic and risk analysis which leads to effective investments in generation and transmission assets.
Daniel's academic background is Artificial Intelligence, specifically those sub fields known to practitioners as Heuristic Search and AI Planning. As part of his research, Daniel studies a range of practical optimisation problems that appear in the context of Transportation and Logistics. Particular examples include path planning, rail scheduling, vehicle routing and others.
Alexey is a Senior Lecturer at the Optimisation research group of the Faculty of Information Technology of Monash University. Currently, his research is mainly focused on the development and improvement of highly efficient SAT- and SMT-based (satisfiability modulo theories) decision and optimization procedures targeting a variety of important practical applications in AI: from software package upgradability and Boolean formula minimization to model-based diagnosis (MBD), software fault localization and eXplainable AI (XAI).
Arun's primary research area is Computational Biology and Bioinformatics. Other research interests include data structures and algorithms, computational modelling and simulation, combinatorial optimisation and statistical learning using Minimum Message Length criterion.
Edward is a scientist working in combinatorial optimisation at Monash University and CSIRO's Data61. He develops intelligent algorithms for automated decision-making in the transportation, energy and medical industries. He specialises in hybridisations of mixed integer linear programming and constraint programming, with a particular focus on branch-and-cut-and-price for graph optimisation problems such as shortest path problems, traveling salesmen problems and vehicle routing problems. His broader areas of expertise include operations research, discrete mathematics, graph theory, linear algebra, high performance computing and algorithmics.
Pierre Le Bodic
Pierre joined us as a Lecturer in 2016. Between 2012 and 2016, he was a postdoc with Professor George Nemhauser at the school of Systems and Industrial Engineering (ISyE) at the Georgia Institute of Technology. He obtained his PhD in CS from Université Paris-Sud (Orsay). Pierre works in discrete optimisation and specialises in Mixed-Integer Programming solvers. He is also interested in interactions between optimisation and AI, Approximation, Computational Complexity, Machine Learning, Pattern Recognition and Visualisation.
Associate Professor Ariel Liebman leads Monash's Digital Energy initiatives, and co-leads the Grid Innovation Hub. He has published on various aspects of the electricity industry including impacts of emission trading, real-options investment, and wholesale price forecasting. Ariel is an energy markets specialist with more than 15 years’ experience across all aspects of the electricity supply chain incorporating modelling of deregulated power markets and generation investment planning, network regulation analysis, and commercial retail portfolio energy trading and risk management (ETRM).
Kevin completed his PhD in the Faculty on improving the modelling and solving process of MiniZinc. His main research focus now is on the analysis of nogoods learned by learning solvers to help improve user's models and speed up the solving of combinatorial problems. He has also continued to improve upon his doctoral research on automatically identifying reasons why a model may be incorrect.
Ilankaikone Senthooran joined the faculty in mid 2017 after completing his PhD in Artificial Intelligence at Monash University. He is currently working on three applied projects: bulk water distribution, plant layout optimisation and Alertness CRC. He has also worked on a freight train scheduling problem.
Guido is 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.
Hao is a Lecturer in the Optimisation Group, Department of Data Science and AI, Faculty of Information Technology. His research aims to develop systematic approaches to the planning and operation of power and energy systems using optimisation, computing, and machine learning.
Mark is Associate Dean of Research. His focus, both in Industry and University, has been on application-driven research and development, where industry funding is essential both to ensure research impact and to support sufficient research effort to build software systems that are robust enough for application developers to actually use.
Semini Wijekoon is a research fellow at Monash University working with A/ Prof Ariel Liebman, Prof Peter Stuckey and Dr Simon Dunstall on a Data61 CSIRO project. Semini investigates the effect of flexible generation measures, such as battery storage and generators with high ramping capabilities, on electricity network design and expansion.