Blog

Day: March 23, 2014

Michael Carbin on integrity properties in approximate computing

Michael Carbin is a Ph.D. Candidate in Electrical Engineering and Computer Science at MIT. His interests include the design of programming systems that deliver improved performance and resilience by incorporating approximate computing and self-healing. His work on program analysis at...