Norman Ramsey
nrnrnr
Happy hacker in ML, Lua, Haskell, C, others.
Tufts University Malden, Mass, USA
Hanno Becker
hanno-becker
Mathematician working on topics around
cryptography, security and formal verification. Principal Applied Scientist at Amazon.
Cambridge, UK