Learn the principles and techniques behind modern Information Technology.
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/