Kostyantyn Vorobyov
Principal Software Engineer at TechnologyOne
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.
11 years of coding experience
13 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 Taras Shevchenko National University of Kyiv
Github Skills (11)
translator10
datalog10
logic-programming10
cpp9
static-code-analysis9
java-bindings6
python3
z33
script3
compiler1
program-analysis1
Programming languages (4)
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
UQ-PAC/RSVP
Jan 2026 - Jun 2026
Policy verification
Contributions:3 reviews, 1 PR, 163 pushes in 5 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.