qafadmin, Author at QA Financial's Posts

Grant-Passmore-Aesthetic-Integration

Video interview: Grant Passmore, AI

The advanced mathematical technique of formal integration can be used to test the soundness of complex financial marketplaces, such as dark pool trading venues. In this interview, Grant Passmore guides from the work of Gödel and Turing to the first practical applications of formal verification in the computer industry and on to the application of formal verification to the »