Ali Asadi is a researcher and PhD student in computer science at ISTA with a decade of hands-on experience spanning software engineering, team leadership, and algorithm instruction. He moved from teaching algorithms in Iranian high schools to production roles at Cafe Bazaar and Divar, where he progressed from engineer to team lead before returning to research-focused work in computer-aided verification. Skilled in C++, algorithm design, combinatorics and rapid typing, he blends theoretical depth with practical system-building and mentoring experience. Based in Klosterneuburg, Austria, Ali brings a playful curiosity to his work (GitHub bio: ".:: Just for fun ::.") that fuels both rigorous research and pragmatic product engineering.
Contributions:12 commits, 3 pushes, 1 branch in 2 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.