“Super Mario Brothers” is hard
Analysis shows popular video game is among the hardest problems in the “complexity class” PSPACE.
Biofuels: Too early or too late?
Professor Kristala Prather engages undergrads in a discussion about the future of biofuels.
Scrutinizing radiation’s impact
Nuclear science and engineering PhD student Cody Dennett simulates conditions inside reactors to measure microscopic defects in irradiated materials.
Alumnus returns to MIT with a perfect reunion record
At Tech Reunions June 2-5, Robert Smith '41, will celebrate 75 years since his graduation — as well as his perfect reunion attendance.
Finding wonderland
Senior Marie Elimbi Moudio enters a “weird place” and discovers a world of possibility.
MIT at the Venice Biennale
On a global stage, MIT helps steer architecture toward solving worldwide challenges.
Julie Shah, Sandy Alexandre receive campus houseteam appointments
Shah named head of house after serving as Sidney Pacific associate housemaster; Alexandre joins East Campus as associate head of house.
Automating DNA origami opens door to many new uses
Like 3-D printing did for larger objects, method makes it easy to build nanoparticles out of DNA.
Thirteen MIT students awarded National Defense Science and Engineering Graduate Fellowships
Honor recognizes individuals who have demonstrated ability and special aptitude for advanced training in science and engineering.
Finding a new formula for concrete
Researchers look to bones and shells as blueprints for stronger, more durable concrete.
New concept turns battery technology upside-down
Pump-free design for flow battery could offer advantages in cost and simplicity.
![“[T]oday, if you want to write a program, you go and bring in these huge frameworks and these huge pieces of functionality that you then glue together, and you write a little code to get them to interact with each other. If you don’t understand what that big framework is doing, you’re not even going to know where your program is going to start executing,” says Armando Solar-Lezama.](/sites/default/files/styles/term_page__news_article/public/images/201605/MIT-Symbolic-Execution.jpg?itok=A5FxILHQ)
Automatic bug finder
System could make complex analysis practical for programs that import huge swaths of code.
