Ilkka Niemelä
Johtamisen tukipalvelut

Ilkka Niemelä

Rehtori

Yhteystiedot

Postiosoite
Aalto SCI Computer Science Konemiehentie 2
Mobile phone
+358505113013
Full researcher profile
https://research.aalto.fi/...

Kuvaus

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.

 

Palkinnot

Palkinto tai huomionosoitus urasta
Johtamisen tukipalvelut
Aug 2013

EurAI Fellow The EurAI Fellows Program honors only a very small percentage of the total membership of all EurAI member societies (up to a maximum of 3%).

Palkinto tai huomionosoitus tuotoksesta
Oct 2016

20 Year Test of Time Paper Award 20 Year Test of Time Paper Award, International Conference on Logic Programming, for the article “Efficient Implementation of the Well-founded and Stable Model Semantics”

Palkinto tai huomionosoitus urasta
Jan 2015

Knight, First Class, of the Order of the White Rose of Finland Knight, First Class, of the Order of the White Rose of Finland, 2015

Palkinto tai huomionosoitus tuotoksesta
Laskennallinen päättely COIN
Jan 1993

The annual dissertation award of the Finnish Society for Computer Science for a distinguished doctoral dissertation in Computer Science The annual dissertation award of the Finnish Society for Computer Science for a<br/>distinguished doctoral dissertation in Computer Science in 1993.

Palkinto tai huomionosoitus urasta
Laskennallinen päättely COIN
Jan 2007

Superior of the year at Helsinki University of Technology Superior of the year at Helsinki University of Technology 2007 (Teknillisen korkeakoulun vuoden esimies 2007).

Tutkimusryhmät

Laskennallinen päättely COIN, Professori

Julkaisut

Tietotekniikan laitos, Laskennallinen päättely COIN, Professorship Niemelä I., Helsinki Institute for Information Technology HIIT
Publishing year: 2016 AI Magazine
HIIT/Tietotekniikan tutkimus, Tietotekniikan laitos
Publishing year: 2015 Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Leipzig, Germany, February 4, 2015
HIIT/Tietotekniikan tutkimus, Tietojenkäsittelytieteen laito
Publishing year: 2014 International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013
HIIT/Tietotekniikan tutkimus, Tietojenkäsittelytieteen laito
Publishing year: 2013 13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain
HIIT/Tietotekniikan tutkimus, Tietojenkäsittelytieteen laito
Publishing year: 2013 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013
HIIT/Tietotekniikan tutkimus, Tietojenkäsittelytieteen laito
Publishing year: 2013 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011
Tietojenkäsittelytieteen laito
Publishing year: 2012 JOURNAL OF COMPUTER AND SYSTEM SCIENCES
HIIT/Tietotekniikan tutkimus, Tietojenkäsittelytieteen laito
Publishing year: 2012 Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
HIIT/Tietotekniikan tutkimus, Tietojenkäsittelytieteen laito
Publishing year: 2012 FMOODS FORTE IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2012) FMOODS FORTE, Stockholm, Sweden, June 13-16, 2012
HIIT/Tietotekniikan tutkimus, Tietojenkäsittelytieteen laito
Publishing year: 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), London, UK, September 18-20, 2012