-
NTNU
- Trondheim, Norway
Alastair Reid
alastairreid
Researcher working on formal specification and verification.
(This is my personal account)
Intel Cambridge, United Kingdom
Dionysis Zindros
dionyziz
Cryptographer post-doc at Stanford. Blockchains. PhD UoA. MEng NTUA. Ex-{Google,Twitter,deviantART}
Stanford Stanford