Jussi Rintanen
Principal Researcher
Canberra Research Laboratory
I am a principal researcher at NICTA's Canberra Research Laboratory and the leader of its planning and diagnosis group. Much of my research is part of NICTA's Artificial Intelligence research.
| My research interests are in search and automated reasoning, especially finding state, action, event or task sequences in very large transition systems. This problem appears as a subproblem when deciding what to do and how to do it, which can be viewed as a planning or controller synthesis problem. Most of the research challenges are caused by the astronomically high numbers of possible state/event/action/task sequences, and the alternative sequences that have to be considered when we cannot predict exactly what is going to happen. My research interests here are in the junction of the theoretical and the algorithmic: I am interested in understanding search methods such as SAT algorithms (propositional resolution proof systems) better, especially their capabilities in solving state-space reachability problems. |
In the application side, we (our NICTA project) are interested in
discrete and hybrid systems control (planning), monitoring, and diagnosis,
lately especially for intelligent networks such as the Smart Grid,
the intelligent electricity networks of the near future.
We try to understand, automatically, what happens in a complex system
(monitoring, diagnosis), what could happen (contingency analysis), and
what actions to take to avoid problems and to recover from faults
(control).
Another application area for our research is business processes. We are especially interested in goal-driven and declarative business process modeling, synthesis and execution. |
I obtained my PhD in Computer Science from the Helsinki University
of Technology in 1997, held research and teaching positions at
the universities of Ulm and Freiburg between 1997 and 2005, and
have been with NICTA since January 2006.
See my CV for my scientific activities.
Research
I lead NICTA's Reasoning about Discrete and Hybrid Systems: AI for the Smart Grid project and I am adjuncted to the School of Computer Science of the Australian National University (ANU).My publications are on-line: by category, SAT, all.
planning with SAT: very good new algorithms
Courses and tutorials
I have lectured the following courses (all material © Jussi Rintanen unless otherwise stated).Principles of AI planning (Albert-Ludwigs-Universität Freiburg, Germany)
AAAI'06 tutorial on Planning (earlier variant: IJCAI'05 tutorial on Planning)
IJCAI'07 tutorial on SAT, diagnosis, planning and model-checking
AAAI'07 tutorial on Algorithms and Applications of SAT (together with Anbulagan)
IJCAI'09 tutorial on SAT, SMT & QBF and their Applications in AI
For further information see my ANU home page.