Skip to content

Curry On!

Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer

About this video

Matt Might's Curry On talk on ending errors in code, both software and the human genome. He covers conservative approximation of the halting problem via static analysis and a computational approach to precision medicine.