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.
Download RSS feed: News Articles / In the Media / Audio
Probabilistic programming language allows for fast, error-free answers to hard AI problems, including fairness.
Advancing the study and practice of thinking responsibly in computing education, research, and implementation.
The Space Exploration Initiative supports research across and beyond MIT in two microgravity flights this spring.
A novel method to represent robotic manipulators helps optimize complex and organic shapes for future machines.
Dina Katabi and Aleksander Madry receive additional support to pursue their research and develop their careers.
A human-aware motion planning algorithm addresses the safety gap in collaboration between robots and humans.
Eight faculty members have been granted tenure in five departments across the MIT School of Engineering.
Graduate student Ellen Zhong helped biologists and mathematicians reach across departmental lines to address a longstanding problem in electron microscopy.
Tactical sensing carpet estimates 3D human poses without the use of cameras, and could improve health monitoring and smart homes.
After meeting in an Advanced Study Program at MIT, three Norwegian students began working together to transport biological samples using autonomous vehicles.
Nearly 300 government and military members participated in a new course designed to explore the next generation of artificial intelligence and related technologies.
PhD student Sarah Nyquist applies computational methods to understudied areas of reproductive health, such as the cellular composition of breast milk.
Peter Howard SM ’84 is the CEO of Realtime Robotics, a startup transforming autonomous robot motion planning to enable seamless, affordable human-robot collaboration.
Algorand uses a unique architecture developed by MIT Professor Silvio Micali to offer a decentralized, secure, and scalable blockchain.
Math professor Ankur Moitra seeks algorithms with provable guarantees, to pin down the mechanisms of machine learning.