Jonathan Burke - Principal Member Of Technical Staff at Oracle

Jonathan Burke

Principal Member Of Technical Staff at Oracle

Seattle, Washington, United States

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Jonathan Burke is a Principal Member of Technical Staff in Seattle with 13 years of hands-on experience building reliable, readable systems in Java, C++, Scala, and Python across Unix and Windows. He designs and implements production services spanning developer portals, security and network automation, and customer-facing VPNs, and he has led a 15-person internal scanning team to re-architect critical vulnerability tooling at Oracle. As chief developer of the Checker Framework while at the University of Washington, he refactored whole-program type inference to scale from tiny examples to 800,000+ line inputs and improved generics handling—work reflected in contributions to the well-known typetools/checker-framework. Comfortable across full-stack, DevOps, and research settings, he pairs deep language/tooling expertise with a track record of automation that halves release time and dramatically speeds performance-critical components.

13 years of coding experience

5 years of employment as a software developer

Master’s Degree, Computer Science, Master’s Degree, Computer Science at The University of Texas at Dallas

Certificate in Game Design - Professional and Continuing Education, Game Design, P/F, Certificate in Game Design - Professional and Continuing Education, Game Design, P/F at University of Washington

Bachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at Alfred University

Github Skills (7)

plugin-development10

maven10

javas10

java10

build-automation9

documentation5

testing4

Programming languages (2)

JavaC

Github contributions (5)

typetools/checker-framework

Aug 2012 - Oct 2015

Pluggable type-checking for Java

Role in this project:

Back-end Developer

Contributions:2 releases, 1133 commits, 13 PRs in 3 years 1 month

Contributions summary:Jonathan primarily contributed to the Maven plugin for the Checker Framework, making changes to the plugin's code, documentation, and artifact deployment. They added a new feature with a skip option and fixed an artifact ID. They also introduced support for the new project layout and improved various aspects of the plugin's functionality, making it more user-friendly, and enabling the use of Java 8-related features in the compiler.

checkingverificationtype-checkingpluggablejava

JonathanBurke/checker-framework-inference

Aug 2015 - Sep 2015

Contributions:1 PR, 11 pushes, 3 branches in 1 month

javainferencepluggable

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.

Request Free Trial