J
Jeannette M Wing
Executive Vice President for Research, Professor of Computer Science
Research Interests
Algorithmic Fairness
Data Mining
Formal Methods
Probabilistic Programming
Security and Privacy
Logic, Programming, and Type Systems
Formal Methods in Verification
Distributed Systems and Fault Tolerance
Software Engineering Research
Information and Cyber Security