Martin Schäf
Principal Applied Scientist at Amazon Web Services (AWS)
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolMartin Schäf is a Principal Applied Scientist in New York with 12 years of experience building and operationalizing static analysis and cloud-scale code-scanning services, most recently leading work on Amazon CodeGuru and AWS Corretto. He holds a PhD in Computer Science and has combined academic research on program analysis and fault localization with hands-on engineering at SRI and AWS, including DARPA program leadership. A pragmatic backend developer and quality advocate, he has contributed robustness fixes to major open-source projects like WildFly and the Soot Java optimization framework, reducing runtime errors and improving stability. Known for turning formal research into production-grade tooling, he blends deep program-analysis expertise with large-scale service design and an eye for preventing subtle runtime failures.
11 years of coding experience
11 years of employment as a software developer
PhD Computer science, PhD Computer science at The University of FreiburgM.Sc. h.d. Computer Science, M.Sc. h.d. Computer Science at Universität des Saarlandes
English, French, German
Stackoverflow
365reputation
6kreached
0answers
10questions
Github Skills (31)
crypto10
debugging10
debug10
openpgp10
java10
javas10
spring-boot10
optimization10
analyser9
tls129
tls139
analyse9
persistence9
mtls9
libtls9
Programming languages (9)
Github contributions (5)
soot-oss/soot
Jul 2014 - Sep 2014
Soot - A Java optimization framework
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits, 28 comments, 19 issues in 2 months
Contributions summary:Martin primarily addressed issues and made improvements related to the Soot Java optimization framework. Their contributions involved debugging and fixing runtime exceptions in existing code, specifically within the `AllocNodesFinder` and `BlockGraphConverter` modules. They also improved code robustness by adding checks for null values and ensuring compatibility when handling different data structures like `ArrayPackedSet`. Furthermore, the user addressed potential issues with null pointer exceptions in library method wrappers, increasing the stability of the project.
java-optimization-frameworksootjava-optimizationoptimization-frameworkoptimization
wildfly/wildfly
Apr 2015 - May 2015
WildFly Application Server
Role in this project:Back-end Developer
Back-end DeveloperContributions:1 PR, 3 comments in 13 days
Contributions summary:Martin primarily focused on improving the WildFly Application Server's robustness and stability. Their contributions involved fixing potential null pointer exceptions, improving error handling, and refining existing code within the core system. The user addressed issues related to clustering, data sources, persistence unit handling, and naming services. The changes reflect a focus on code quality and preventing runtime errors within the application server's internal mechanisms.
javawildflydockerapplication-server
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.