Jussi Rintanen

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.