D.Sc. (Tech.) Tomi Janhunen           Docent in Computational Logic Teaching Research Scientist Address:       Aalto University School of Science and Technology Department of Information and Computer Science PO Box 15400, FI-00076 Aalto, Finland Email: Firstname.Surname@tkk.fi (please substitute)   Voice: +358 9 470 23255 Fax: +358 9 470 23369 Office: Room B335 in the CS building Office hours: Mondays 15:15—16:00 (Jan 11 — May 31, 2010) Exceptions:

Photo: K. Konczak

Publications

• Here is the 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).

Research

• My research interests include
  • Knowledge representation and reasoning
  • Nonmonotonic logics and their expressive power
  • Logic programming and answer set programming (ASP)
  • Verifying equivalence of answer set programs
  • Software engineering aspects of ASP (modularity, optimization, etc)
  • Distributed computing of answer sets (multiprocessor architectures, computational grids)
  • Satisfiability checking and its relationship to ASP
  • Computational complexity
• Research projects (after 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

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

• 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), Semptember 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.

Journals

I have acted as a reviewer for 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; Journal of Automated Reasoning; Journal of Applied Logic; Journal of Logic and Computation and Theory and Practice of Logic Programming.

Teaching at TKK

• T-79.3001 Logic in Computer Science: Foundations (4cr, spring terms, periods III and IV)
• T-79.5102 Special Course in Computational Logic (4cr, autumn terms, periods I and II)
  The topic for autumn 2009 is Answer Set Programming.

• T-0.7050 Introduction to Postgraduate Studies in Computer Science (2cr, spring term 2007, periods III and IV) together with Harri Haanpää and Nilay Oza
• T-79.5101 Advanced Course in Computational Logic
• T-79.5103 Computational Complexity Theory
• T-79.144, T-79.154, and T-79.230

• T-79.5001 Student Project in Theoretical Computer Science (5cr, any period)
• B.Sc., M.Sc., Lic.Sc., D.Sc. theses.
• I am affiliated with the Algorithms, Structures, and Complexity track of Helsinki Graduate School in Computer Science and Engineering HeCSE.