prydt's homepage

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.

research interests 📚

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

places to find me 🗼

email: pranoy (at) utexas.edu

fedi (professional): @pry@discuss.systems

fedi (casual): @prydt@raru.re

check out some friends of mine 😃

(in lexicographic order)