Irfansha Shaik
Guest Researcher at Kvantify
Aarhus, Central Denmark Region
Summary
👤
Senior🎓
Top SchoolIrfansha Shaik is a researcher and quantum software engineer with eight years of experience applying SAT, QBF and classical planning techniques to hard computational problems, most recently optimizing quantum circuits in industry-academic collaboration. Currently a Guest Researcher at Aarhus University and Quantum Research Scientist at Kvantify, he blends formal encoding expertise with practical quantum compilation work to synthesize winning strategies, validate designs, and reduce quantum gate costs. His PhD on lifted encodings for 2-player games and planning underpins a rare combination of deep theoretical grounding and tooling-focused impact. Beyond papers and teaching, he has translated symbolic AI ideas directly into an industrial quantum compilation pipeline, demonstrating an ability to move proofs-of-concept into production-relevant tooling.
8 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Aarhus UniversityMSc by research Computer Science, MSc by research Computer Science at Swansea University / Prifysgol AbertaweBachelor of Technology Computer science and engineering, Bachelor of Technology Computer science and engineering at Jawaharlal Nehru Technological University, Kakinada
English, Telugu, Hindi, Urdu, Danish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
sat9
sat-solver8
formulas7
solver7
encoding6
boolean5
player5
numerical5
pddl3
parser2
parse2
Programming languages (3)
Github contributions (5)
irfansha/Planning
Mar 2020 - Jul 2021
Contributions:246 pushes, 1 branch in 1 year 4 months
irfansha/Q-Synth
Jul 2023 - Apr 2025
Tools for quantum circuits synthesis, optimization and others.
Contributions:1 release, 1 review, 3 PRs in 1 year 8 months
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.