- Profile
- Personal Information
- Publications
Experts in Engineering
M Umit Atalay Nil Uzun Ayse Guliz Bilgin Altinoz M H FERRI ALIABADI Luo Guoqing DR GIULIANOALLEGRI Wasim Orfali PETER BEARMAN Hisham Tolbah Li Lihua Sunil Bhooshan DR PAUL BRUCE Xue Lingyun Daniel E. Acuna Prof. Dr. Ghanshyam Singh Yahya Kemal BAYKAL Li Dujuan Dr. Pradeep Kumar HE CHUN Dr. Rajiv Kumar View MoreDr. 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