Lawrence Paulson - advisor @ Imandra - Person Profile - Cointime

Bitcoin $95,847.21 -0.91%
Ethereum $3,468.38 +4.16%
BNB $646.66 -0.70%
Optimism $2.30 +9.04%
Arbitrum $0.91 +11.11%
Solana $242.37 -2.27%
Polygon $0.58 +6.73%
Cosmos $8.20 -1.13%
Avalanche $42.78 +7.89%

Bitcoin $95,847.21 -0.91%
Ethereum $3,468.38 +4.16%
BNB $646.66 -0.70%
Optimism $2.30 +9.04%
Arbitrum $0.91 +11.11%
Solana $242.37 -2.27%
Polygon $0.58 +6.73%
Cosmos $8.20 -1.13%
Avalanche $42.78 +7.89%

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