Arijit Shaw
Visiting Graduate Student
Old Toronto, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolArijit Shaw is a PhD candidate and visiting graduate student at the University of Toronto with eight years of research and engineering experience building systems for "Beyond SMT" problems, specializing in model counting and sampling across diverse SMT theories. He holds advanced study at Chennai Mathematical Institute and has combined academic roles with industry-aligned research fellowships at TCG CREST and the National University of Singapore. His contributions to the CryptoMiniSat SAT solver demonstrate deep back-end expertise—improving clause management, conflict analysis, and SQL-backed clause statistics—which reflects a practical ability to turn formal-methods research into robust tooling. Comfortable bridging theory and implementation, he applies algorithmic rigor to real-world constraint-solving challenges and develops reusable tools that scale beyond academic prototypes.
8 years of coding experience
Bachelor of Technology (B.Tech.), Computer Science and Engineering, Bachelor of Technology (B.Tech.), Computer Science and Engineering at Jadavpur UniversityMaster of Science - MSc, Computer Science, Master of Science - MSc, Computer Science at Chennai Mathematical Institute
Github Skills (5)
c-language10
cprogramming-language10
sql10
cryptography8
proof6
Programming languages (5)
Github contributions (5)
msoos/cryptominisat
May 2019 - Apr 2020
An advanced SAT solver
Role in this project:
Back-end Developer
Back-end DeveloperContributions:20 commits, 3 PRs, 3 comments in 11 months
Contributions summary:Arijit primarily contributed to the back-end logic of the SAT solver, focusing on enhancements related to clause management and data storage. Their work involved modifications to the `src/searcher.cpp` and `src/sqlitestats.cpp` files, indicating efforts to save and retrieve clause-related information in an SQL database. The commits include additions of features to analyze conflict data, and updating the probing feature, demonstrating expertise in the core SAT solving algorithms.
cryptographycrosswordsatplacementdpll
meelgroup/csb
Dec 2023 - Feb 2025
Contributions:2 PRs, 69 pushes, 10 branches in 1 year 3 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.