Researcher
Current
Trustworthy Systems
May 2019 - Present
AeroLeads people directory · profile
Dragan S. Email & Phone Number
Owner at Trustworthy Systems d.o.o
at
Trustworthy Systems
LinkedIn matched
✓ Verified Jun 2026
3 data sources
Profile completeness 100%
Current company
Trustworthy Systems
Role
Owner at Trustworthy Systems d.o.o
Location
Serbia, Serbia, Serbia
Who is Dragan S.? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Dragan S. is listed as Owner at Trustworthy Systems d.o.o at Trustworthy Systems, based in Serbia, Serbia, Serbia. AeroLeads shows a matched LinkedIn profile for Dragan S..
Dragan S. previously worked as Researcher at Trustworthy Systems and Senior Software Engineer at Ibm Now Factory. Dragan S. holds Msc, Electrical Engineering from Univerzitet U Beogradu.
Profile bio
About Dragan S.
I have been working on TAP system - Biomedica USA as senior ruby developer.I'm an external contributor, on open source for US election voting system project founded by Defense Advanced Research Projects Agency(DARPA) https://www.darpa.mil/ tools : frama-c, PVS, Coqlanguages: bash, python, c , ruby , rails-trailblazerData engineer : Databricks , aws , Redshift red team hacker for software / hardware attacks.references : Nasa Langley PVS libraries https://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library/library.html#ds, https://github.com/GaloisInc/BESSPIN-Voting-System-Demonstrator-2019/tree/master/source/cryptocompanies : IBM, Galois owner : Trustworthy Systems
Listed skills include Why2/Jessie, Linux, Bon, Ocaml, and 24 others.
Current workplace
Dragan S.'s current company
Company context helps verify the profile and gives searchers a useful next step.
Trustworthy Systems
7 roles · 34 years
Dragan S. work experience
A career timeline built from the work history available for this profile.
Senior Software Engineer
Ibm Now Factory
Sep 2015 - Aug 2019
Smart Traffic Team
Dec 2010 - May 2019
Member
Kindsoftware
SenseTile project:http://kindsoftware.com/products/opensource/SenseTile/
2009 - Jan 2011
Senior Software Developer
Jul 2005 - Aug 2008
Senior Developer
Finsoft
Apr 1999 - Jul 2004
Msc Of Computer Science
Ucd Casl
1992 - 1994
~2 yrs
1 education record
Dragan S. education
FAQ
Frequently asked questions about Dragan S.
Quick answers generated from the profile data available on this page.
What company does Dragan S. work for?
Dragan S. works for Trustworthy Systems.
What is Dragan S.'s role at Trustworthy Systems?
Dragan S. is listed as Owner at Trustworthy Systems d.o.o at Trustworthy Systems.
Where is Dragan S. based?
Dragan S. is based in Serbia, Serbia, Serbia while working with Trustworthy Systems.
What companies has Dragan S. worked for?
Dragan S. has worked for Trustworthy Systems, Ibm Now Factory, Ibm, Kindsoftware, and Procredit Bank.
How can I contact Dragan S.?
You can use AeroLeads to view verified contact signals for Dragan S. at Trustworthy Systems, including work email, phone, and LinkedIn data when available.
What schools did Dragan S. attend?
Dragan S. holds Msc, Electrical Engineering from Univerzitet U Beogradu.
What skills is Dragan S. known for?
Dragan S. is listed with skills including Why2/Jessie, Linux, Bon, Ocaml, C, Coq Proof Assistant, Proof, and Formal Methods.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Dragan S. you were looking for.
View similar profiles
