Research output per year
Research output per year
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
Doctoral degree, Engineering and Technology, Helsinki University of Technology
Award Date: 21 Sep 1993
Licentiate degree, Engineering and Technology, Helsinki University of Technology
Award Date: 13 Dec 1989
Master's degree, Engineering and Technology, Helsinki University of Technology
Award Date: 20 Oct 1987
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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Applying Visible Strong Equivalence in Answer-Set Program Transformations
Bomanson, J., Janhunen, T. & Niemelä, I., Oct 2020, In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 4, 41 p., 33.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile4 Citations (Scopus)64 Downloads (Pure) -
The Answer Set Programming Paradigm
Janhunen, T. & Niemelä, I., 2016, In: AI Magazine. 37, 3, p. 13-24 12 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile33 Citations (Scopus)365 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 proceeding › Conference contribution › Scientific › peer-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 proceeding › Conference contribution › Scientific › peer-review
2 Citations (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, p. 216-225Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
9 Citations (Scopus)
Prizes
-
20 Year Test of Time Paper Award
Niemelä, Ilkka (Recipient), 20 Oct 2016
Prize: Award or honor granted for a specific work
-
EurAI Fellow
Niemelä, Ilkka (Recipient), 1 Aug 2013
Prize: Award or honor granted for academic or artistic career
-
Knight, First Class, of the Order of the White Rose of Finland
Niemelä, Ilkka (Recipient), 2015
Prize: Award or honor granted for academic or artistic career
-
Superior of the year at Helsinki University of Technology
Niemelä, Ilkka (Recipient), 2007
Prize: Award or honor granted for academic or artistic career
-
The annual dissertation award of the Finnish Society for Computer Science for a distinguished doctoral dissertation in Computer Science
Niemelä, Ilkka (Recipient), 1993
Prize: Award or honor granted for a specific work
Activities
-
Tongji University (External organisation)
Ilkka Niemelä (Member)
May 2018 → …Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
-
Nordic Five Tech (N5T) (External organisation)
Ilkka Niemelä (Chair)
May 2018 → May 2019Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
-
UNIFI - Finnish Council of University Rectors (External organisation)
Ilkka Niemelä (Chair)
2018 → 2019Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
-
European CLUSTER-university network (External organisation)
Ilkka Niemelä (Chair)
2017Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
-
CSC - IT Center for Science Ltd. (External organisation)
Ilkka Niemelä (Member)
2017 → 2018Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
Press / Media
-
Unite! European University Alliance starts its new era advancing a digital and green Europe
Ilkka Niemelä & Katrina Nordström
10/11/2022
1 item of Media coverage
Press/Media: Media appearance
-
Long live the campus! The foundation laying ceremony of Otakaari 2 celebrated the university's new buildings
05/10/2022
1 item of Media coverage
Press/Media: Media appearance
-
Huippuasiantuntijat varoittavat: Suomi ei saa vajota innovaatiokriisiin
10/05/2022
1 item of Media coverage
Press/Media: Media appearance
-
VTT hakee muutosta tutkimusrahoitukseen
10/05/2022
1 item of Media coverage
Press/Media: Media appearance
-
Aalto University offers places to visiting researchers fleeing Ukraine war
07/04/2022
1 item of Media coverage
Press/Media: Media appearance