People

Grant Passmore

Grant Passmore is Imandra's co-founder and co-CEO, leading its automated reasoning technology. His research covers formal verification, symbolic AI and nonlinear theorem proving. He earned a PhD at Edinburgh.