Exact symbolic artificial intelligence for faster, better assessment of AI fairness
Probabilistic programming language allows for fast, error-free answers to hard AI problems, including fairness.
Probabilistic programming language allows for fast, error-free answers to hard AI problems, including fairness.
Originally developed at MIT Lincoln Laboratory, the technology allows organizations to ensure the security of sensitive data stored in the cloud.
A novel method to represent robotic manipulators helps optimize complex and organic shapes for future machines.
An optimization tool from the Department of Air Force–MIT AI Accelerator is transforming the laborious process of staffing C-17 cargo flights.
Graduate student Ellen Zhong helped biologists and mathematicians reach across departmental lines to address a longstanding problem in electron microscopy.
Peter Howard SM ’84 is the CEO of Realtime Robotics, a startup transforming autonomous robot motion planning to enable seamless, affordable human-robot collaboration.
A virtual environment embedded with knowledge of the physical world speeds up problem-solving.
Chemical engineering senior Awele Uwagwu works to accelerate the adoption of solar energy in Nigeria.
MIT researchers are using smartphones to gather roadway information previously inaccessible to many departments of transportation.
With just 50 lines of code, the program spots and fixes likely errors.
Lincoln Laboratory connects counter–human trafficking community in pursuit of technology to help investigate cases.
Her research focuses on more-efficient deep neural networks to process video, and more-efficient hardware to run applications.
Blade Kotelly is a senior lecturer on design thinking and innovation, bringing expertise to the world's top brands to better innovate in complex product and service environments.
The advance could boost recommendation algorithms and internet search.
MIT is among nine universities selected as part of a program sponsored by the DoE to support science-based modeling and simulation and exascale computing technologies.