Johannes Leupolz

Managing Enterprise Architect at Capgemini

Greater Munich Metropolitan Area Germany
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Johannes Leupolz is a Managing Enterprise Architect with 11 years of experience aligning IT strategy, portfolio and delivery across banking and consulting environments. He combines hands-on expertise in enterprise and cloud data architectures—data warehousing, modeling, Spark-based integration—and API and software architecture in Java, Python and .NET with leadership of architecture, BI and development teams. Johannes drives request, change and release management end-to-end and routinely operates as architect and business analyst to translate regulatory and finance requirements into auditable target architectures. His background in formal methods and model-based safety analysis, developed during research at the University of Augsburg, informs a disciplined approach to system design and risk. Based in the Greater Munich area, he brings both consulting breadth from Capgemini and industry depth from Augsburger Aktienbank, balancing technical depth with operational governance.
code11 years of coding experience
job11 years of employment as a software developer
bookInformatik, Informatik at Utrecht University
bookDiplom Informatik, Diplom Informatik at University of Augsburg
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (25)

tla10
static-analysis10
formal-methods10
verification10
dotnet10
security10
safety-critical10
formal-verification10
conventions10
csharp10
modeling10
java8
openhab7
iot5
generator4

Programming languages (3)

PowerShellC#Java

Github contributions (5)

github-logo-circle
joleuger/pemc

Sep 2018 - Jun 2024

Contributions:81 pushes, 1 branch in 5 years 10 months
isse-augsburg/ssharp

Nov 2015 - Nov 2018

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.
Contributions:654 commits, 2 PRs, 343 pushes in 3 years
tlaformal-verificationsafetyconventionscritical
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
Johannes Leupolz - Managing Enterprise Architect at Capgemini