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
Doctor of Science (Technology)
Licentiate of Science (Technology)
Master of Science (Technology)
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.
- 9 Similar Profiles
Research Output
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 Access
File
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
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. p. 568-583 (Lecture Notes in Computer Science; vol. 8312).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Prizes
20 Year Test of Time Paper Award
Ilkka Niemelä (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
Ilkka Niemelä (Recipient), 2015
Prize: Award or honor granted for academic career
Superior of the year at Helsinki University of Technology
Ilkka Niemelä (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
Ilkka Niemelä (Recipient), 1993
Prize: Award or honor granted for a specific work
Activities
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 2019
Activity: Membership types › Position of trust in a society or network
UNIFI (Finnish Council of University Rectors) (External organisation)
Ilkka Niemelä (Chair)2018 → 2019
Activity: Membership types › Position of trust in a society or network
European CLUSTER-university network (External organisation)
Ilkka Niemelä (Chair)2017
Activity: Membership types › Position of trust in a society or network
CSC - IT Center for Science Ltd. (External organisation)
Ilkka Niemelä (Member)2017 → 2018
Activity: Membership types › Position of trust in a society or network
Press / Media
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
Business lobby: Finland should rethink university education
17/05/2020 → 18/05/2020
2 items of Media coverage
Press/Media: Media appearance