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