Nadia Polikarpova

Picture of Nadia Polikarpova

Address

Nadia Polikarpova
Software Engineering, Meyer
Clausiusstrasse 59
RZ J8
8092 Zurich

Contact

E-mail: nadia.polikarpova@inf.ethz.ch
Phone: +41 44 632 47 23
Fax: +41 44 632 14 35

Introduction

This page is outdated. Check out my new homepage.

I have completed my PhD under the supervision of Prof. Bertrand Meyer at the Chair of Software Engineering, ETH Zurich. My thesis is about Specified and Verified Reusable Components. 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.

You can find more information in my curriculum vitae.

Research

My research interests lie in the area of software correctness, at the intersection of formal methods and software engineering. In particular, my research has contributed to auto-active verification, behavioral interface specifications, automated testing, dynamic invariant inference, and user interface for verification.

Here is the list of ongoing or completed projects I've been involved in:

Publications

2014

2013

2012

2011

2010

2009

Teaching