Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Kia Rahmani

Registered user since Thu 6 Apr 2017

Name:Kia Rahmani

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 around compilation, synthesis, and testing of modern database-backed programs. More broadly, I am interested in all formal methods for modeling and analysis of (classical or quantum) computer programs.

I was previously a research intern at Microsoft, working on a new program synthesis technique based on pre-trained language models. My work was supervised by Dr. Mohammad Raza and Dr. Sumit Gulwani.

Country:United States
Affiliation:Purdue University
Research interests:Programming Languages, Distributed Systems, Program Synthesis


Show activities from other conferences

SPLASH 2021-profile
View general profile