Get my own profile
Public access
View all10 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Pratyusa K. ManadhataFacebookVerified email at alumni.cmu.edu
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
Daniel JacksonMITVerified email at mit.edu
Richard LippmannLaboratory Fellow, MIT Lincoln LaboratoryVerified email at ll.mit.edu
Mark MaimoneNASA, Jet Propulsion Laboratory, California Institute of TechnologyVerified email at jpl.nasa.gov
Charles WeinstockPrincipal Researcher, Software Engineering Institute, Carnegie Mellon UniversityVerified email at conjelco.com
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Allan HeydonSoftware Engineer, GoogleVerified email at google.com
Mandana VaziriIBM ResearchVerified email at us.ibm.com
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Kevin D JonesUniversity of PlymouthVerified email at plymouth.ac.uk
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Thomas CortinaCarnegie Mellon UniversityVerified email at cs.cmu.edu
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Follow![Jeannette M Wing](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=2NjS1dUAAAAJ&citpid=1)
Jeannette M Wing
Executive Vice President for Research, Professor of Computer Science, Columbia University
Verified email at columbia.edu - Homepage