معرفی
Nikolai Kosmatov is a Researcher at Thales Research and Technology and an Invited Researcher at CEA List. His work focuses on software verification, testing, and constraint solving for C programs with PathCrawler and LTest tools.
- Education: Habilitation Thesis (HDR), Ph.D. in Computer Science
His research interests include:
- Formal verification of IoT software
- Static and dynamic analysis integration
- Relational properties in program verification
- Cache coloring verification in hypervisors
He has supervised 8 Ph.D. students and 12 M.S. students, with a focus on security-critical systems. His projects often involve collaboration with academic and industrial partners.
Scientific Awards:
- ACM Best Software Development Paper Award, SAC 2019
- ERTS 2022 Best Paper Award, March 2022
- CSTVA 2011 Best Demo Award
He has organized workshops and served on program committees for iFM, TAP, and IFIP-ICTSS conferences.
۰مقاله منتشرشده
