Jeannette M. Wing
0000-0002-1013-1990
Publications
221 total
No publications found.
Research Topics
Logic, programming, and type systems
Formal Methods in Verification
Distributed systems and fault tolerance
Software Engineering Research
Security and Verification in Computing
Affiliations
Columbia University
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.