Johannes Bader
Software Engineer at Jane Street
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolJohannes Bader is a software engineer with 11 years of experience applying formal methods and practical engineering to developer tools and backend systems, currently at Jane Street in New York. He blends precision and pragmatism across research areas like automatic program repair, software verification, programming-language design, and succinct data structures. Past roles at Facebook and Microsoft and contributions to high-profile Azure projects (AutoRest, Azure CLI, Azure SDK) show a track record of improving code generation, CLI tooling, and API quality at scale. He also contributes to performance-sensitive C++ libraries (SDSL-lite) and experiments with "tree calculus" on GitHub, reflecting deep algorithmic fluency beyond typical backend work. A top graduate from KIT with a perfect master's grade, he combines academic rigor with production-focused improvements that make developer tooling simpler and more reliable.
11 years of coding experience
5 years of employment as a software developer
Bachelor's Degree, Informatics, Bachelor's Degree, Informatics at Karlsruhe Institute of TechnologyMaster's Degree, Informatics, 1.0 (best graduate of year), Master's Degree, Informatics, 1.0 (best graduate of year) at Karlsruhe Institute of Technology (KIT)
German, English, Latin
Stackoverflow
1reputation
2kreached
0answers
2questions
Github Skills (38)
api-rest10
algorithms10
c-language10
back-end-development10
python10
api-design10
restful-api10
azure-sdk10
testing10
net10
command-line-interface10
dotnet10
swagger10
microsoft-azure10
data-structure10
Programming languages (16)
Github contributions (5)
Azure/autorest
Aug 2016 - Sep 2018
OpenAPI (f.k.a Swagger) Specification code generator. Supports C#, PowerShell, Go, Java, Node.js, TypeScript, Python
Role in this project:
Back-end Developer & Automation Engineer
Back-end Developer & Automation EngineerContributions:232 commits, 632 PRs, 307 pushes in 2 years 1 month
Contributions summary:Johannes contributed to the `azure/autorest` repository, a code generator for OpenAPI specifications. Their work focused on improving the polymorphic deserialization of JSON converters and marking asynchronous methods as obsolete. They also implemented and tested nullable parameter behavior and contributed to the testing and build automation of the project. The changes suggest a focus on improving code quality and testability in a project related to code generation for REST APIs.
openapi-codegenpythonrest-clientopenapipowershell
Azure/autorest.csharp
Aug 2017 - Apr 2018
Extension for AutoRest (https://github.com/Azure/autorest) that generates C# code
Role in this project:Back-end Developer
Back-end DeveloperContributions:48 commits, 147 PRs, 64 pushes in 7 months
Contributions summary:Johannes appears to have primarily contributed to the development and maintenance of the C# code generation extension for AutoRest. Their work involves refactoring, finetuning, and debugging the code generator. Key tasks include enhancing extension loading, template refactoring, and addressing bugs. The user also focused on the overall code structure and configuration.
dotnetautorestcsharpazuredotnet-core
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.