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

• distributed systems
• formal verification
• storage technologies
• philosophy of science, ethics, and language
• the effects of surveillance on society

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

• showing negation is underrepresented in Natural Language Processing tasks (EMNLP 2020)
• designing a hardware accelerator for sparse matrix computation (MEMSYS 2020)

I have been extremely fortunate to have been mentored by

• Dr. Nagendra Gulur
• Dr. Eduardo Blanco
• Dr. Lior Fishman

places to find me 🗼

email: pranoy (at) utexas.edu

fedi: @prydt@raru.re

check out some friends of mine 😃

(in lexicographic order)

• https://danielzting.github.io/
• https://jeongwoo.xyz/
• https://krithravi.com/
• https://nitroguy10.github.io/
• https://riley.lgbt/
• https://simonxiang.xyz/
• https://syntacticsugarglider.com/
• https://wbne.github.io/
• https://willow.phantoma.online/
• http://zxie.great-site.net/