Background and education
A formal educational history was not verified in the primary sources used for this profile. No institution or degree is inferred.
How the journey developed
Shi’s Carnegie Mellon profile describes work spanning cryptography, security, game theory and distributed systems. These fields address different parts of how a decentralized system can remain correct when participants have competing incentives.
Contribution to crypto
Her blockchain research connects formal reasoning with protocol design. It contributes to understanding what a system can guarantee and which assumptions those guarantees require.
Why the work matters
Academic blockchain work is not limited to issuing tokens or founding exchanges. Precise security models can reveal weaknesses that are invisible in a product demonstration. Shi’s research offers readers a route into that deeper layer: what the adversary can do, what honest participants assume and what a protocol actually proves.
Sources and further reading
Profile reviewed September 8, 2026. Historical roles are identified as such. Education is included only where supported by the sources; an unverified qualification is not assumed.