Lawrence Paulson - advisor @ Imandra - Person Profile - Cointime

Bitcoin $83,445.60 -0.25%
Ethereum $1,803.72 -0.58%
BNB $592.70 -0.67%
Optimism $0.69 -2.17%
Arbitrum $0.31 -1.42%
Solana $120.17 -1.77%
Polygon $0.22 +2.77%
Cosmos $4.77 -3.86%
Avalanche $17.81 -1.80%

Bitcoin $83,445.60 -0.25%
Ethereum $1,803.72 -0.58%
BNB $592.70 -0.67%
Optimism $0.69 -2.17%
Arbitrum $0.31 -1.42%
Solana $120.17 -1.77%
Polygon $0.22 +2.77%
Cosmos $4.77 -3.86%
Avalanche $17.81 -1.80%

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