Nikolai KOSMATOV

Researcher at CEA LIST (CEA, Saclay)


Mail: Nikolai Kosmatov
CEA Saclay Nano-Innov
Institut Carnot CEA LIST
DILS/LSL, PC 174
91191 Gif-sur-Yvette Cedex
FRANCE

Email: Nikolai.Kosmatov(at) cea(dot)fr




Research

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


News and Recent Events

Past Events


Publications


Software


Students

Current PhD Students

Previous PhD Student

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      Some links