Nataliia Bielova

Researcher (CR1)
INDES team, Inria Sophia Antipolis
2004 route des Lucioles
B.P. 93 - 06902 Sophia Antipolis cedex
Tel: +33 (0)4 92 38 77 87
Office F129

nataliia.bielova (at)

I am a full-time Research Scientist (CR1) at Inria Sophia Antipolis in the INDES team.

I am interested in applying formal analysis to computer security and privacy problems. In particular, I've been working on

I received my PhD from University of Trento in 2011, under supervision of Fabio Massacci. During my PhD, I worked with Frank Piessens at KULeuven. Before joining Inria Sophia, I worked for two years as a Postdoctoral Researcher in CELTIQUE team at Inria Rennes.

Two postdoc positions on user discrimination and web tracking: here and here.
One postdoc position on Information Flow security and Coq -- contact me directly!
Downloadable CV

Last updated March 2016.