Researcher

Ilkka Niemelä

Ilkka Niemelä is a computer scientist whose AI research spans automated reasoning, constraint programming and answer-set programming. With Patrik Simons, he published a 1997 paper on Smodels and its stable-model and well-founded semantics; later work applied the system to planning and model checking. After earning engineering and technology degrees and leading a computer science laboratory, he moved into academic leadership at Aalto University. He received a EurAI Fellowship, the Knight, First Class, of the Order of the White Rose of Finland, and a 20 Year Test of Time Paper Award. He is President of Aalto University, a role he has held since 2017; in September 2026, he described how university education can build skills for the age of AI.

Born
1961
Badges

Years link to their sources.

Timeline

  1. 1987–1996

    Engineering degrees and research visits

    He earns master's, licentiate and doctoral degrees in Engineering and Technology in 1987, 1989 and 1993. His research visits include SRI International's Artificial Intelligence Center in California in 1993 and Universität Koblenz-Landau in Germany in 1995–1996.

  2. 1997–2000

    Smodels and answer-set programming

    In 1997, he and Patrik Simons present Smodels, an implementation of stable-model and well-founded semantics for normal logic programs. In 2000, he and coauthors describe Smodels as an answer-set programming system with applications such as planning and model checking.

  3. 2000–2010

    Professor of computer science

    At Helsinki University of Technology, he becomes Professor of Computer Science in 2000 and heads the Laboratory for Theoretical Computer Science from 2000 to 2007. He chairs the Computer Science and Engineering degree programme from 2008 to 2010.

  4. 2011–2015

    Aalto leadership and national honours

    In 2011, he becomes Dean of Aalto University's School of Science; from March 2012, he is Vice President for academic affairs and Deputy President. He becomes a EurAI Fellow in 2013 and Provost in 2014. In 2015, he receives the Knight, First Class, of the Order of the White Rose of Finland.

  5. 2016

    20 Year Test of Time award

    He receives the 20 Year Test of Time Paper Award in 2016.

  6. 2017

    Automated reasoning research

    In 2017, he leads a research group developing new methods for automated reasoning and constraint programming to solve challenging computational problems.

  7. Since 2017

    President of Aalto University

    Aalto appoints him President in 2017, and his second five-year term starts in July 2022. In October 2022, he receives an honorary doctorate from the Seoul School of Integrated Sciences & Technologies; in November 2022, he becomes a Unite! Vice President.

  8. April 2025–September 2026

    Aalto President and rectors council chair

    In April 2025, he serves as chair of the Council of Rectors of Finnish Universities. In September 2026, he is President of Aalto University and describes how university education can build the ability to learn, think critically and collaborate for the AI era.

Career

  1. Since 2000Aalto UniversityProfessor of Computer Science, Head
  2. 2025–2026Council of Rectors of Finnish UniversitiesChair
  3. From 2022Unite!Vice President
  4. 1995–1996University of Koblenz and LandauVisiting researcher
  5. 1993SRI InternationalVisiting researcher

Sources and credits

Photo: We have no published photo of Ilkka Niemelä yet. Send us a free-licensed photo.

  1. Ilkka Niemelä - Aalto-yliopiston tutkimusportaaliin research.aalto.fi. Checked 19 October 2026.
  2. Provost Ilkka Niemelä appointed President of Aalto University aalto.fi. Checked 19 October 2026.
  3. Ilkka Niemela: Papers users.ics.aalto.fi. Checked 19 October 2026.
  4. Smodels: A System for Answer Set Programming arxiv.org. Checked 19 October 2026.
  5. Aalto University President Ilkka Niemelä appointed to second five-year term aalto.fi. Checked 19 October 2026.
  6. President Ilkka Niemelä appointed as Unite! Vice President aalto.fi. Checked 19 October 2026.
  7. President Ilkka Niemelä conferred as Honorary Doctor of Seoul School of Integrated Sciences & Technologies aalto.fi. Checked 19 October 2026.
  8. Hallitus haluaa nostaa koulutustasoa, mutta leikkaa kymmeniä miljoonia korkeakouluilta – Aalto-yliopiston rehtori: ”Ristiriitaista” yle.fi. Checked 19 October 2026.
  9. Ilkka Niemelä: In the age of AI, university education builds the ability to learn, think critically and collaborate aalto.fi. Checked 19 October 2026.