Sylvan works at Microsoft Research Cambridge in the Confidential Computing group. He designed the Pony programming language, and is interested in massively concurrent and distributed systems, garbage collection, type systems, actor-model programming, and trusted computing.