Kia Rahmani
Applied AI Scientist at Durable
Irvine, California, United States
Summary
👤
Senior🎓
Top SchoolKia Rahmani is an Applied AI Scientist with a decade of experience at the intersection of program synthesis, formal methods, and LLM-driven code generation, currently applying those skills at Durable. With a PhD from Purdue and a recent postdoc at UT Austin, Kia blends deep theoretical foundations with hands-on research experience, including a research internship at Microsoft. They have a track record of turning formal verification ideas into practical developer-facing tools and workflows that improve code correctness and automation. Based in Irvine, Kia brings an academic rigor to product-oriented AI problems and a background in teaching that sharpens their ability to communicate complex concepts to engineers and stakeholders.
10 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Purdue UniversityBachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Sharif University of Technology
Stackoverflow
49reputation
536reached
1answer
5questions
Github Skills (33)
markdown10
gitpod10
github-pages10
jekyll10
visual-programming-language9
creative-commons9
seeding8
javascript8
z37
ignite6
node-tool6
consistency6
data-cleaning6
python6
regex6
Programming languages (4)
Github contributions (5)
Kiarahmani/RMWCounter
Apr 2017 - Apr 2017
Contributions:195 pushes, 3 branches in 4 days
rmwconsistentcassandracounter
Kiarahmani/Syncope
Mar 2017 - Apr 2017
Contributions:572 pushes, 10 branches in 17 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.