Vladimir Komendantsky's short CV

1995-2000: undergraduate degree done at the Chair of Logic in the Faculty of Philosophy of Moscow State University (approximately corresponds to a joint Master's degree in Mathematics and Philosophy that one has, for example, in universities in the UK).

2000-2003: PhD degree in Logic at the Department of Logic of the Institute of Philosophy (member of Russian Academy of Sciences).

2003-2004: software developer in Moscow for a financial software company R-Style Softlab, the leading company at the time in its market in Russia.

2004-2007: postdoctoral researcher in the Boole Centre for Research in Informatics in Cork, Ireland.

2007-2008: postdoctoral researcher in the project CompCert (Certified Compilers) INRIA Sophia Antipolis.

2008-2009: research programmer in dependent types for YesLogic Pty Ltd.

2010: research programmer in the project SCIEnce in the School of Computer Science, St Andrews University.

April, 2010: the long awaited start of my Fellowship funded by the EC, "SImPL: Specification and Implementation of Pattern Languages".

---

I have left a chain of obsolete web pages on the servers of other research institutions where I once worked. To start from the most recent one, you can go to my INRIA page.