Jussi Rintanen

Jussi Rintanen is an Associate Professor at the Department of Computer Science, Aalto University. He is an internationally leading researcher in constraint-based planning and decision-making, with a focus on applying AI technologies to automating software production and synthesis of intelligent systems.

• Helsinki University of Technology (Doctoral Degree, 1997)
• Albert-Ludwigs-University Freiburg (Venia Legendi, 2005)
• National ICT Australia / Australian National University (Academic Positions)

His research spans automated planning, SAT solving, temporal planning, and constraint-based search methods. Recent work highlights symmetry-breaking constraints, partial observability planning, and acyclicity encodings in SAT frameworks.

The 15 most recent articles reflect trends in AI planning, graph algorithms, and formal verification, with applications in software synthesis, temporal reasoning, and uncertainty handling. His methodologies integrate integer programming, SMT encodings, and propositional logic.