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

NICTA Canberra Research Laboratory and 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 the leader of the planning and diagnosis group. The group's expertise includes automated decision-making, automated planning and intelligent control, discrete event systems diagnosis and monitoring, as well as the methods for solving these problems, including search, constraint-solving and logic-based methods such as satisfiability testing and knowledge compilation. In the application side, we focus on control and monitoring of distributed systems systems (esp. utilities), as well as synthesis of and reasoning about business processes.

I obtained my PhD in Computer Science from the Helsinki University of Technology in 1997, help 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 details.


Research

I lead a NICTA project Reasoning about Discrete and Hybrid Systems: AI for the Smart Grid.

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 (at least 2 months) is strongly recommended. See accommodation near NICTA; restaurants in the centre of Canberra.

Courses and tutorials

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

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)

IJCAI'09 tutorial on SAT, SMT & QBF and their Applications in AI


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

Last modified: Mon Jul 20 11:06:13 EST 2009


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