Skip to content
Researchers & MIT Community
Protect
Submit Disclosure
IPIA & Ownership
Understanding Intellectual Property
Tangible Property Licensing
Software & Open Source Protection
Learn
Technology Transfer Overview
Patenting & Commercializing Your Invention
Choosing Vendors & Merchandise
Learn More about IP
Connect
Connect with Your Licensing Officer
Office Hours
Events
Contact Us
Industry & Entrepreneurs
License
Browse Available Technologies
Technology Portfolios
Start the Licensing Process
License MIT’s Trademark
Understanding Expedited Licenses
Learn
Understanding the Licensing Process
Entrepreneurs & Startups
Meet MIT Researchers
Browse Startups
Learn More about IP
Connect
Connect with a Licensing Officer
Contact Us
Impact
About
Our Team
Join Our Mailing List
Annual Reports
Career Opportunities & Internships
FAQs
Submit Disclosure
Browse Technologies
Understand IP
Resources
News
Events
Our Team
Contact
Search
Content type
Search technologies only
Researchers & MIT Community
Protect
Submit Disclosure
IPIA & Ownership
Understanding Intellectual Property
Tangible Property Licensing
Software & Open Source Protection
Learn
Technology Transfer Overview
Patenting & Commercializing Your Invention
Choosing Vendors & Merchandise
Learn More about IP
Connect
Connect with Your Licensing Officer
Office Hours
Events
Contact Us
Industry & Entrepreneurs
License
Browse Available Technologies
Technology Portfolios
Start the Licensing Process
License MIT’s Trademark
Understanding Expedited Licenses
Learn
Understanding the Licensing Process
Entrepreneurs & Startups
Meet MIT Researchers
Browse Startups
Learn More about IP
Connect
Connect with a Licensing Officer
Contact Us
Impact
About
Our Team
Join Our Mailing List
Annual Reports
Career Opportunities & Internships
FAQs
Submit Disclosure
Browse Technologies
Understand IP
Resources
News
Events
Our Team
Contact
Search
Content type
Search technologies only
breadcrumb Menu
Back Link
Home
/
Industry & Entrepreneurs
/
Meet Our Researchers
/
Jeff Perkins
Jeff Perkins
Research Scientist-Computational
Department
Computer Science & Artificial Intelligence Lab
Technology Areas
Computer Science: Networking & Signals
Impact Areas
Connected World
Technologies
Automatic Detection and Repair of Semantic Errors in
Programs
Technology /
Case number:
#14253J
Jeff Perkins / Stylianos Sidiroglou / Eric Lahtinen / Paolo Piselli / Basil Krikeles / Greg Sullivan / Tim Anderson / Martin Rinard
Technology Areas:
Computer Science
Impact Areas:
Connected World
License
Sign up for technology updates
Sign up now to receive the latest updates on cutting-edge technologies and innovations.
Sign Up