Jeannette Wing

Jeannette Wing Jeannette importerbot Fri, 08/26/2016 - 06:18 Wing Adjunct Faculty jw35@andrew.cmu.edu Computer Science Department http://www.cs.cmu.edu/~wing/ Distributed Systems Formal Methods Programming Languages Security and Privacy Software Engineering Faculty A long-term goal that drives my research is to provide, where appropriate, as rigorous as possible a foundation to the design and implementation of software. My specific interest is the application of formal speci