Nathan Keynes
VP Of Technology at Shorthand
Brisbane City, Queensland, Australia
Summary
👤
Senior🎓
Top SchoolNathan Keynes is a seasoned systems software engineer and technology leader with over 15 years of experience architecting static program analysis, systems integration, e-commerce, and 3D graphics solutions. Currently VP of Technology at Shorthand in Brisbane, he blends R&D and computer vision work with a deep track record leading Parfait static-analysis projects at Oracle Labs that spanned Java, native C/C++, and database tiers to find subtle security issues. Nathan is fluent across the full stack—from OS and toolchain maintenance to symbolic and path-sensitive analyses—and is known for making closed systems interoperate and for improving software quality through architecture and rigorous engineering practices. He has repeatedly moved research ideas into production-grade tools, grown and managed multi-disciplinary teams, and often prefers simplifying designs to avoid future complexity. A pragmatic tinkerer with broad system-administration chops, he brings both academic rigor and hands-on debugging across heterogeneous platforms.
10 years of coding experience
17 years of employment as a software developer
PhD, Computer Science (incomplete), PhD, Computer Science (incomplete) at The University of Queensland
English, Japanese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (5)
translator10
datalog9
cpp8
logic-programming6
static-code-analysis3
Programming languages (1)
Github contributions (5)
oracle/souffle
Dec 2015 - Jul 2017
DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
Contributions:18 commits, 6 PRs, 9 pushes in 1 year 6 months
cppdatalogsouffletranslator
nkeynes-oracle/souffle
Mar 2016 - Sep 2016
Contributions:5 pushes in 5 months
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.