Doctoral Researcher at Max Planck Institute for Informatics
Saarbrücken, Saarland, Germany
Join Prog.AI to see contacts
Join Prog.AI to see contacts
Summary
🤩
Rockstar
🎓
Top School
Lorenz Leutgeb is a doctoral researcher and seasoned software engineer with 14 years of experience bridging large-scale engineering and formal research. He combines hands-on contributions to deployment tooling (notably adapting travis-ci/dpl for Google App Engine) and cross-project architecture work with deep research in automating logic and static program analysis at the Max Planck Institute for Informatics. Comfortable leading small teams and facilitating collaborative engineering (e.g., mob programming for the NixOS ecosystem), he moves between DevOps, compiler verification, and runtime implementation. His academic path through European computational logic programs and a hands-on background in web back-ends and optimization give him a rare fluency in both theory and production-grade software.
14 years of coding experience
7 years of employment as a software developer
Vienna University of Technology
Master of Science European Master's Program in Computational Logic, Master of Science European Master's Program in Computational Logic at Technische Universität Dresden
Dr. rer. nat. Informatik, Dr. rer. nat. Informatik at Universität des Saarlandes
Information Technology, Information Technology at HTL Wien West
Master of Science European Master's Program in Computational Logic, Master of Science European Master's Program in Computational Logic at Free University of Bozen-Bolzano
Dpl (dee-pee-ell) is a deploy tool made for continuous deployment.
Role in this project:
DevOps Engineer & Cloud Engineer
Contributions:6 commits, 8 PRs, 37 comments in 3 months
Contributions summary:Lorenz focused on adapting the `dpl` tool to deploy applications to Google App Engine (GAE). They implemented the necessary dependencies for GAE deployment, including installing and bootstrapping the Google Cloud SDK. Furthermore, the user made adjustments to the deployment process to align with changes in the gcloud command-line tool, like handling deprecation and new features, specifically managing the --promote and no-promote options. This involved modifying build and deployment configurations.
Contributions:177 commits, 93 PRs, 231 pushes in 9 months
api
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
Lorenz Leutgeb - Doctoral Researcher at Max Planck Institute for Informatics