Jussi RintanenView profile
Associate Professor
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 .





