Michael Carbin will be joining MIT as an assistant professor in January of 2016. His research interests include the theory, design, and implementation of programming systems, including languages, program logics, static and dynamic program analyses, runtime systems, and mechanized verifiers. His recent research has focused on the design and implementation of programming systems that deliver improved performance and resilience by incorporating approximate computing and self-healing. His research on verifying the reliability of programs that execute on unreliable hardware received a best paper award at a leading programming languages conference (OOPSLA 2013). His undergraduate research at Stanford University received the Wegbreit Prize for Best Computer Science Undergraduate Honors Thesis. As a graduate student at MIT, he received the MIT Lemelson Presidential and Microsoft Research Graduate Fellowships.