• Phone+358505113013
  • Aalto SCI Computer Science Konemiehentie 2

1986 …2016

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Artistic and research interests

llkka Niemelä, D.Sc. (Tech.), (b. 1961) has served as Professor of Computer Science at Helsinki University of Technology, Head of the Laboratory for Theoretical Computer Science, and Chair of the Degree programme in Computer Science and Engineering. The research group led by Niemelä has developed new methods for automated reasoning and constraint programming for solving challenging computational problems and explored various applications related to these methods. He has served as Dean of the Aalto University School of Science, as the University’s Vice President responsible for academic affairs, as Provost and as Deputy President. His international experience covers several visiting positions in different universities and research institutes and he holds several academic positions of trust.

 

Education/Academic qualification

Doctor of Science (Technology)

Licentiate of Science (Technology)

Master of Science (Technology)

Fingerprint Dive into the research topics where Ilkka Niemelä is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 9 Similar Profiles

Research Output

The Answer Set Programming Paradigm

Janhunen, T. & Niemelä, I., 2016, In : AI Magazine. 37, 3, p. 13-24 12 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
17 Citations (Scopus)
170 Downloads (Pure)

Cumulativity Tailored for Non-Monotonic Reasoning

Janhunen, T. & Niemelä, I., 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Leipzig, Germany, February 4, 2015. Eiter, T., Strass, H., Truszczynski, M. & Woltran, S. (eds.). Switzerland, p. 96-111 (Lecture Notes in Computer Science; vol. 9060).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Introducing Real Variables and Integer Objective Functions to Answer Set Programming

Liu, G., Janhunen, T. & Niemelä, I., 2014, International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013. Hanus, M. & Rocha, R. (eds.). p. 118-135 18 p. (Lecture Notes in Computer Science; vol. 8439 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Bounded Model Checking of an MITL Fragment for Timed Automata

    Kindermann, R., Junttila, T. & Niemelä, I., 2013, 13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain. IEEE, p. 216-225

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    7 Citations (Scopus)

    Simulating Parity Reasoning

    Laitinen, T., Junttila, T. & Niemelä, I., 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013. p. 568-583 (Lecture Notes in Computer Science; vol. 8312).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)

    Prizes

    20 Year Test of Time Paper Award

    Ilkka Niemelä (Recipient), 20 Oct 2016

    Prize: Award or honor granted for a specific work

  • EurAI Fellow

    Ilkka Niemelä (Recipient), 1 Aug 2013

    Prize: Award or honor granted for academic career

  • Knight, First Class, of the Order of the White Rose of Finland

    Ilkka Niemelä (Recipient), 2015

    Prize: Award or honor granted for academic career

  • Superior of the year at Helsinki University of Technology

    Ilkka Niemelä (Recipient), 2007

    Prize: Award or honor granted for academic career

    Activities

    Tongji University (External organisation)

    Ilkka Niemelä (Member)
    May 2018 → …

    Activity: Membership typesPosition of trust in a society or network

    Nordic Five Tech (N5T) (External organisation)

    Ilkka Niemelä (Chair)
    May 2018May 2019

    Activity: Membership typesPosition of trust in a society or network

    UNIFI (Finnish Council of University Rectors) (External organisation)

    Ilkka Niemelä (Chair)
    20182019

    Activity: Membership typesPosition of trust in a society or network

    European CLUSTER-university network (External organisation)

    Ilkka Niemelä (Chair)
    2017

    Activity: Membership typesPosition of trust in a society or network

    CSC - IT Center for Science Ltd. (External organisation)

    Ilkka Niemelä (Member)
    20172018

    Activity: Membership typesPosition of trust in a society or network