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
Recent Expert Updates
  • Matthew L Stone
    Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.   Matthew
    Dr. Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone Matthew
    Dr. L Stone Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone
    Dr. L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr. Matthew L Stone
    Dr. Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  R Sameh
    Dr. R Sameh
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   R Ismail,
    Dr. R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Sameh R Ismail,
    Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   Sameh R Ismail,
    Dr. Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   William
    Dr. William
    pediatrics
    Maimonides Medical Center
    United States of America