Hi, my name is Pranoy Dutta and welcome to my site!
I am really interested in:
- programming language support for distributed systems
- large scale distributed databases
- efficient CRDTs
- formal verification of systems
- sci-fi / fantasy novels
- hyperpop
- encryption as a means of thwarting the surveillance state
In the past, I've worked on
- speeding up interprocess communication on Linux
- studying negation in language models
- RISC-V
🚧This site is currently a work in progress.🚧
check out some of my older sites