About
Kia Rahmani is a Postdoctoral Research Fellow at the University of Texas at Austin, working under Professors Işil Dillig and Joydeep Biswas. His research intersects programming languages theory with artificial intelligence, focusing on neuro-symbolic algorithms for decision-making systems that provide formal guarantees in intelligent agent behavior.
- Ph.D. in Computer Science from Purdue University
- Internship experience at Microsoft developing program synthesis techniques
Current work emphasizes creating reliable machine learning systems with rigorous theoretical foundations, contributing to the fields of intelligent robotics and formal verification of AI models.
Contact: kiar@cs.utexas.edu
0Publications listed
Find Kia Rahmani elsewhere
Related Searches
You Might Also Like
Işıl DilligUniversity of Texas at Austin · Professor
Işıl DilligNational and Kapodistrian University of Athens · Associate Professor
Greg AndersonReed College · Assistant Professor
Işıl DilligInria · Associate Professor- FFlorent DelgrangeVrije Universiteit Brussel · Researcher
Işıl DilligMax Planck Institute for Software Systems · Associate Professor