Nikolai KOSMATOV

Researcher at Thales Research and Technology
Invited Researcher at CEA List

Mail: Nikolai Kosmatov
Thales Research and Technology
GrSTI, LSEC
1 Av. Augustin Fresnel
91120 Palaiseau
FRANCE

Email: NikolaiKosmatov(at) gmail(dot)com




Research

My current research interests include software verification, combined static and dynamic analysis, constraint solving and constraint based software testing.


Patents and Publications


Tutorials


Recent News and Seminars

Past News and Seminars


Conference and Workshop Organization


Service


Software


Students

Current PhD Students

Previous PhD Students

Previous MS Students

Postdocs

Previous Postdocs


Postdocs, PhD and MS thesis proposals

I regularly propose topics for postdocs, PhD and Master's theses. Motivated students are invited to contact me for more detail.

Teaching

I give/gave various lectures on Mathematics and Computer Science in several universities:

Research topics      All publications      Education      Experience