My undergraduate degree I obtained in Russia corresponds approximately to a joint Master's degree in Mathematics and Philosophy that one has, for example, in universities in the UK. I graduated Department of Logic (a subdivision of the Faculty of Philosophy) of Moscow State University in 2000.
I did my PhD by research at the Department of Logic of the Institute of Philosophy (member of Russian Academy of Sciences). The PhD degree in Logic was awarded in October, 2003. During my PhD I also lectured and tutored at undergraduate level.
Then I worked as a software engineer in Moscow for a financial software company R-Style Softlab, the leading company of the time on its market in Russia.
From September, 2004, until March, 2007, I worked as a postdoctoral researcher in Ireland for the Boole Centre for Research in Informatics in Cork. Besides the research, I also had some lecturing there.
In April, 2007, I moved to France and joined INRIA Sophia Antipolis in my present quality of a postdoctoral research assistant in the project CompCert.