Sarbojit Das
Software Engineer at COMSOL, Inc.
Uppsala, Sweden
Summary
🎓
Top SchoolSarbojit Das is a software engineer with eight years of experience combining rigorous academic research and practical tool-building, now working at COMSOL in Uppsala. He completed a PhD at Uppsala University where he developed high-performance automated testing and verification algorithms for concurrent, event-driven, and distributed systems and implemented them in the widely used Nidhugg model checker. His research produced testing algorithms that are around 33% faster and more memory-efficient than prior approaches and included modernization of toolchains to C++17 and LLVM 16. Earlier work includes extending verification tools like 2ls and TARA, giving him deep familiarity with memory models (x86-TSO, Power) and embedded/IoT concurrency. He blends systems-level insight with practical engineering—benchmarking, CI/CD, and API subset implementations—to turn formal techniques into production-capable tooling.
7 years of coding experience
1 year of employment as a software developer
B.Sc., B.Sc. at Ramakrishna Mission VidyamandiraM.Sc, M.Sc at Chennai Mathematical Institute
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (26)
messenger9
signal9
messaging9
chat9
pthreads9
partial9
swift8
targets8
concurrent8
ios7
memory-management7
arm6
consistency6
garbage-collector6
concurrency5
Programming languages (5)
Github contributions (5)
sarbojit4/nidhugg
May 2020 - Mar 2025
Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.
Contributions:9 PRs, 384 pushes, 15 branches in 4 years 10 months
memorysoftware-verificationconcurrentconcurrent-programmingpthreads
sarbojit4/sarbojit4.github.io
Feb 2021 - Aug 2024
Contributions:22 pushes, 2 branches in 3 years 6 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.