Hi, my name is Pranoy Dutta. I am on the Hyperdrive team at Cloudflare.
Research Interests
I am particularly interested in the intersection of programming language design and distributed / concurrent systems. After learning about CRDTs and languages like Bloom and Jolie, I am convinced that our programming languages can do more for us.
I am interested in working towards creating new programming languages and abstractions which empower programmers to
- find distributed systems errors at compile-time.
- specify and verify consistency properties inline.
- write more expressive programs (through tools like Multiparty Session Types or Choreographic Programming).
All without sacrificing performance or overwhelming programmers in complexity.