Jussi Rintanen
Principal Researcher
Canberra Research Laboratory
I am a principal researcher at NICTA's Canberra Research Laboratory
and working in several areas of automated reasoning, including
automated decision-making and planning as well as monitoring and diagnosis.
The expertise of my research group centers around these application
problems and several methods for solving them, including search,
constraint-solving as well as logic-based methods such as satisfiability
testing and knowledge compilation.
In the application side, we are interested in control and monitoring
of discrete systems, including
A) networks (transportation, communication, utilities),
B) manufacturing,
C) distributed software systems,
D) modeling, validation, synthesis and execution of business processes
(including web services) by innovative means.
See my CV for my scientific activities.
Research
I lead NICTA's decision making under uncertainty project (DPOLP) and contribute to the supervisory control, diagnosis and reconfiguration of discrete dynamic systems project (SuperCom). I also belong to the diagnosis, planning and optimization group at the Computer Science Laboratory of the Australian National University (ANU).My publications are on-line: by category, all.
Conferences (ICAPS 2008)
I am chairing/organizing the ICAPS'08 conference in Sydney in 2008. (See: ICAPS conference series)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)
For further information see my ANU home page.