Engineering
Global

Engineering Experts

Ilkka Niemela

Professor
Computer Science
Aalto University
Finland

Biography

Dr. Ilkka Niemela is currently working as a Professor in the Department of computer science, aalto university , Finland. His research interests includes Automated reasoning, constraint-based optimization, verification and testing. He  is serving as an editorial member and reviewer of several international reputed journals. Dr. Ilkka Niemelä is the member of many international affiliations. He has successfully completed his Administrative responsibilities. He  has authored of many research articles/books related to Automated reasoning, constraint-based optimization, verification and testing.

Research Interest

Automated reasoning, constraint-based optimization, verification and testing

Publications

  • Model Checking of Safety-Critical Software in the Nuclear Engineering Domain (2012) Lahtinen Jussi, Valkonen Janne, Björkman Kim, Frits Juho, Niemelä Ilkka, Heljanko Keijo Reliability Engineering & System Safety VOLUME: 105 PAGES: 104-113

  • Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems (2011)AUTHORS: Niemelä Ilkka Proceedings of the 41st IEEE International Symposium on the Multiple-Valued Logic PAGES: 139-141

  • Solving Parity Games by a Reduction to SAT (2012) Heljanko Keijo, Keinänen Misa, Lange Martin, Niemelä Ilkka Journal of Computer and System Sciences VOLUME: 78 PAGES: 430-440

Global Experts from Finland

Global Experts in Subject

Share This Profile