Samin Ishtiaq
Head Of Software at Riverlane
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolSamin Ishtiaq is a seasoned software and systems leader with 25+ years bridging research and product delivery across systems software, verification, machine learning and quantum computing. Currently Head of Software at Riverlane, he has repeatedly led cross-disciplinary teams—spanning software, hardware and verification—to ship fault-tolerant compilation stacks and enable real-time experiments with quantum hardware partners. His background includes deep systems engineering at ARM and Microsoft Research and hands-on cryptographic contributions to the F* proof-oriented language, evidencing both formal-methods rigor and practical implementation. A committed mentor and recruiter, he thrives in APD/R&D settings yet gets a real kick from seeing research transition into production use. Based in Cambridge with a PhD in Computer Science, he combines academic depth with a knack for fixing tricky low-level bugs and making complex systems usable.
11 years of coding experience
14 years of employment as a software developer
Master of Engineering (MEng) Computing Computing, Master of Engineering (MEng) Computing Computing at Imperial College LondonPhD Computer Science, PhD Computer Science at Queen Mary University of London
Github Skills (9)
theorem-proving10
fs10
dependent-types10
f10
openssl10
cryptography10
fstar10
sha9
ocaml8
Programming languages (11)
Github contributions (5)
FStarLang/FStar
Mar 2016 - Jun 2017
A Proof-oriented Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:191 commits, 43 PRs, 138 pushes in 1 year 3 months
Contributions summary:Samin implemented and tested core cryptographic functions within the F* proof-oriented programming language project. Their contributions included exposing OpenSSL digest functions and creating associated tests, including SHA1, SHA256, SHA384, and SHA512. They also fixed expected output values in existing tests, correcting errors related to repeated input. These changes involved modifying files related to core cryptographic functions and tests.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
microsoft/SLAyer
Feb 2016 - Jul 2016
Contributions:5 commits, 1 PR, 3 pushes in 4 months
memorysecurityc-programsformal-verificationformal
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.