About Me

My name is Kia Rahmani, and I am an AI scientist at Durable. I am passionate about designing interpretable and reliable artificial intelligence through the theory of programming languages. At Durable, we aim to bridge the gap between natural language and code through trustworthy program synthesis methods.

Before joining Durable, I served as a post-doctoral researcher at the University of Texas at Austin under the supervision of Prof. I. Dillig and obtained my PhD from Purdue University under the supervision of Prof. S. Jagannathan and Prof. B. Delaware. I also did an internship with Microsoft where I developed a new program synthesis algorithm using large language models, under the supervision of Dr. S. Gulwani.

Publications & Patents

  • Multi-modal Program Inference (US20230176829A1)
    (Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari)
    [United States Patent Application]

Service