Dr. Niemelš's current research interests include automated reasoning, constraint programming, knowledge representation, computational complexity, computer aided verification, automated testing and product configuration. At Aalto University he leads the computational logic group which has developed a number of the state-of-the-art software tools for automated reasoning, such as the Smodels system for answer set programming and BCSat for Boolean circuit satisfiability checking, leading to applications in areas like automated planning, product configuration, and bounded model checking. He is also one of the Principal Investigators of the Finnish Center of Excellence in Computational Inference Research (COIN). Dr. Niemelš is an author of more than 150 papers, has been a member of the program committee for over 60 international conferences and has given several invited talks and tutorials.
Dr. Niemelš is an EurAI Fellow. He has served as the Editor-in-Chief of Theory and Practice of Logic Programming (2010-2014) and has been an Editorial Board Member of the Journal of Artificial Intelligence Research (2005-2011), a member of the Executive Committee of the Association for Logic Programming (ALP) (2005-2009) as well as a Steering Committee Member of the International Workshops on Nonmonotonic Reasoning (2000-2008), of the International Conferences on Logic Programming and Nonmonotonic Reasoning (2001-), and of the European Conferences on Logics in Artificial Intelligence (JELIA) (2010-).