Nikolai KOSMATOV

Research Engineer at Thales Research and Technlogy


Mail: Nikolai Kosmatov
Thales Research and Technology
Laboratoire LSEC
1 avenue Fresnel
91767 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, 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