Nadia Polikarpova

Introduction

I am a research assistant under the supervision of Prof. Bertrand Meyer at the Chair of Software Engineering, ETH Zurich. I received my Master degree in Applied Mathematics and Informatics in 2008 at Saint Petersburg State University of Information Technologies, Mechanics and Optics (St. Petersburg, Russia). I did my Master's thesis under the supervision of Ilinca Ciupa from ETH.

For more details check out my curriculum vitae .

Research

My research area is software specification and software correctness proofs. More specifically, I'm working with model-based contracts: software specifications in terms of mathematical models represented by immutable classes.

Here is the list of my ongoing and completed projects:

• EiffelBase2: specified and verified data structure library for Eiffel
• MML (Mathematical Model Library): the library of immutable classes used in model-based specifications; included in EiffelBase2
• Traffic 4: the supporting software for Introduction to Programming that models and visualizes public transportation in a city.
• Dynamic contract inference: CITADEL

Publications

2012

• Nadia Polikarpova, Michał Moskal: Verifying implementations of security protocols by refinement. VSTTE'12: Verified Software: Theories, Tools and Experiments, (Philadelphia, USA), January 2012 [pdf]

2011

• Vladimir Klebanov et. al.: The 1st Verified Software Competition: Experience Report FM'11: 17th International Symposium on Formal Methods, (Limerick, Ireland), June 2011 [pdf] best paper award

2010

• Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer: Specifying Reusable Components. VSTTE'10: Verified Software: Theories, Tools and Experiments, (Edinburgh, Scotland), August 2010 [pdf]

2009

• Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer: A comparative study of programmer-written and automatically inferred contracts. ISSTA'09: International Conference on Software Testing and Analysis, (Chicago, Illinois, USA), July 2009 [pdf]

Teaching

• Fall 2011: teaching assisting for Introduction to Programming (Prof. Bertrand Meyer)
• Fall 2010: teaching assisting for Introduction to Programming (Prof. Bertrand Meyer)
• Spring 2010: teaching assisting for Java and C# in depth (Prof. Bertrand Meyer, Dr. Carlo A. Furia)
• Fall 2009: head assistant for Introduction to Programming (Prof. Bertrand Meyer)
• Spring 2009: teaching assistant for Software Architecture (Prof. Bertrand Meyer)
• Fall 2008: teaching assistant Introduction to Programming (Prof. Bertrand Meyer)