CURRICULUM VITAE OF JUSSI RINTANEN

Name:
Jussi RINTANEN

Contact information:
email: rintanenj at gmail dot com

Citizenship:
Finland

Current affiliation:
Department of Computer Science, Aalto University, Finland
also: Adjunct Associate Professor of Computer Science (Griffith University, Australia)

Academic degrees and titles:
Habilitation (qualification for tenured professorships in Germany): Albert-Ludwigs-Universität Freiburg, Germany, December 1, 2005.
Doctor of Technology (Theoretical Computer Science): Helsinki University of Technology, Finland, January 28, 1997.
Licentiate in Technology (Theoretical Computer Science): Helsinki University of Technology, Finland, October 19, 1993.
Master of Science (Computer Science and Engineering): Helsinki University of Technology, Finland, September 15, 1992.
High school graduation: Tapiolan lukio, Espoo, Finland, May 31, 1987.

Employment:
October 1987 - November 1989: Part-time research assistant, Laboratory of Information Processing Science, Helsinki University of Technology.

June 1990 - January 1992: Research assistant, Laboratory of Information Processing Science, Helsinki University of Technology.

February 1992 - July 1996: Researcher (PhD student), Laboratory of Theoretical Computer Science, Helsinki University of Technology. (July 1995 - May 1996: Visiting researcher, Department of Computer Sciences, University of Texas at Austin.)

July 1996 - March 1997: Compulsory military service, Finnish Defence Forces (Uudenmaan Jääkäripataljoona/Santahamina, July 9, 1996 - September 15, 1996, Electrotechnical Research Institute, September 15, 1996 - March 5, 1997), Helsinki.

April 1997 - September 1999 : Researcher (Deutsche Forschungsgemeinschaft), Department of Computer Science, University of Ulm, Germany.

October 1999 - September 2005: Wissenschaftlicher Assistent (~ non-tenure-track assistant professor), Institute of Computer Science, Albert-Ludwigs-Universität Freiburg, Germany.

January 2006 - March 2011: Principal Researcher, NICTA, Canberra, Australia. January 2006 - : Adjunct Associate Professor, School of Computer Science, the Australian National University, Canberra, Australia.

October 2012 - : Research Fellow, Aalto University, Department of Computer Science (Department of Information and Computer Science until December 2014)

Publications:
Overview publications and presentations

Jussi Rintanen, Planning and SAT, in Armin Biere, Hans van Maaren, Mareijn Heule and Toby Walsh, Eds., Handbook of Satisfiability, pp. 483-504, IOS Press, 2009.

Jussi Rintanen, Planning: algorithms and complexity, Habilitation thesis, Albert-Ludwigs-Universität Freiburg, iv+182 pages, July 2005.

Jussi Rintanen. State-space traversal techniques for planning, Albert-Ludwigs-Universität-Freiburg, Institut für Informatik, Technical Report 220, 76 pages, 2005.

Jussi Rintanen. Introduction to automated planning, course notes, Albert-Ludwigs-Universität Freiburg, 2003-2005.

Refereed conference papers and journal articles

Jussi Rintanen. Schematic invariants by reduction to ground invariants. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, to appear, 2017. (© 2015 American Association for Artificial Intelligence. AAAI)

Martin Gebser, Tomi Janhunen, and Jussi Rintanen. Declarative encodings of acyclicity properties, Journal of Logic and Computation, to appear, 2017.

\item Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik Nyman, Johan Pensar, and Jukka Corander. Learning discrete decomposable graphical models via constraint optimization, Statistics and Computing, 27(1), pages 115-130, 2017.

Jussi Rintanen. Models of actions concurrency in temporal planning. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), AAAI Press, pages 1659-1665, 2015.

