J S Moore

Biography

Moore does research in automatic and machine-assisted theorem proving and its application to proving properties of computer hardware and software. In essence, he builds machines that reason about machines. The theorem provers that he and his colleagues and students have built are used to verify commercial hardware and software designs - changing the very process by which designs are turned into produ

Research Interest

Formal Methods, Security