TCS / Personnel / Tomi Janhunen
Helsinki University of Technology TKK,
          Department of Information and Computer Science
D.Sc. (Tech.) Tomi Janhunen          
Docent in Computational Logic
Teaching Research Scientist
Address:       Helsinki University of Technology TKK
Department of Information and Computer Science
P.O. Box 5400, FI-02015 TKK, 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 (Aug 31 — Dec 21, 2009)
Exceptions:
Tomi and Stones
Photo: K. Konczak

[Publications] [Research] [Conferences] [Journals] [Teaching at TKK]

Publications


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, lp2sat, sateq, and asptools
  • Educational software: the Stratum system for automated home assignments

Conferences

I have personally reviewed 140 articles for approx 45 conferences such as IJCAI, CADE, IJCAR, KR, AAAI, ICLP, CL, LPNMR, LPAR, PLILP, PADL, NMR, ASP, ECAI, JELIA, ECSQARU, KI, and ESSLLI.

PC Co-Chair

PC Member


Journals

I have acted as a reviewer for Artificial Intelligence Journal; ACM Transactions on Computational Logic; ACM Transactions on Knowledge and Data Engineering; Computational Intelligence; Computer Languages, Systems & Structures; Theory and Practice of Logic Programming; Journal of Automated Reasoning; Journal of Applied Logic; Journal of Logic and Computation; AI Communications; and Annals of Mathematics and Artificial Intelligence.


Teaching at TKK

At the moment, I am the responsible teacher and lecturer of the following courses (academic year 2008-2009): Other courses that I have lectured recently: Moreover, I instruct students preparing their theses by mutual consent: I have completed 15-credit pedagogical studies in 2005.
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 16 November 2009. Tomi Janhunen

Valid HTML 4.0!