People

Distributed systems researcher previously at VMware, where he worked on database-inspired cluster management and formal methods; earned a TU Berlin PhD.