Ilkka Niemelä

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

106 Conference contribution
29 Article
13 Working paper
12 Commissioned report
22 Lisää

The Answer Set Programming Paradigm

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

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

1 Sitaatiot (Scopus)