Tomi Janhunen

Professor of Computer Science (pro tem)

Docent in Information and Computer Science

Director of Master's Programme in Foundations of Advanced Computing

Mail address

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

Visiting address

Konemiehentie 2, Espoo/Otaniemi, Office B335

Phone

+358 50 430 0820

Fax

+358 9 470 23369

E-mail

Firstname.Lastname@aalto.fi

Office hours

Mondays 16:15—17:00 (January 7—June 11, 2013)

Exceptions

May 27, canceled.

Research Interests

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

Research

• Senior member of the Computational Logic Group
• Current projects: COIN and Smart Spaces at EIT ICT Labs
• Past projects (since year 2000): MCM, ACPT, ARBCP, FMDS, CPBDR, and 007
• Experimental software and tools: GnT, lpeq, circ2dlp, lp2diff, lp2sat, sateq, and asptools
• Educational software: the Stratum system for automated home assignments

Publications

• List of my publications many of which are available online.
• A similar list is administrated by our department
• Other sources: DBLP bibliography server (University of Trier).

Conferences

PC Co-Chair

• The 12th European Conference on Logics in Artificial Intelligence (JELIA'10), September 13—15, 2010, Helsinki, Finland.
• The session on applications at NMR'08.
• The computational aspects of NMR subworkshop of NMR'04.

PC Member

• The 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13), September 15—19, 2011, 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

I have personally reviewed over 180 articles for approx 50 conferences such as AAAI, ASP, CADE, CL, ECAI, ECSQARU, ESSLLI, ICLP, IJCAI, IJCAR, JELIA, KI, KR, LASH, LPAR, LPNMR, NMR, PADL, and PLILP. Moreover, I have reviewed over 40 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 Automated Reasoning
• Journal of Logic and Computation
• Logical Methods in Computer Science
• Theory and Practice of Logic Programming

Teaching

I am the responsible teacher and/or lecturer of the following courses (academic year 2012-2013) at Aalto University:

• T-79.3001 Logic in Computer Science: Foundations (4cr, spring terms, periods III and IV)
• T-79.5104 Advanced Course in Computational Logic (4cr, autumn terms, periods I and II)
• T-79.5105 Answer Set Programming (4cr, autumn terms, periods I and II)
• TIK.Kand Bachelor's Thesis and Seminar (10cr, spring term, periods I and II; and III and IV)

Some courses that I have lectured in the past:

• T-0.7050 Introduction to Postgraduate Studies in Computer Science (2cr, spring term 2007, periods III and IV) together with H. Haanpää and N. Oza
• T-79.5102 Special Course in Computational Logic
• T-79.5103 Computational Complexity Theory
• T-79.230 Foundations of Agent Based Computing

Further points of interest:

• T-79.5001 Student Project in Theoretical Computer Science (5cr, any period)
• I instruct/supervise M.Sc., Lic.Sc., D.Sc./Ph.D. theses at Aalto University
• I am affiliated with Helsinki Graduate School in Computer Science and Engineering HeCSE.
• I have completed 15-credit pedagogical studies in 2005.