Kostyantyn Vorobyov
Greater Brisbane Area Australia
Summary
🤩
Rockstar🎓
Top SchoolKostyantyn Vorobyov is a software engineer and computer scientist with 11 years of experience specializing in program analysis, software security, and large-scale systems engineering. He has translated academic research into production-defensible tooling—delivering patented runtime defenses, a domain-specific cloud security DSL, and SQL analysis techniques integrated into enterprise frameworks. His background spans industry leaders (Oracle, Synopsys) and research labs, where he built analysis engines, runtime monitors, and CI/CD infrastructure while mentoring engineers and collaborators. Comfortable moving between OCaml, C/C++, and cloud platforms, he is known for rapidly mastering new tech and turning prototypes into robust, production-ready solutions. An under-the-radar strength is his ability to bridge formal methods and pragmatic engineering, evidenced by patents and publications that directly influenced product security features. Based in Greater Brisbane, he combines deep theoretical grounding (PhD in Computer Science) with hands-on delivery of measurable impact.
10 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Bond UniversityMaster's degree, Mathematics, Master's degree, Mathematics at Kiev National Taras Shevchenko University
Github Skills (21)
datalog10
horn10
logic-programming10
declarative-programming10
specification10
translator10
logic10
parallel9
static-code-analysis9
cpp9
c-language6
theorem4
program-analysis4
python3
high-performance3
Programming languages (3)
Github contributions (5)
icesparrow/souffle
Mar 2016 - Jun 2017
Contributions:150 pushes, 44 branches, 3 tags in 1 year 3 months
compilerprogram-analysiscompileddomain-specific-languagedatalog
icesparrow/oracle-souffle
Jun 2017 - Jul 2017
Contributions:1 release, 15 pushes, 3 branches in 6 days
compilerprogram-analysiscompileddomain-specific-languagedatalog
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.