As a postdoctoral fellow at UT Austin under Profs. Işil Dillig and Joydeep Biswas, Kia Rahmani specializes in crafting reliable machine learning algorithms rooted in programming languages theory. His research focuses on neuro-symbolic algorithms for decision making, aiming for formal explanations and guarantees from intelligent agents. Previously, he earned his PhD from Purdue University and conducted an internship at Microsoft, developing innovative program synthesis algorithms.