Lawrence Paulson - advisor @ Imandra - Person Profile - Cointime

Bitcoin $83,667.23 +0.73%
Ethereum $1,820.46 +0.55%
BNB $596.28 +0.63%
Optimism $0.71 +1.83%
Arbitrum $0.31 +1.03%
Solana $122.10 +4.98%
Polygon $0.22 +2.77%
Cosmos $4.97 +7.35%
Avalanche $18.19 +0.46%

Bitcoin $83,667.23 +0.73%
Ethereum $1,820.46 +0.55%
BNB $596.28 +0.63%
Optimism $0.71 +1.83%
Arbitrum $0.31 +1.03%
Solana $122.10 +4.98%
Polygon $0.22 +2.77%
Cosmos $4.97 +7.35%
Avalanche $18.19 +0.46%

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