Research interests: programming language theory, operating systems design, networking, applied cryptography.
Current project: sabbatical until September 2025.
Known for: