Lawrence Paulson - advisor @ Imandra - Person Profile - Cointime

Bitcoin $62,070.81 +2.34%
Ethereum $2,412.48 -0.23%
BNB $554.14 +0.26%
Optimism $1.56 +0.95%
Arbitrum $0.54 +0.97%
Solana $136.35 -0.64%
Polygon $0.39 +2.70%
Cosmos $4.24 +1.23%
Avalanche $24.74 -0.43%

Bitcoin $62,070.81 +2.34%
Ethereum $2,412.48 -0.23%
BNB $554.14 +0.26%
Optimism $1.56 +0.95%
Arbitrum $0.54 +0.97%
Solana $136.35 -0.64%
Polygon $0.39 +2.70%
Cosmos $4.24 +1.23%
Avalanche $24.74 -0.43%

Lawrence Paulson

Summary
Jobs

Overview

Gender: unknow

Professor of Computational Logic, University of Cambridge. Fellow of The Royal Society. Creator of the Isabelle proof assistant.

Jobs

Number of Current Jobs

1

Lawrence Paulson has 1 current jobs including Advisor at Imandra , .

Organization Name	Title At Company	Start Date	End Date
Imandra	Advisor	—	—	Detail