Home page of Dr. Jussi Rintanen Dr. Jussi Rintanen
principal researcher, adjunct associate professor

NICTA Canberra Research Laboratory, The Australian National University

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 (utilities, transportation, communication), B) manufacturing systems, C) distributed software systems, as well as modeling, synthesis, validation and execution of business processes.
See my CV for my scientific activities.


Research

I lead NICTA's projects on decision making under uncertainty (DPOLP) and supervisory control, diagnosis and reconfiguration of discrete dynamic systems (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 new!, 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 (at least 2 months) is strongly recommended. See accommodation near NICTA; restaurants in the centre of Canberra.

Conferences (ICAPS 2008)

I chaired and organized the ICAPS'08 conference in Sydney in 2008.

Courses and tutorials

I have lectured the following courses (all material © Jussi Rintanen unless otherwise stated).

(NEW) Lectures on Artificial Intelligence Planning (Summer Schools in Logic and Learning 2009) at VIDEOLECTURES.net.

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)


Information for Students

We are looking for competent students at different levels interested in our core research areas search, automated reasoning and artificial intelligence and their application to important problems such as decision making, planning, scheduling and diagnosis/monitoring.

See a list of topics for thesis projects.

See Graduate Study at College of Engineering and Computer Science, ANU application procedures, and information on ANU & NICTA PhD scholarships. Especially useful are the links about scholarships for international students (strongly encouraged to apply before the August 31 deadline each year) and Australian (permanently resident) students (strongly encouraged to apply before the October 31 deadline each year).

See info on summer scholarships (December-February) for short projects at the undergraduate level. There are no undergraduate internships or other undergraduate programs outside the December-February period.


Photos

Gardenia Country Inn, Manado/Tomohon: overpriced, bad experience Gardenia Country Inn, Manado/Tomohon: overpriced, bad experience other home page

Last modified: Mon Apr 6 19:06:31 EST 2009