معرفی
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
۰مقاله منتشرشده
