Home page of Dr. Jussi Rintanen
Dr. Jussi Rintanen
principal researcher
- mailing address
-
NICTA
Canberra Research Laboratory
Locked Bag 8001
Canberra ACT 2601
Australia
- phone
- +61 2 6267 6306; cell phone +61 404 917 503
- www
- csl.rsise.anu.edu.au/~jussi/
- email
- firstname dot lastname @NICTA.com.au
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 focus on control and monitoring
of
A) networked systems (transportation, communication, utilities),
B) manufacturing systems,
C) distributed software systems,
as well as modeling, validation, synthesis and execution of business processes.
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).
publications by category:
planning with
heuristics and
SAT;
diagnosis;
diagnosis and SAT;
complexity of planning;
planning with incomplete information;
all.
planning as SAT (software, papers, links)
Information for visitors
Our group is happy to host visiting researchers sharing our research interests.
To coordinate the visits we would prefer to have an advance notice of
prospective visits. Please contact us as soon as you are thinking of visiting.
There is a shortage of long-term non-hotel accommodation in Canberra
and reserving accommodation for visits longer than one week well in advance
(>= 3 months) is strongly recommended.
See accommodation near NICTA; restaurants in the centre of Canberra.
Conferences (ICAPS 2008)
I will be 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)
Students
We are looking for competent students at different levels
interested in our core research areas like decision making,
planning, scheduling, diagnosis, monitoring, automated reasoning
and knowledge representation.
See a list of topics for thesis projects.
See
ANU application procedures and information on
ANU & NICTA PhD scholarships.
See info on summer scholarships (December-February)
for short projects at the undergraduate level.
Useful links
related research
Non-research
photos
Last modified: Thu Jul 31 10:21:39 EST 2007
