Rob Knight

Hello, I'm Rob Knight. I'm a research engineer working on programmable cryptography, with application to multi-agent systems and verifiable computation.

I'm interested in language design, distributed systems, and systems theory.

Archive

2023