Research departments

Home > Research > AS2M > Presentation > directory

AS2M directory

Return to the list

Olga Kouchnarenko


formal methods, software verification, component-based systems


Since 2016, April: Vice-president responsible for research and its valorisation at the University of Franche-Comté;
In charge of the University’s Academic Council and Research committee.

Olga Kouchnarenko studied applied mathematics and computer science at the Yaroslavl State University in Russia. She received her doctoral degree in computer science in 1997 from the Grenoble University in France, with work on recursive-parallel programs and methods for their analysis, also recognized in Russia. After having worked as a postdoctoral researcher at Inria, she became an assistant professor at the University of Franche-Comté in 1998, where she received her habilitation in 2004. Since 2006 she is a full professor in the Department of Computer Science. From 2006 to 2015 she acted as the vice-head of the Inria/NGE Cassis project-team. From 2011 to 2016 she worked as the director of a new Computer Science and Complex Systems Department (DISC) of the FEMTO-ST Institute, UMR CNRS in Franche-Comté, France. Her research interests include formal methods, software verification and validation, and service-/component-based systems.