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 Sept 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.
- 6 Similar Profiles
Research output
-
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 AccessFile -
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 AccessFile -
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: Springer, p. 96-111 (Lecture Notes in Computer Science; vol. 9060).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › 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.). Springer, p. 118-135 18 p. (Lecture Notes in Computer Science; vol. 8439 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-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-225Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
Prizes
-
20 Year Test of Time Paper Award
Niemelä, I. (Recipient), 20 Oct 2016
Prize: Award or honor granted for a specific work
-
EurAI Fellow
Niemelä, I. (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ä, I. (Recipient), 2015
Prize: Award or honor granted for academic or artistic career
-
Superior of the year at Helsinki University of Technology
Niemelä, I. (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ä, I. (Recipient), 1993
Prize: Award or honor granted for a specific work
Activities
-
Nordic Five Tech (N5T) (External organisation)
Niemelä, I. (Chair)
May 2018 → May 2019Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
-
Tongji University (External organisation)
Niemelä, I. (Member)
May 2018 → …Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
-
UNIFI - Finnish Council of University Rectors (External organisation)
Niemelä, I. (Chair)
2018 → 2019Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
-
European CLUSTER-university network (External organisation)
Niemelä, I. (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)
Niemelä, I. (Member)
2017 → 2018Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
Press/Media
-
Saab vahvistaa tutka- ja mikroelektroniikan tutkimustaan Suomessa
26/02/2025
1 item of Media coverage
Press/Media: Media appearance
-
Tässä voi olla Suomen uusi kilpailuetu
14/11/2024
1 item of Media coverage
Press/Media: Media appearance
-
Radikaalisti luova osaaminen tuo Suomelle kilpailuetua
14/11/2024
1 item of Media coverage
Press/Media: Media appearance
-
Luo kasvua ja menestystä – ryhdy radikaaliksi luovaksi
14/11/2024
1 item of Media coverage
Press/Media: Media appearance
-