My name is Kia Rahmani and I am a PhD candidate of computer science at Purdue University. I am a member of the programming languages group, working under the supervision of Professor Suresh Jagannathan and Professor Benjamin Delaware.

My PhD thesis is focused on analysis of concurrency in modern data-intensive programs. More broadly, I am interested in all mathematical methods for modeling, analysis and verification of (classical or quantum) computer programs.

I was previously a research intern at Microsoft, working on a neurosymbolic synthesis technique using GPT-3 natural language model. My work was supervised by Dr. Mohammad Raza and Dr. Sumit Gulwani.