Burhanuddin Salim
Senior Full-stack Developer at 3 SIDED CUBE
United Kingdom
Summary
👤
Senior🎓
Top SchoolBurhanuddin Salim is a Senior Full-stack Developer with nine years of experience delivering web and serverless applications across Node.js, Angular and AWS. He has progressed from full-stack roles to senior engineering at 3 SIDED CUBE following an acquisition, and has hands-on experience building e-commerce platforms, Shopify integrations and Solidity-focused verification tooling for ESBMC. A strong maths-and-computer-science graduate from The University of Manchester with an MSc in Advanced Computer Science (Computer Security), he combines practical product delivery with a deep appreciation for secure, verifiable code. Comfortable mentoring new hires and onboarding teams to serverless stacks, he’s adaptable to new technologies and has a dry-eyed sense of humor reflected in his GitHub bio: "Sometimes I do code. Sometimes code do me."
9 years of coding experience
4 years of employment as a software developer
Master of Science - MS Advanced Computer Science - Computer Security, Master of Science - MS Advanced Computer Science - Computer Security at The University of ManchesterIB Diploma Programme, IB Diploma Programme at Dubai International AcademyIGCSE, IGCSE at MSB Educational Institute - Al Ameen Private School
Github Skills (54)
kotlin10
incremental-learning10
checker10
console9
model-checking9
python9
verification9
sat-solver9
smt9
cpp9
dependency-free8
command-line8
browser8
lodash8
windows8
Programming languages (7)
Github contributions (5)
correcthorsebatterystaple/esbmc
Mar 2022 - Aug 2022
The efficient SMT-based bounded model checker
Contributions:73 pushes, 11 branches in 4 months
model-checkersmtchecker
correcthorsebatterystaple/hoare-z3
Feb 2021 - Jun 2022
Contributions:13 pushes in 1 year 4 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.