Tomi Janhunen

Doctor of Science (Tech.)

Adjunct Professor of Computer Science in 2019-2024

Docent in Information and Computer Science

Full Professor of Computer Science at Tampere University

Mail address

Aalto University, School of Science, Department of Computer Science
PO Box 15400, FI-00076 Aalto, Finland

Contact information

(see my info at Tampere University)

Research Interests

• Knowledge representation and automated reasoning
• Answer set programming: modularity, verification, optimization, etc.
• Satisfiability checking
• Satisfiability modulo theories
• Linear and mixed integer programming
• Graphical (probabilistic) modelling
• Distributed computation (multiprocessor architectures, computational grids, clouds)
• Nonmonotonic logics and their expressive power
• Computational complexity

Research

• Former member and co-leader of the Computational Logic Group
• Past projects: Computational Inference at COIN and HIIT
• Past projects (since year 2000): Smart Spaces at EIT ICT Labs, MCM, ACPT, ARBCP, FMDS, CPBDR, and 007
• Experimental software and tools: GnT, lpeq, circ2dlp, lp2diff, lp2sat, sateq, and asptools

Publications

• List of my publications many of which are available online
• Other sources: Google Scholar, DBLP, and Research Gate

Conferences (until 2022)

PC Co-Chair

• The 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'17), 2017, Espoo, Finland.
• The 3rd International Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15), September 27, 2015, Lexington, Kentucky, USA.
• The 12th European Conference on Logics in Artificial Intelligence (JELIA'10), September 13—15, 2010, Helsinki, Finland.

Senior PC Member or Track Chair

• The 31st International Joint Conference on Artificial Intelligence (IJCAI'22), July 23—29, 2022, Vienna, Austria.
• The 30th International Joint Conference on Artificial Intelligence (IJCAI'20), January 7—15, 2021, Yokohama, Japan.
• The 24th European Conference on Artificial Intelligence (ECAI'20), August 29—September 8, 2020, Santiago de Compostela, Spain.
• The 25th International Joint Conference on Artificial Intelligence (IJCAI'16), July 9—11, 2016, New York, USA.
• The 21st European Conference on Artificial Intelligence (ECAI'14), August 20—22, 2014, Prague, Czech Republic.
• The 15th International Workshop on Non-Monotonic Reasoning (NMR'14), the track on declarative programming, July 17—19, 2014, Vienna, Austria.
• The session on applications at NMR'08.
• The computational aspects of NMR subworkshop of NMR'04.

Organizer/Co-Organizer

• The 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'17), 2017, Espoo, Finland.
• Third International SAT/SMT Summer School, July 3—5, 2013, Espoo, Finland.

PC Member

• The 19th International Conference on Principles of Knowledge Representation and Reasoning (KR'22), July 31—August 5, 2022, Haifa, Israel.
• The 38th International Conference on Logic Programming (ICLP'22), July 31—August 8, 2022, Haifa, Israel.
• The 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'22), September 5—8, 2022, Genoa, Italy.
• The 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'22), June 20—23, 2022, Helsinki, Finland.
• The 15th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'22), July 31, 2022, Haifa, Israel.
• The 20th International Workshop on Nonmonotonic Reasoning (NMR'22), August 7—9, 2022, Haifa, Israel.
• The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), November 3—12, 2021, Online.
• The 37th International Conference on Logic Programming (ICLP'21), September 20—27, 2021, Online.
• The 17th European Conference on Logics in Artificial Intelligence (JELIA'21), May 17—20, 2021, Klagenfurt, Austria.
• The 19th International Workshop on Nonmonotonic Reasoning (NMR'21), November 3—5, 2021, Online.
• The 14th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'21), September 21, 2021, Online.
• The 36th International Conference on Logic Programming (ICLP'20), September 18—25, 2020, Rende, Italy.
• The 13th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'20), September 18, 2020, Rende, Italy.
• The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR'20), September 12—18, 2020, Rhodes, Greece.
• The 18th International Workshop on Nonmonotonic Reasoning (NMR'20), September 12—14, 2020, Rhodes, Greece.
• Declarative Problem Solving Workshop (DPSW'20), August 29—30, 2020, Santiago de Compostela, Spain.
• The 11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'20), February 17—21, 2020, Dortmund, Germany.
• The 35th International Conference on Logic Programming (ICLP'19), September 21—25, 2019, Las Cruces, New Mexico, USA.
• The 22nd International Conference on Applications of Declarative Programming and Knowledge Management, (INAP'19), September 9—13, 2019, Cottbus, Germany.
• The 33rd Workshop on (Constraint) Logic Programming (WLP'19), September 9—13, 2019, Cottbus, Germany.
• The 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19), June 4—7, 2019, Philadelphia, USA.
• The 12th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'19), June, 2019, Philadelphia, USA.
• The 16th European Conference on Logics in Artificial Intelligence (JELIA'19), May 8—10, 2019, Rende, Italy.
• The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18), October 30—November 2, 2018, Tempe, Arizona.
• The 17th International Workshop on Nonmonotonic Reasoning (NMR'18), October 27—29, 2018, Tempe, Arizona.
• The 34th International Conference on Logic Programming (ICLP'18), July 14—17, 2018, Oxford, UK.
• The 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'18), July 18th, 2018, Oxford, UK.
• The 33rd International Conference on Logic Programming (ICLP'17), August 28—September 1, 2017, Melbourne, Australia.
• The 6th International Workshop on Logic and Search (LaSh'17), August 28, 2017, Melbourne, Australia.
• The 10th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17), July 3, 2017, Espoo, Finland.
• The 15th European Conference on Logics in Artificial Intelligence (JELIA'16), November 9—11, 2016, Larnaca, Cyprus.
• The 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), April 25—29, 2016, Cape Town, South Africa.
• The 16th International Workshop on Nonmonotonic Reasoning (NMR'16), April 25—29, 2016, Cape Town, South Africa.
• The 9th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'16), October 16, 2016, New York, USA.
• The 2nd Global Conference on Artificial Intelligence (GCAI'16), September 29—October 2, 2016, Berlin, Germany.
• International Workshop on Knowledge-based Techniques for Problem Solving and Reasoning (KnowProS) at IJCAI 2016, New York, USA.
• The 1st Global Conference on Artificial Intelligence (GCAI'15), October 16—19, 2015, Tbilisi, Georgia.
• The 8th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15), August 31, 2015, Cork, Ireland.
• The 24th International Joint Conference on Artificial Intelligence (IJCAI'15), July 25—31, 2015, Buenos Aires, Argentina.
• The 31st International Conference on Logic Programming (ICLP'15), August 31—September 4, 2015, Cork, Ireland.
• The 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), September 27—30, 2015, Lexington, Kentucky, USA.
• The 14th European Conference on Logics in Artificial Intelligence (JELIA'14), September 24—26, 2014, Madeira, Portugal.
• The 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), July 20—24, 2014, Vienna, Austria.
• The 4th International Workshop on Logic and Search (LaSh'14), July 18, 2014, Vienna, Austria.
• The 7th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14), July 23rd, 2014, Vienna, Austria.
• The 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13), September 15—19, 2013, Corunna, Spain.
• The 7th International Workshop on Modular Ontologies (WOMO'13), September 15, 2013, Corunna, Spain.
• The 26th Workshop on (Constraint) Logic Programming (WLP'12), September 24—25, 2012, Bonn, Germany.
• The 13th European Conference on Logics in Artificial Intelligence (JELIA'12), September 26—28, 2012, Toulouse, France.
• The 20th European Conference on Artificial Intelligence (ECAI'12), August 27—31, 2012, Montpellier, France.
• The 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), June 10—14, 2012, Rome, Italy.
• The 19th International Conference on Applications of Declarative Programming and Knowledge Management, (INAP'11), September 28—30, 2011, Vienna, Austria.
• The 25th Workshop on (Constraint) Logic Programming (WLP'11), September 28—30, 2011, Vienna, Austria.
• The 25th AAAI Conference on Artificial Intelligence (AAAI-11), August 7—11, 2011, San Francisco, California, USA.
• The 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), July 16—22, 2011, Barcelona, Spain.
• The 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11), May 9—12, 2011, Vancouver, Canada.
• Thirty Years of Nonmonotonic Reasoning (NonMon@30), October 22—25, 2010, Lexington, Kentucky, USA.
• The 26th International Conference on Logic Programming (ICLP'10), July 16—19, 2010, Edinburgh, Scotland.
• The 3rd International Workshop on Logic and Search (LaSh'10), July 15, 2010, Edinburgh, Scotland.
• The 13th International Workshop on Non-Monotonic Reasoning (NMR'10), special session on declarative programming paradigms and systems, May 14—16, 2010, Toronto, Canada.
• The 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), September 14—18, 2009, Potsdam, Germany.
• The 21st International Joint Conference on Artificial Intelligence (IJCAI'09), July 11—17, 2009, Pasadena, California, USA.
• The 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), September 16—19, 2008, Sydney, Australia.
• The 12th International Workshop on Non-Monotonic Reasoning (NMR'08), September 13—15, 2008, Sydney, Australia.
  
• The 11th European Conference on Logics in Artificial Intelligence (JELIA'08), September 28—October 1, 2008, Dresden, Germany.
• The 23rd International Conference on Logic Programming (ICLP'07), September 8—13, 2007, Porto, Portugal.
• The 22nd AAAI Conference on Artificial Intelligence (AAAI-07), July 22—26, 2007, Vancouver, British Columbia, Canada.
• The 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), May 14—16, 2007, Tempe, Arizona.
• The 22nd International Conference on Logic Programming (ICLP'06), August 17—20, 2006, Seattle, Washington, USA.
• The 17th European Conference on Artificial Intelligence (ECAI'06), August 28—September 1, 2006, Riva del Garda, Italy.
• The 10th European Conference on Logics in Artificial Intelligence (JELIA'06), September 13—15, Liverpool, UK.
• The 11th International Workshop on Non-Monotonic Reasoning (NMR'06), special session on answer set programming, May 30—June 1, 2006, Lake District, UK.
• Answer Set Programming: Advances in Theory and Implementation (ASP'05), July 27—79, 2005, Bath, UK.
• The 10th International Workshop on Non-Monotonic Reasoning (NMR'04), June 6—8, 2004, Whistler BC, Canada.
  
• The 19th National Conference on Artificial Intelligence (AAAI-04), July 25—29, 2004, San Jose, California.
• The 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), Jan 6—8, 2004, Fort Lauderdale, Florida.

Reviewing (until 2022)

By March 2022, I have personally reviewed over 285 articles for approx 100 conferences and workshops such as AAAI, ASP, CADE, CL, CSL, ECAI, ECSQARU, ESSLLI, FoIKS, ICLP, IJCAI, IJCAR, JELIA, KI, KR, LASH, LPAR, LPNMR, NMR, PADL, and PLILP. Moreover, I have reviewed over 80 articles for the Journals listed below:

• Artificial Intelligence Journal
• ACM Transactions on Computational Logic
• ACM Transactions on Knowledge and Data Engineering
• AI Communications
• Annals of Mathematics and Artificial Intelligence
• Computational Intelligence
• Computer Languages, Systems & Structures
• Fundamenta Informaticae
• Journal of Applied Logic
• Journal of Artificial Intelligence Research
• Journal of Automated Reasoning
• Journal of Logic and Computation
• Kuenstliche Intelligenz
• Logical Methods in Computer Science
• Machine Learning
• Theory and Practice of Logic Programming

Teaching (until 2019)

Some courses that I have lectured/taught in the past:

• CS-E4800 Artificial Intelligence together with J. Rintanen (2019) and A. Jung (2018)
• CS-E3220 Declarative Programming together with T. Junttila
• CS-E4540 Answer Set Programming
• CS-E4750 Advanced Course on Boolean Satisfiability together with T. Junttila and J. Rintanen
• T-79.5104 Advanced Course in Computational Logic
• TIK.Kand Bachelor's Thesis and Seminar
• T-0.7050 Introduction to Postgraduate Studies in Computer Science together with H. Haanpää and N. Oza
• T-79.3001 Logic in Computer Science: Foundations
• T-79.5102 Special Course in Computational Logic
• T-79.5103 Computational Complexity Theory
• T-79.230 Foundations of Agent Based Computing
• T-79.5001 Student Project in Theoretical Computer Science

Further points of interest:

• I instruct/supervise M.Sc., Lic.Sc., D.Sc./Ph.D. theses at Aalto University by mutual consent
• I have completed 15-credit pedagogical studies in 2005