Jussi Rintanen. Discretization of temporal models with application to planning with SMT. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, pages 3349-3355, 2015. (© 2015 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen. Impact of modeling languages on the theory and practice in planning research. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, pages 4052-4056, 2015. (© 2015 American Association for Artificial Intelligence. AAAI) (slides)

Jussi Rintanen. Constraint-based algorithm for computing temporal invariants. In Proceedings of the European Conference on Logic in Artificial Intelligence, Lecture Notes in Computer Science 8761, pages 665-673, Springer-Verlag, 2014.

Martin Gebser, Tomi Janhunen, and Jussi Rintanen. SAT modulo Graphs: Acyclicity. In Proceedings of the European Conference on Logic in Artificial Intelligence, Lecture Notes in Computer Science 8761, pages 137-151, Springer-Verlag, 2014.

Martin Gebser, Tomi Janhunen, and Jussi Rintanen. Answer set programming as SAT modulo acyclicity. In ECAI 2014. Proceedings of the 21st European Conference on Artificial Intelligence, IOS Press, pages 351-356, 2014.

Martin Gebser, Tomi Janhunen, and Jussi Rintanen. ASP encodings of acyclicity properties. In Proceeding of the International Conference on Knowledge Representation and Reasoning, pages 634-637, AAAI Press, 2014.

Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henri Nyman and Johan Pensar. Learning chordal Markov networks by constraint satisfaction. In Advances in Neural Information Processing Systems 26 (NIPS'13), pages 1349-1357, 2013.

Jussi Rintanen and Charles Orgill Gretton. Computing upper bounds on lengths of transition sequences. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), AAAI Press, pages 2365-2372, 2013. (© 2013 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen. Scheduling with contingent resources and tasks. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), AAAI Press, pages 189-196, 2013. (© 2013 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen. Planning as satisfiability: heuristics, Artificial Intelligence Journal, 193, 45-83, December 2012. 4th most downloaded Artificial Intelligence article at ScienceDirect October-December 2012

Jussi Rintanen. Engineering efficient planners with SAT, In ECAI 2012. Proceedings of the 20th European Conference on Artificial Intelligence, IOS Press, 2012.

Jussi Rintanen. Complexity of conditional planning under partial observability and infinite executions, In ECAI 2012. Proceedings of the 20th European Conference on Artificial Intelligence, IOS Press, 2012.

Adi Botea, Jussi Rintanen and Debdeep Banerjee. Optimal reconfiguration for supply restoration with informed A* search.. IEEE Transactions on Smart Grid, 3(2), pages 583-593, 2012.

Jussi Rintanen. Planning with specialized SAT solvers. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, pages 1563-1566, 2011. (© 2011 American Association for Artificial Intelligence. AAAI) (slides)

Jussi Rintanen. Planning with SAT, admissible heuristics and A*. In Proceedings of the International Joint Conference on Artificial Intelligence, AAAI Press, pages 2015-2020, 2011. (© 2011 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen. Heuristics for planning with SAT and expressive action definitions. In Proceedings of the International Conference on Automated Planning and Scheduling, AAAI Press, pages 210-217, 2011. (© 2011 American Association for Artificial Intelligence. AAAI) (slides)

Jussi Rintanen. Heuristics for planning with SAT. In David Cohen, ed., Principles and Practice of Constraint Programming - CP 2010, 16th International Conference, CP 2010, St. Andrews, Scotland, September 2010, Proceedings. Lecture Notes in Computer Science 6308, pages 414-428, Springer-Verlag, 2010.

Jussi Rintanen. Heuristic planning with SAT: beyond strict depth-first search. In Twenty-Third Australasian Joint Conference on Artificial Intelligence, Adelaide, December 7-10, 2010, Proceedings. Lecture Notes in Computer Science, pages 415-424, Springer-Verlag, 2010.

Jussi Rintanen. Planning graphs and propositional clause-learning. In Gerhard Brewka and Patrick Doherty, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008), pages 535-543, AAAI Press, 2008. (© 2008 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen. Regression for classical and nondeterministic planning. In Malik Ghallab, Constantine D. Spyropoulos, and Nikos Fakotakis, editors, ECAI 2008. Proceedings of the 18th European Conference on Artificial Intelligence. pages 568-571, IOS Press, 2008.

Jussi Rintanen. A new approach to planning in networks. In Malik Ghallab, Constantine D. Spyropoulos, and Nikos Fakotakis, editors, ECAI 2008. Proceedings of the 18th European Conference on Artificial Intelligence. pages 917-918, IOS Press, 2008.

Martin Wehrle and Jussi Rintanen, Planning as satisfiability with relaxed ∃-step plans, In Mehmet Orgun and John Thornton, eds, AI 2007 : Advances in Artificial Intelligence: 20th Australian Joint Conference on Artificial Intelligence, Surfers Paradise, Gold Coast, Australia, December 2-6, 2007, Proceedings, Lecture Notes in Computer Science 4830, pages 244-253, Springer-Verlag, 2007. The winner of the AI 2007 Best Paper Award

Jussi Rintanen, Complexity of concurrent temporal planning, Proceedings of the 17th International Conference on Automated Planning and Scheduling, pages 280-287, AAAI Press, 2007. (© 2007 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen, Asymptotically optimal encodings of conformant planning in QBF, Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), pages 1045-1050, AAAI Press, 2007. (© 2007 American Association for Artificial Intelligence. AAAI)

Alban Grastien, Anbulagan, Jussi Rintanen and Elena Kelareva, Diagnosis of discrete-event systems using satisfiability algorithms, pages 305-310, Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), AAAI Press, 2007. (© 2007 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen and Alban Grastien, Diagnosability testing with satisfiability algorithms, in Manuela Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 532-537, AAAI Press, 2007.

Jussi Rintanen, Diagnosers and diagnosability of succinct transition systems, in Manuela Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 538-544, AAAI Press, 2007.

Sarah Hickmott, Jussi Rintanen, Sylvie Thiébaux and Langford White, Planning via Petri net unfolding, in Manuela Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 1904-1911, AAAI Press, 2007.

Robert Mattmüller and Jussi Rintanen, Planning for temporally extended goals as propositional satisfiability, in Manuela Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 1966-1971, AAAI Press, 2007.

Jussi Rintanen, Keijo Heljanko and Ilkka Niemelä, Planning as satisfiability: parallel plans and algorithms for plan search, Artificial Intelligence, 170(12-13), pages 1031-1080, 2006. 2nd most downloaded Artificial Intelligence article at ScienceDirect October-December 2006 (excluding review and survey articles)

Jussi Rintanen, Unified definition of heuristics for classical planning, ECAI 2006. Proceedings of the 17th European Conference on Artificial Intelligence, pages 600-604, IOS Press, 2006.

Jussi Rintanen, Compact representation of sets of binary constraints, ECAI 2006. Proceedings of the 17th European Conference on Artificial Intelligence, pages 143-147, IOS Press, 2006. [ECAI'06 talk]

Jussi Rintanen, Conditional planning in the discrete belief space, in L. P. Kaelbling, ed., Proceedings of the 19th International Joint Conference on Artificial Intelligence, pages 1260-1265, Morgan Kaufmann Publishers, San Francisco, California, 2005.

Markus Büttner and Jussi Rintanen, Satisfiability Planning with Constraints on the number of Actions, in Proceedings of the 15th International Conference on Automated Planning and Scheduling, pages 292-299, AAAI Press, 2005.

Jussi Rintanen, Evaluation strategies for planning as satisfiability, in R. Lopez de Mantaras and Lorenza Saitta, eds., ECAI 2004. Proceedings of the 16th European Conference on Artificial Intelligence, pages 682-687, IOS Press, 2004. [additional material on slides of ECAI'04 talk, 8 on 1]

Jussi Rintanen, Keijo Heljanko and Ilkka Niemelä. Parallel encodings of classical planning as satisfiability, José Júlio Alferes and João Leite, eds., Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings, Lecture Notes in Computer Science 3229, pages 307-319, Springer-Verlag, 2004.

Jussi Rintanen, Complexity of planning with partial observability, in Proceedings of the 14th International Conference on Automated Planning and Scheduling, pages 345-354, AAAI Press, 2004. (© 2004 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen, Phase transitions in classical planning: an experimental study, in Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), pages 710-719, AAAI Press, 2004. [additional material on slides of KR'04 talk, 8 on 1]

Jussi Rintanen, Phase transitions in classical planning: an experimental study, in Proceedings of the 14th International Conference on Automated Planning and Scheduling, pages 101-110, AAAI Press, 2004.

Jussi Rintanen, Distance estimates for planning in the discrete belief space, in Proceedings of the 19th National Conference on Artificial Intelligence, pages 525-530, AAAI Press, 2004. (© 2004 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen, Symmetry reduction for SAT representations of transition systems, in Proceedings of the 13th International Conference on Automated Planning and Scheduling, pages 32-40, AAAI Press, 2003. (© 2003 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen, Expressive equivalence of formalisms for planning with sensing, in Proceedings of the 13th International Conference on Automated Planning and Scheduling, pages 185-194, AAAI Press, 2003. (© 2003 American Association for Artificial Intelligence. AAAI)

Jussi Rintanen, Backward plan construction for planning with partial observability, in International Conference on Artificial Intelligence Planning and Scheduling (AIPS02), Malik Ghallab, J. Hertzberg and P. Traverso, eds., pages 173-182, AAAI Press, 2002. (© AAAI)

Jussi Rintanen, Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae, in International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR01), R. Nieuwenhuis and Andrei Voronkov, eds., Lecture Notes in Computer Science 2250, pages 362-376, Springer-Verlag, 2001. (© Springer-Verlag)

Jussi Rintanen, Complexity of probabilistic planning under average rewards, in Proceedings of the 17th International Joint Conference on Artificial Intelligence, Bernhard Nebel, ed., pages 503-508, August 2001. Morgan Kaufmann Publishers, San Francisco, California, 2001.

Jussi Rintanen. An iterative algorithm for synthesizing invariants, in Proceedings of the 17th National Conference on Artificial Intelligence / 12th Innovative Applications of AI Conference, pages 806-811, AAAI Press, 2000. (© AAAI)

Jussi Rintanen. Incorporation of temporal logic control into plan operators, in ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, Werner Horn, ed., pages 526-530, IOS Press, Amsterdam, 2000.

Jussi Rintanen and Hartmut Jungholt. Numeric state variables in constraint-based planning, in Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Susanne Biundo and Maria Fox, eds., Lecture Notes in Artificial Intelligence 1809, pages 109-121, 2000. Springer-Verlag, Berlin, Germany.

Jussi Rintanen. Improvements to the evaluation of quantified Boolean formulae, in Proceedings of the 16th International Joint Conference on Artificial Intelligence, T. Dean, ed., pages 1192-1197, Stockholm, Sweden, August 1999. Morgan Kaufmann Publishers, San Francisco, California.

Jussi Rintanen. Constructing conditional plans by a theorem-prover, Journal of Artificial Intelligence Research, 10:323-352, 1999. (JAIR)

Jussi Rintanen. Lexicographic priorities in default logic. Artificial Intelligence Journal, 106(2):221-265, 1998.

Jussi Rintanen. Complexity of prioritized default logics. Journal of Artificial Intelligence Research 9:423-461, 1998. JAIR)

Jussi Rintanen. A planning algorithm not based on directional search. in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), A. G. Cohn, L. K. Schubert, and S. C. Shapiro, eds., pages 617-624, Trento, Italy, June 1998. Morgan Kaufmann Publishers, San Francisco, California.

Jussi Rintanen. On specificity in default logic. in Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 1974-1979, Montréal, Canada, August 1995, Morgan Kaufmann Publishers.

Jussi Rintanen. Prioritized autoepistemic logic. in Logic in Artificial Intelligence: Proceedings of the 4th European Workshop JELIA'94, Lecture Notes in Artificial Intelligence 838, pages 232-246, York, England, September 1994. Springer-Verlag.

Ilkka Niemelä and Jussi Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. Journal of Applied Non-Classical Logics, 4(2):141-179, 1994.

Ilkka Niemelä and Jussi Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. in Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '92), B. Nebel, C. Rich and W. Swartout, eds., pages 627-638, Cambridge, Massachusetts, October 1992. Morgan Kaufmann Publishers.

Other publications

Jussi Rintanen, Planning and Satisfiability, in Armin Biere, Hans van Maaren, Mareijn Heule and Toby Walsh, Eds., Handbook of Satisfiability, IOS Press, 2009.

Jussi Rintanen, Bernhard Nebel, J. Christoper Beck and Eric Hansen, eds. Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, AAAI Press, 2008.

Jussi Rintanen, Keijo Heljanko and Ilkka Niemelä. Parallel encodings of classical planning as satisfiability, Report No. 198, Albert-Ludwigs-Universität Freiburg, Institut für Informatik, 2004.

Jussi Rintanen. Conditional planning in the discrete belief space, Report No. 205, Albert-Ludwigs-Universität Freiburg, Institut für Informatik, 2004.

Alexander Nareyek, Robert Fourer, Euegen C. Freuder, Enrico Giunchiglia, Robert P. Goldman, Henry Kautz, Jussi Rintanen and Austin Tate, Constraints and AI planning, IEEE Intelligent Systems, 20(2):62-72, 2005.

Jussi Rintanen and Jörg Hoffmann, An overview of recent algorithms for AI planning, Künstliche Intelligenz, (2):5-11, May 2001.

Jussi Rintanen, Lexicographic Ordering as a Basis of Priorities in Default Reasoning, Department of Computer Science and Engineering, Helsinki University of Technology, December 1996, vi+187 pages.

Ilkka Niemelä and Jussi Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. G. Lakemeyer and B. Nebel, Eds., Foundations of Knowledge Representation and Reasoning, Lecture Notes in Artificial Intelligence 810, pages 275-295. Springer-Verlag, June 1994.

Jussi Rintanen. Approaches to priorities in default reasoning. M. Penttonen, ed., Proceedings of the Seventh Finnish Symposium on Computer Science, pages 121-131, Liperi, Finland, January 1994. University of Joensuu, Department of Computer Science. Report A-1994-1.

Jussi Rintanen. Priorities and nonmonotonic reasoning. Research report A 28, Helsinki University of Technology, Digital Systems Laboratory, December 1993, 90 pages.

Jussi Rintanen. Stratification and tractability in nonmonotonic reasoning. Research report A 20, Helsinki University of Technology, Digital Systems Laboratory, November 1992, 71 pages.

Ilkka Niemelä and Jussi Rintanen. A decision procedure for stratified autoepistemic logic. E. Hyvönen, J. Seppänen and M. Syrjänen, Eds., 5th Finnish Artificial Intelligence Conference, Vol 1: Conference Papers, pages 202-211, June 1992.

Jussi Rintanen, Markku Tamminen, Jari Arkko, Juha Kuusela, Esko Nuutila and Vesa Hirvisalo. XD manual. Report C 36, Helsinki University of Technology, Faculty of Information Technology, Espoo, 1989.

Projects and funding
Algorithms for Planning under Partial Observability, Albert-Ludwigs-Universität Freiburg / Deutsche Forschungsgemeinschaft DFG (project leader 2003-2005)
Dynamic Planning, Optimisation and Learning Project, NICTA (project leader 2007-2008)
Model-Based Supervision of Composite Systems, NICTA (project leader 2008)
Reasoning about Discrete and Hybrid Systems (AI for the Smart Grid), NICTA (project leader 2009-2011)
Exploiting Structure in AI Planning, Australian Research Council / the Australian National University (as Partner Investigator, 2009-2011)
Professional service
Organization of conferences
ICAPS-08 International Conference on Automated Planning and Scheduling (conference chair)
ICAPS-03 International Conference on Automated Planning and Scheduling (tutorials co-chair)
Journals (editing, editorial boards)
member of the editorial board, Journal of Artificial Intelligence Research (May 1, 2006 .. April 30, 2009)
Journals (reviewing)
Artificial Intelligence Journal (1999, 2000 (3), 2001 (3), 2002, 2003 (2), 2004, 2005 (2), 2007 (3), 2008 (2), 2009, 2010, 2011, 2012, 2013, 2014, 2015 (3), 2016 (3))
Journal of Artificial Intelligence Research (2000, 2003 (2), 2004, 2005, 2006, 2007 (2), 2008 (3), 2009 (3), 2011, 2014, 2015, 2016, 2017)
Journal of Automated Reasoning (1999, 2004)
Journal of Heuristics (2010)
Constraints Journal (2001, 2009, 2010 (3))
Information Processing Letters (2007)
Knowledge Engineering (2012)
Journal of Logic and Computation (2005)
Journal of Universal Computer Science (2003, 2004 (2))
ACM Transactions on Computational Logic (2004)
ACM Transactions on Intelligent Systems and Technology (2013)
Annals of Mathematics and Artificial Intelligence (2006, 2015)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2006,2010)
Journal on Satisfiability, Boolean Modeling and Computation (2005)
Logical Methods in Computer Science (2006)
Journal of Computational Intelligence (2003, 2008, 2011, 2013)
Journal of Theory and Practice of Logic Programming (2001)
International Journal on Artificial Intelligence Tools (2010)
Künstliche Intelligenz (2000)
Engineering Applications of Artificial Intelligence (2010)
Fuzzy Sets and Systems (2010)
Conferences (program committee membership)
(Of the following conferences, IJCAI, ECAI and AAAI have a separate "senior program committee". Membership in it is marked with SPC.)
International Joint Conference on Artificial Intelligence (IJCAI-2009 SPC, IJCAI-2011 SPC, IJCAI 2015, IJCAI 2016 SPC, IJCAI 2017 SPC)
The AAAI Conference on Artificial Intelligence (AAAI-04, AAAI-06, AAAI-07, AAAI-08, AAAI-10, AAAI-11, AAAI-12, AAAI-14, AAAI-15, AAAI-16 SPC, AAAI-17 SPC) (formerly (U.S.) National Conference on AI)
European Conference on Artificial Intelligence (ECAI-2002 SPC, ECAI-2006, ECAI-2008, ECAI-2010, ECAI-2014, ECAI-2016)
International Conference on Theory and Applications of Satisfiability Testing (SAT 2003, SAT 2005, SAT 2006, SAT 2012, SAT 2013, SAT 2014)
Australasian Joint Conference on Artificial Intelligence (2012 SPC, 2016 SPC, 2017 SPC)
International Conference on Automated Planning and Scheduling (ICAPS-03, ICAPS-04, ICAPS-05, ICAPS-06, ICAPS-07, ICAPS-08, ICAPS-09 SPC, ICAPS-11, ICAPS-12, ICAPS-13)
International Conference on Principles of Knowledge Representation and Reasoning (KR 2000, KR 2012, KR 2014)
The European Conference on Logics in Artificial Intelligence (JELIA 2010, JELIA 2012, JELIA 2014, JELIA 2016)
Global Conference on Artificial Intelligence (2015, 2016)
International Conference on Artificial Intelligence Planning and Scheduling (AIPS-2002)
International Workshop on Nonmonotonic Reasoning (NMR-08)
International Symposium on Artificial Intelligence and Mathematics (2007)
First International Symmetry Conference (2007)
Australian Joint Conference of Artificial Intelligence (AI 2006, AI 2007)
European Starting AI Researcher Symposium (STAIRS-2002, STAIRS-2004)
Sixth European Conference on Planning (ECP01)
Conferences (reviewing)
International Joint Conference on Artificial Intelligence IJCAI (1999, 2001, 2003, 2005, 2007)
International Conference on Artificial Intelligence Planning and Scheduling AIPS (2000)
International Conference on Automated Planning and Scheduling ICAPS (2014)
Journées Européennes sur la Logique en Intelligence Artificielle JELIA (2000, 2002, 2006, 2008)
International Conference on Principles of Knowledge Representation and Reasoning KR (2002, 2004)
National Conference on Artificial Intelligence AAAI (2002)
Conference on Automated Deduction CADE (2002, 2005)
International Conference on Principles and Practice of Constraint Programming CP (2002)
Künstliche Intelligenz KI (2002, 2003)
International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR (2003)
Foundations of Software Science and Computation Structures (FoSSaCS-08)
Tutorials given in conferences
  1. Planning: Techniques for Efficient State-Space Traversal, Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI-05), Edinburgh, Scotland, July 30, 2005.
  2. Planning: Techniques for Efficient State-Space Traversal, Tutorial at the (U.S.) National Conference on Artificial Intelligence (AAAI-06), Boston, Massachusetts, July 16, 2006.
  3. Reasoning about Dynamic Systems by Satisfiability Testing: Planning, Model-Checking and Diagnosis, Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January 8, 2007.
  4. Propositional Satisfiability: Algorithms and Applications (with Anbulagan), Tutorial at the (U.S.) National Conference on Artificial Intelligence (AAAI-07), Vancouver, British Columbia, July 2007.
  5. SAT, SMT & QBF and their Applications in Artificial Intelligence, Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, California, July 2009.
  6. Algorithms for Classical Planning, Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI-11), Barcelona, Spain, July 2011.
  7. SAT in AI: High Performance Search Methods with Applications, Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI-13), Beijing, China, August 2013.
  8. Algorithms for Classical Planning, Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI-13), Beijing, China, August 2013.
  9. SAT in AI: High Performance Search Methods with Applications, Tutorial at the AAAI Conference on Artificial Intelligence (AAAI-14), Quebec, Canada, July 2014.
  10. State-Space Search Methods for Classical and Temporal Planning, Tutorial at the European Conference on Artificial Intelligence (ECAI-14), Prague, Czech Republic, August 2014.
