Saeed Darabi
Senior Software Engineer Algorithms And High Performance Computing at CoMind
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolSaeed Darabi is a senior software engineer specializing in high-performance computing and GPU programming, with eight years of industry experience across Europe. He currently holds senior roles at CoMind (Algorithms and High Performance Computing) and ASML (Senior Software Designer), reflecting a rare blend of hands-on engineering and architectural leadership. His PhD from the University of Twente focused on verification of parallel programs, GPU kernel verification (OpenCL), and the semantics of parallel programming and concurrency. Earlier in his career he designed high-performance C++ libraries for distributed DSP blocks, real-time systems, cluster computing, SIMD, and networked sensor/actuator control. Based in London, he combines academic rigor with production-grade software engineering to deliver deterministic, scalable HPC solutions.
9 years of coding experience
16 years of employment as a software developer
Doctor of Philosophy (PhD), Verification of Parallel Programs, Doctor of Philosophy (PhD), Verification of Parallel Programs at University of TwenteBachelor’s Degree, Computer Software Engineering, Bachelor’s Degree, Computer Software Engineering at Shahid Chamran University of Ahvaz (Jundi Shapur)MSc, Computer Architecture, MSc, Computer Architecture at University of Tehran
English, Persian, Dutch
Github Skills (8)
verification9
viper8
opencl8
java8
concurrency7
openmp7
concurrent7
parallel6
Programming languages (1)
Github contributions (2)
SaeedDarabi/vercors
Dec 2016 - Jan 2017
Contributions:7 pushes, 1 branch in 1 month
securityverificationconcurrent
utwente-fmt/vercors
Dec 2016 - Jan 2017
The VerCors verification toolset for verifying parallel and concurrent software
Contributions:9 commits, 4 PRs, 1 push in 1 month
concurrentvercors-toolsetconcurrencyparallelparallelism
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.