Dr. Jussi Rintanen

Department of Computer Science
Aalto University
Helsinki, Finland

Adjunct Associate Professor
Institute for Integrated and Intelligent Systems
Griffith University
Brisbane, Queensland, Australia

email: Jussi.Rintanen@aalto.fi

An internationally leading researcher in Artificial Intelligence, especially in model-based methods for synthesis of software for complex tasks, with over two decades of experience in both fundamental and applicative research in Computer Science. A main strand in his research has been in automated reasoning, constraint programming and combinatorial search, and their applications in constructing software systems that are difficult to construct by conventional software engineering and programming.

Dr Rintanen obtained his PhD degree in Computer Science from the Helsinki University of Technology in 1997, held research and teaching positions at the universities of Ulm and Freiburg between 1997 and 2005, including obtaining the German professor level research and teaching qualifications (Venia Legendi, Habilitation) at the University of Freiburg in 2005, and worked in Australia from January 2006 until September 2012, as a Principal Researcher at National ICT Australia until March 2011 in various roles as a deputy program leader, project leader of multiple projects, and the leader of the Planning and Diagnosis group, and as an Adjunct Associate Professor at the Australian National University (Canberra) and at Griffith University (Brisbane). Further details in CV.

Applications of Dr Rintanen's research have been found in discrete and hybrid systems control (planning), monitoring, and diagnosis, in applications such as the Smart Grid (intelligent electricity networks) and the construction and management of complex large-scale software systems. A main objective of the research has been to understand, automatically, what happens in a complex system (monitoring, diagnosis, state estimation), what could happen (contingency analysis), and how to control the system according to given cost and safety objectives and to recover from fault situations (planning, control).

More recently, Dr Rintanen's research has addressed the construction of complex large-scale software systems in knowledge-intensive domains: information systems are synthesized automatically from formal high-level specifications. This leads to immense cost and time savings, increases the quality, flexibility and modifiability of software, and reduces the need for testing and validation.


Internationally recognized expert on Artificial Intelligence, with leading expertise in Wide interests in Artificial Intelligence, impact of AI on society, automation, technology, national security, as well as research management and policy.


Intelligent software systems

Tietojärjestelmät 2.0: Tekoäly automatisoidussa ohjelmistotuotannossa, eli kuinka ohjelmointityön tarve vähenee merkittävästi

Automated planning and decision-making

links to software: planning as satisfiability, planning by SMT, SAT solvers

Recent courses

2016 Summer School on Automated Planning and Scheduling, Lecture on Computational Complexity of Planning (presentation (PDF))
CS-E4800 - Artificial Intelligence
ICS-E5050 - Advanced Course in Boolean Satisfiability


SAT and its extensions (AAAI'14)
Search methods for planning (ECAI'14)

Thesis topics

I have several topics for M.Sc. and PhD theses. If you have your own funding (or you are already at Aalto and doing some other degree than PhD), please contact to discuss topics.