Tutorials given at summer schools
  1. Computational complexity of planning, Lecture at the 2016 Summer School on Automated Planning and Scheduling, King's College, London, UK, June 2016.
  2. Planning and Satisfiability, lecture at the SAT/SMT Summer School at the International Conference on Theory and Applications of Satisfiability Testing SAT, Trento, Italy, June 2012.
  3. Automated Planning Lecture at the Summer Schools in Logic and Learning, the Australian National University, Canberra, Australia, February 2009.
  4. Automated Planning, lecture at the Logic Summer School, the Australian National University, Canberra, Australia, December 2006.
Other activities
Member of the ICAPS Council, September 2008 - August 2014
Project reviewer for EPSRC (UK)
Project reviewer for ISF (Israel)
Project reviewer for DFG (Germany)
Project reviewer for NWO (Netherlands)
Project reviewer for Grant Review Committee of Ministero dell'Istruzione dell'Universita a dell Ricerca (Italy)
Lecturing
Aalto University, Helsinki, Finland, spring 2016: Advanced Course on Boolean Satisfiability (lectures 3 times 2h; course given with Lecturers Tomi Janhunen and Tommi Junttila)
Aalto University, Helsinki, Finland, spring 2016: Artificial Intelligence (lectures 4 times 2h, 2 times 1 hour; course given with Ass. Prof. Tapani Raiko)
Aalto University, Helsinki, Finland, spring 2015: Artificial Intelligence (lectures 4 times 2h, 2 times 1 hour; course given with Ass. Prof. Tapani Raiko)
Aalto University, Helsinki, Finland, spring 2014: Logic in Computer Science, Foundations (lectures 12 times 2h)
Aalto University, Helsinki, Finland, spring 2013: Logic in Computer Science, Foundations (lectures 12 times 2h)
the Australian National University, March 2011: Software Analysis and Design (2h, Petri nets and formal methods)
University of New South Wales, September 2010: Knowledge Representation and Reasoning (3h, AI planning)
the Australian National University, April 2010: Software Analysis and Design (2h, Petri nets and formal methods)
University of New South Wales, September 2009: Knowledge Representation and Reasoning (3h, AI planning)
University of New South Wales, September 2008: Knowledge Representation and Reasoning (3h, AI planning)
University of New South Wales, August 2007: Knowledge Representation and Reasoning (3h, AI planning)
University of New South Wales, August 2006: Knowledge Representation and Reasoning (3h, AI planning)
Albert-Ludwigs-Universität Freiburg, summer 2005: AI Planning (lectures 13 times 2+1h)
Albert-Ludwigs-Universität Freiburg, winter 2004-05: Knowledge Representation (lectures 4 times 2+1h, with Bernhard Nebel and Stefan Wölfl)
Albert-Ludwigs-Universität Freiburg, summer 2004: AI Planning (lectures 13 times 2+1h)
Albert-Ludwigs-Universität Freiburg, winter 2003-04: Modal logics (lectures 6 times 2+1h, with Stefan Wölfl)
Albert-Ludwigs-Universität Freiburg, summer 2003: Knowledge Representation (lectures 6 times 2+1h, with Bernhard Nebel)
Albert-Ludwigs-Universität Freiburg, winter 2002-03: AI Planning (lectures 13 times 2+1h)
Albert-Ludwigs-Universität Freiburg, summer 2002: Game theory (lectures 5 times 2+1h, with Bernhard Nebel).
Albert-Ludwigs-Universität Freiburg, summer 2001: AI Planning (lectures 11 times 2h).
Helsinki University of Technology, Autumn 1994: Logic in Computer Science: Foundations (lectures 13 times 2h)
Helsinki University of Technology, Autumn 1993: Logic in Computer Science: Foundations (lectures 13 times 2h)
Helsinki University of Technology, Spring 1993: Logic in Computer Science: Special topics (lectures 5 times 2h)

Awards
The annual Pro Gradu award of the Finnish Society for Computer Science for a distinguished master's thesis (one is awarded annually), 1993.
Finnish Academy of Science and Letters, award for a distinguished doctoral thesis and a postdoctoral research proposal (four are awarded annually, covering arts and sciences), 1997.
Best Paper Award at the Australasian Conference on Artificial Intelligence, 2007.

Language skills
Finnish (native), English (excellent, 1995-96 in USA and 2006-2012 in Australia), German (very good, 1997-2005 in Germany), Swedish (good but not active, 6 years at school), French (fair but not active, two courses at university), Russian (fair but not active, 1979-81 in Russia and two courses at university), Japanese (basics, one university course), Indonesian (basics, one university course).

Erdös number
4