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.
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.
- 7 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
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, 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
-
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
Prizes
-
20 Year Test of Time Paper Award
Niemelä, Ilkka (Recipient), 20 Oct 2016
Prize: Award or honor granted for a specific work
-
-
Knight, First Class, of the Order of the White Rose of Finland
Niemelä, Ilkka (Recipient), 2015
Prize: Award or honor granted for academic career
-
Superior of the year at Helsinki University of Technology
Niemelä, Ilkka (Recipient), 2007
Prize: Award or honor granted for academic 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
-
UNIFI (Finnish Council of University Rectors) (External organisation)
Ilkka Niemelä (Chair)
2018 → 2019Activity: Membership types › Position of trust in a society or network
-
Tongji University (External organisation)
Ilkka Niemelä (Member)
May 2018 → …Activity: Membership types › Position of trust in a society or network
-
Nordic Five Tech (N5T) (External organisation)
Ilkka Niemelä (Chair)
May 2018 → May 2019Activity: Membership types › Position of trust in a society or network
-
CSC - IT Center for Science Ltd. (External organisation)
Ilkka Niemelä (Member)
2017 → 2018Activity: Membership types › Position of trust in a society or network
-
European CLUSTER-university network (External organisation)
Ilkka Niemelä (Chair)
2017Activity: Membership types › Position of trust in a society or network
Press / Media
-
EK:n uusi hallitus valittu – Ylen toimitusjohtaja Merja Ylä-Anttila työvaliokuntaan
18/11/2020
1 item of Media coverage
Press/Media: Media appearance
-
City of Helsinki and Aalto University collaborate to build a sustainable city
10/06/2020
1 item of Media coverage
Press/Media: Media appearance
-
Aalto-yliopiston ja Helsingin kaupungin tiivistyvä yhteistyö korostaa kestävyyden teemoja
09/06/2020
1 item of Media coverage
Press/Media: Media appearance
-
Aalto-yliopisto ja Helsingin kaupunki tiivistävät yhteistyötä: painopisteinä kaupunkitutkimus, innovaatiot ja muotoilu
09/06/2020
1 item of Media coverage
Press/Media: Media appearance
-
Sustainability themes are emphasised in the closer cooperation between Aalto University and the City of Helsinki
Pauliina Ilmonen, Ilkka Niemelä & Lauri Viitasaari
09/06/2020
1 item of Media coverage
Press/Media: Media appearance