Dragan Stosic
Researcher at Trustworthy Systems
Serbia
Summary
👤
Senior🎓
Top SchoolDragan Stosic is a researcher, mathematician, and software engineer with 12+ years building secure, reliable systems across industry and research, currently leading work at Trustworthy Systems. He blends formal methods (Frama-C, PVS, Coq) with practical engineering in languages like Python, C, and C#, and has deep data engineering experience on Databricks, AWS, Redshift, Snowflake and Looker. His external contributions include DARPA-funded work on a voting-system demonstrator and PVS libraries used by NASA Langley, reflecting rare crossovers between high-assurance research and applied software. A former senior engineer at IBM and founder-level owner experience, he also runs red-team assessments for software and hardware attacks, bringing adversarial thinking to system design. Based in Serbia with an MSc in Electrical Engineering, he pairs rigorous academic training with a track record of shipping auditable, production-grade solutions.
12 years of coding experience
14 years of employment as a software developer
MSc, Electrical Engineering, MSc, Electrical Engineering at Univerzitet u Beogradu
Github Skills (30)
voting-system9
voting8
sidekiq8
verilog8
simulator7
cpp6
verilator6
systemc6
ocaml6
ruby6
jruby5
dub5
lint5
security5
filemaker5
Programming languages (7)
Github contributions (5)
gajaka/ShoppingCart
Mar 2017 - May 2019
Simple Shopping Card
Contributions:2 PRs, 9 pushes, 2 branches in 2 years 2 months
shopping
samowre/frama-c-pvs
Nov 2013 - Sep 2014
Contributions:23 commits in 9 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.