Making it easier to program and protect the web
Professor Adam Chlipala builds tools to help programmers more quickly generate optimized, secure code.
Download RSS feed: News Articles / In the Media / Audio
Professor Adam Chlipala builds tools to help programmers more quickly generate optimized, secure code.
Beloved professor conducted pioneering research on imbuing machines with human-like intelligence, including the ability to understand stories.
Longtime MIT professor developed early “time-sharing” operating systems and is widely credited as the creator of the world’s first computer password.
When designing actuators involves too many variables for humans to test by hand, this system can step in.
MIT researchers demonstrate a method to make a smaller, safer, and faster lithium-rich ceramic electrolyte.
L4DC explored an emerging scientific area at the intersection of real-time physical data, machine learning, control theory, and optimization.
A new EECS course on applications of machine learning teaches students from a variety of disciplines about one of today’s hottest topics.
Along with studying theory, "it's also important to me that the work we are doing will help to solve real-world problems,” says LIDS student Omer Tanovic.
Method for collecting two electrons from each photon could break through theoretical solar-cell efficiency limit.
MIT biologist and electrical engineer are two of 38 naturalized U.S. citizens honored for contributions to American society.
Annual MITEI awards support research on methane conversion, efficient energy provision, plastics recycling, and more.
An MIT/IBM system could help artists and designers make quick tweaks to visuals while also helping researchers identify “fake” images.
System lets nonspecialists use machine-learning models to make predictions for medical research, sales, and more.
General-purpose language works for computer vision, robotics, statistics, and more.
In a popular EECS class, student teams design, program, build, and demonstrate their own cloud-connected, handheld, or wearable embedded systems.