Nadia Polikarpova

Nadia Polikarpova earned her PhD at ETH Zurich (Switzerland) in April 2014. Her research interests lie in the area of software correctness, at the intersection of formal methods and software engineering. In particular, her research has contributed to auto-active verification, behavioral interface specifications, automated testing, dynamic invariant inference, and user interface for verification. Nadia received an undergraduate and master's degree in applied mathematics and informatics at SPb SU ITMO (St. Petersburg, Russia) in 2008. Nadia has received a Best Paper Award at FM'11, a Bronze Medal at the VSComp 2012 verification competition, and an ACM SIGSOFT Recognition of Services Award for the contribution as a Deputy General Chair of ESEC/FSE'13.

ETH Zurich

Freedom and individual responsibility, entrepreneurial spirit and open-mindedness: ETH Zurich stands on a bedrock of true Swiss values. Our university for science and technology dates back to the year 1855, when the founders of modern-day Switzerland crea…

58 instructors