Shubham Sahai
Senior Software Engineer at AI Centre for Educational Technologies (AICET)
Singapore, Singapore
Summary
👤
Senior🎓
Top SchoolShubham Sahai is a Senior Software Engineer based in Singapore with a decade of experience at the intersection of research and product engineering, currently building scalable technologies to democratize education at the AI Centre for Educational Technologies. He combines deep academic training from IIT Kanpur (PhD/M.Tech) with applied experience in computational education, blockchain development, formal methods, and applied cryptography from roles at AI Singapore, NUS, Microsoft, and national blockchain projects. Shubham’s background as a research fellow and multiple industry internships signals a strong ability to translate cutting-edge research into practical systems and secure architectures. He has repeatedly operated in research-heavy environments, driving prototype-to-production progress in AI and security-sensitive domains. Always learning, he brings a curious, multidisciplinary mindset that helps bridge theory and engineering in high-impact educational and cryptographic applications. Notably, his career emphasizes both rigorous formal techniques and hands-on development—useful for building auditable, trustworthy learning technologies.
10 years of coding experience
4 years of employment as a software developer
Indian Institute of Technology Kanpur
English, Hindi, French, Spanish
Github Skills (23)
verification10
tlaplus9
agda9
synthesis9
coq9
lxc9
nodejs9
sat-solver9
modeling9
shell9
high-performance8
tla7
cryptography6
bulletproofs4
zksnark4
Programming languages (5)
Github contributions (5)
ssahai/piston
Sep 2022 - Feb 2025
A high performance general purpose code execution engine.
Contributions:4 releases, 8 pushes, 3 branches in 2 years 5 months
code-executionexecution-enginepurposeperformancecode-execution-engine
ssahai/algorithms-cpp
Jun 2016 - Jul 2016
Contributions:19 pushes, 1 branch in 1 month
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.