Lawrence Paulson - advisor @ Imandra - Person Profile - Cointime

Bitcoin $93,377.38 -2.43%
Ethereum $3,357.91 +0.98%
BNB $682.83 +3.96%
Optimism $1.82 +1.55%
Arbitrum $0.77 +2.24%
Solana $184.95 +1.27%
Polygon $0.48 -0.05%
Cosmos $6.56 -0.12%
Avalanche $37.05 -0.96%

Bitcoin $93,377.38 -2.43%
Ethereum $3,357.91 +0.98%
BNB $682.83 +3.96%
Optimism $1.82 +1.55%
Arbitrum $0.77 +2.24%
Solana $184.95 +1.27%
Polygon $0.48 -0.05%
Cosmos $6.56 -0.12%
Avalanche $37.05 -0.96%

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