People

Home | News | People | Collaborations | Projects | Publications | Seminars | Phd Scholarships |  Jobs

Research Group Leader

Pascal Van Hentenryck Pascal Van Hentenryck Optimisation Research Group Leader

Pascal Van Hentenryck leads the optimisation research group at NICTA (about 50 people) which focuses on disaster management, future energy systems, and supply-chains, and carries out research in continuous and discrete optimisation, decision making under uncertainty, simulation and visualisation, and computational social choice. Prior to that, he was professor of computer science at Brown University for about 20 years. Pascal.VanHentenryck@nicta.com.au

Research Leaders

 

Maria Garcia de la Banda Research Leader, Victorian Research Laboratory
Maria Garcia de la Banda is a research leader at NICTA's Victorian Lab and an Associate Professor at Monash University. Maria leads the Model Analysis project at NICTA. This project aims to develop technology that both simplifies the task of finding the best model and solving technique for optimisation problems and improves the quality of the final choice.Maria.GarciaDeLaBanda@nicta.com.au



Philip Kilby Research Leader, Canberra Research Laboratory

Philip Kilby is a research leader at NICTA's Canberra Lab and an Adjunct Fellow at the Australian National University. Philip leads the Logistics and Supply Chain project at NICTA. He has a background in operations research, but is also interested in techniques from artificial intelligence, including constraint satisfaction methods. Prior to NICTA, Philip was a research leader at  CSIRO's Mathematical and Information Sciences. He also held positions at the University of Strathclyde, and in private industry.Philip.Kilby@nicta.com.au
   

Kim Marriott Research Leader, Victorian Research Laboratory

Kim Marriott is a research leader at NICTA's Victorian Lab and a professor at Monash University.Kim.Marriott@nicta.com.au


Abdul Sattar Research Leader, Queensland Research Laboratory

Abdul Sattar is a research leader at NICTA's Queensland Lab and a professor at Griffith University. Abdul is also founding Director of the Institute for Integrated and Intelligent Systems at Griffith University established in 2003. Abdul leads the Advanced Computational Proteomics project at NICTA. His research interests include knowledge representation and reasoning, constraint satisfaction, rational agents, propositional satisfiability, temporal reasoning, temporal databases, and bioinformatics.Abdul.Sattar@nicta.com.au

Peter Stuckey Research Leader, Victorian Research Laboratory 

Peter Stuckey is a research leader at NICTA's Victorian Lab and a professor at the University of Melbourne. Peter leads the G12 Constraint Programming Platform project. He is primarily interested in programming languages and constraints and has worked in areas such as: logic programming, program analysis, constraint programming, constraint-based graphics, functional programming, bioinformatics, and computer science education.Peter.Stuckey@nicta.com.au


Sylvie Thiebaux Sylvie Thiebaux Research Leader, Canberra Research Laboratory

Sylvie Thiebaux is a research leader at NICTA's Canberra Lab and a professor at the Australian National University. Sylvie leads the Future Energy Systems project at NICTA. Her research interests include planning & scheduling, model-based diagnosis, combinatorial optimisation & search, reasoning under uncertainty, and their applications to future energy systems.Sylvie.Thiebaux@nicta.com.au


  Toby Walsh Research Leader, Neville Roach Laboratory
Toby Walsh is a research leader at NICTA's Neville Roach Lab and a professor at the University of New South Wales and an external professor at Uppsala University. Toby leads the Algorithmic Decision Theory project at NICTA. His research focuses on representation and reasoning problems in AI, especially in constraint programming and scheduling.Toby.Walsh@nicta.com.au

 

Researchers