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 (24)
markdown10
github-pages10
jekyll10
jekyll-theme10
html10
cassandra7
programming-language7
z37
ignite6
node-tool6
consistency6
data-cleaning6
python6
regex6
static-analysis6
Programming languages (6)
Github contributions (5)
Kiarahmani/CLOTHO
Jul 2019 - Aug 2019
Directed Test Generation for Weakly Consistent Database Systems
Contributions:50 commits, 45 pushes, 1 branch in 25 days
databasecassandraconsistencystatic-analysisz3
Kiarahmani/RMWCounter
Apr 2017 - Apr 2017
Contributions:195 pushes, 3 branches in 4 days
rmwconsistentcassandracounter
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.