Formal Verification Outside the Box: Michael Theobald of D.E. Shaw Research
Today at the DVClub meeting in Silicon Valley, I attended a really interesting talk by Michael Theobald of D.E. Shaw Research, who described the use of Formal Verification techniques in the verification of Anton, their multi-node specialised computing machine designed to model molecular dynamics of protein folding as a vehicle for drug discovery and design. [...]