• Puhelin+358 50 5113013
  • Aalto SCI Computer Science Konemiehentie 2

1986 …2020

Tutkimustuotoksia vuodessa

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

Doctoral degree, Engineering and Technology, Helsinki University of Technology

Myöntöpäivä: 21 syysk. 1993

Licentiate degree, Engineering and Technology, Helsinki University of Technology

Myöntöpäivä: 13 jouluk. 1989

Master's degree, Engineering and Technology, Helsinki University of Technology

Myöntöpäivä: 20 lokak. 1987

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.
  • 1 Samanlaiset profiilit
  • Applying Visible Strong Equivalence in Answer-Set Program Transformations

    Bomanson, J., Janhunen, T. & Niemelä, I., lokak. 2020, julkaisussa: ACM Transactions on Computational Logic. 21, 4, 41 Sivumäärä, 33.

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
    8 Sitaatiot (Scopus)
    109 Lataukset (Pure)
  • 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
    47 Sitaatiot (Scopus)
    516 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: Springer, s. 96-111 (Lecture Notes in Computer Science; Vuosikerta 9060).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    2 Sitaatiot (Scopus)
  • 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 article in proceedingsScientificvertaisarvioitu

    9 Sitaatiot (Scopus)