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 (especially utilities like electricity),
B) manufacturing,
C) distributed software systems,
D) modeling, validation, synthesis and execution of business processes
(including web services).
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 an adjunct Associate Professor
at the
Computer Science Laboratory of the Australian National University (
ANU).
My publications are on-line:
by category,
all.
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.