Ilkka Niemelä

  • Puhelin+358505113013
  • Aalto SCI Computer Science Konemiehentie 2

1986 …2016

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Tutkimusalue

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.

 

Koulutus / tieteellinen pätevyys

Tekn. toht., muu tai tuntematon tekniikka

Tekn. lis., muu tai tuntematon tekniikka

Diplomi-insinööri

Sormenjälki Sukella tutkimusaiheisiin, joissa Ilkka Niemelä on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.

  • 9 Samanlaiset profiilit

Tutkimustuotos

The Answer Set Programming Paradigm

Janhunen, T. & Niemelä, I., 2016, julkaisussa : AI Magazine. 37, 3, s. 13-24 12 Sivumäärä

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

Open access
Tiedosto
17 Sitaatiot (Scopus)
170 Lataukset (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. (toim.). Switzerland, s. 96-111 (Lecture Notes in Computer Science; Vuosikerta 9060).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

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. (toim.). s. 118-135 18 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 8439 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

  • 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, s. 216-225

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    7 Sitaatiot (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. s. 568-583 (Lecture Notes in Computer Science; Vuosikerta 8312).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    1 Sitaatiot (Scopus)

    Palkinnot

    20 Year Test of Time Paper Award

    Ilkka Niemelä (Recipient), 20 lokakuuta 2016

    Palkinto: Palkinto tai huomionosoitus tuotoksesta

  • EurAI Fellow

    Ilkka Niemelä (Recipient), 1 elokuuta 2013

    Palkinto: Palkinto tai huomionosoitus urasta

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

    Ilkka Niemelä (Recipient), 2015

    Palkinto: Palkinto tai huomionosoitus urasta

  • Superior of the year at Helsinki University of Technology

    Ilkka Niemelä (Recipient), 2007

    Palkinto: Palkinto tai huomionosoitus urasta

    Aktiviteetit

    Tongji University (Ulkoinen yksikkö)

    Ilkka Niemelä (Jäsen)
    toukokuuta 2018 → …

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

    Nordic Five Tech (N5T) (Ulkoinen yksikkö)

    Ilkka Niemelä (Puheenjohtaja)
    toukokuuta 2018toukokuuta 2019

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

    UNIFI (Finnish Council of University Rectors) (Ulkoinen yksikkö)

    Ilkka Niemelä (Puheenjohtaja)
    20182019

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

    CSC - IT Center for Science Ltd. (Ulkoinen yksikkö)

    Ilkka Niemelä (Jäsen)
    20172018

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

    European CLUSTER-university network (Ulkoinen yksikkö)

    Ilkka Niemelä (Puheenjohtaja)
    2017

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa