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.
Automated reasoning, constraint-based optimization, verification and testing
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