Michael Ernst
Internet Solutions Technical Support Supervisor at Jack Henry & Associates
Lenexa, Kansas, United States
Summary
🤩
Rockstar🎓
Top SchoolMichael Ernst is a seasoned technical support supervisor with 17 years of experience blending hands-on customer-facing systems work and deep Java back-end contributions. Based in Lenexa, Kansas, he leads Internet Solutions support at Jack Henry & Associates while historically supporting pharmacy systems, SQL Server troubleshooting, and on-site deployments. Beyond operations, he is an active open-source contributor to high-profile Java projects—Guava, Log4j2, JavaParser, Lombok, and the Checker Framework—focusing on type annotations, documentation quality, and build/test reliability. That mix of production support and disciplined code hygiene means he not only resolves customer issues quickly but also contributes to long-term maintainability in complex codebases. Colleagues rely on him for pragmatic debugging, CI/build improvements, and clear technical documentation drawn from both field and repo-level experience.
17 years of coding experience
Associate of Arts; Associate of Science, Associate of Arts; Associate of Science at Bismarck State CollegeB.A., Business Management, B.A., Business Management at Ottawa University
Stackoverflow
7,749reputation
986kreached
245answers
9questions
java
top-1%
nullable
top-5%
eclipse
top-5%
annotations
top-1%
Github Skills (53)
parserator10
debugging10
debug10
parser10
javadoc10
annotations10
testing10
bash10
formatter10
perl10
cicd10
java10
annotation-processing10
type-system10
build-engine10
Programming languages (25)
Github contributions (5)
randoop/randoop
Dec 2016 - Jan 2023
Automatic test generation for Java
Role in this project:
Test Automation Engineer
Test Automation EngineerContributions:21 releases, 117 reviews, 1404 commits in 6 years 2 months
Contributions summary:Michael contributed to automatic test generation for Java projects by modifying Randoop. They focused on improving the test environment, writing JUnit tests, and adjusting the test suite to handle various test scenarios. Their work included adding test cases, enhancing diagnostic output for better troubleshooting during testing, and addressing issues related to handling edge cases like out-of-memory errors and non-terminating methods during automated testing.
test-automationtest-automation-javatestingtest-generationjava
typetools/checker-framework
Jul 2009 - Jan 2023
Pluggable type-checking for Java
Role in this project:Back-end Developer
Back-end DeveloperContributions:8 releases, 1609 reviews, 9617 commits in 13 years 8 months
Contributions summary:Michael primarily focused on enhancing the Java-based Checker Framework for improved type checking capabilities. Their commits demonstrate a deep understanding of the framework's internal workings. The user's work included refactoring core Java expression parsing and type annotation handling to support more features and avoid crashes, as well as the creation of tests. The user also made improvements to documentation.
checkingverificationtype-checkingpluggablejava
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.