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.
More info: http://se.inf.ethz.ch/people/polikarpova/
EdX
Dive into the fascinating world of Information Technology with 'Computing: Art, Magic, Science' on edX. This introductory course is designed for beginners eager to understand the basics of computing and programming. Learn how IT influences every aspect of modern life and gain hands-on experience writing effective software solutions.