Live Breaking News & Updates on Why Writing Correct Software Is Hard Part

I've supervised a lot of great student projects in my nine years at MIT, but my inner nerdy teenager has never been as personally delighted by a project as it is right now.  Today, I'm proud to announce that Adam Yedidia, a PhD student at MIT (but an MEng student when he did most of this work),… ....

United States , France General , Twan Van Laarhoven , David Cox , Scott Aronson , Harvey Friedman , Tibor Rad , Scott Aaronson , Gabriel Nivasch , Robert Sawyer , Michael Emmer , John Baez , Timothy Chow , Luke Schaeffer , David Madore , Heiner Marxen , Skelet Georgi Georgiev , Scott Aaronsonif , Jason Gross , Pat Shaughnessey , Jacob Aron , Ernie Davis , Stephen Orear , Ben Zinberg , Kennethg Wilson , David Wu ,