My name is Pranoy Dutta (prydt) and I am a student at The University of Texas at Austin, dual majoring in computer science and Plan II Honors.
I am interested in
I write my thoughts on a blog.
I am currently working with Dr. Vijay Chidambaram on making it easier to verify distributed systems using PL theory and formal verification.
My previous research work includes
I have been extremely fortunate to have been mentored by
email: pranoy (at) utexas.edu
fedi (professional): @pry@discuss.systems
fedi (casual): @prydt@raru.re