Peter Zeller
Software Engineer at Giesecke+Devrient
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolPeter Zeller is a software engineer with 12 years of experience specializing in high-availability distributed systems, databases, and formal verification. He built the Scala verification tool Repliss during a PhD stint at TU Kaiserslautern and has applied formal methods (Isabelle) and performance-focused backend engineering to Central Bank Digital Currency work at Giesecke+Devrient. His background spans academic research—where he helped create an automated testing course management system—and industry delivery, including contributions to the Erlang-based distributed database Antidote and practical improvements to the popular LaTeX-Workshop VS Code extension. Based in Munich, he combines rigorous verification thinking with hands-on Go, Java, Spring, and systems design to ship reliable, auditable infrastructure.
12 years of coding experience
2 years of employment as a software developer
Master of Science (M.Sc.), Computer Science, Master of Science (M.Sc.), Computer Science at Technische Universität KaiserslauternAbitur, Abitur at Stefan George Gymnasium Bingen
Stackoverflow
2,285reputation
201kreached
73answers
24questions
Github Skills (20)
javascript10
typescript10
vscode-extension10
latex10
typescript-types10
typescripts10
parser9
pdfjs9
parsing9
parse9
error-handling8
theorem-proving6
html6
go6
isabelle6
Programming languages (17)
Github contributions (5)
James-Yu/LaTeX-Workshop
Jan 2020 - Jan 2022
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:1 review, 5 commits, 1 PR in 2 years
Contributions summary:Peter primarily focused on improving the error handling and diagnostics within the LaTeX Workshop extension. Their contributions included refining the LaTeX log parser to extract more precise error information, including column numbers. Additionally, the user integrated these enhancements to show compiler diagnostics in the editor. They also made changes to the PDF viewer, improving compatibility and addressing potential canvas size limitations, and improved some of the other libraries in the project.
typesettingcompilecolorizelatexboost
peterzeller/go-fun
Dec 2021 - Nov 2022
Utilities and immutable collections for functional programming in Golang. This is an experimental library to play with the new Generics Feature in Go 1.18.
Contributions:4 releases, 56 commits, 6 PRs in 11 months
golangfunctional-programminglensesimmutablegenerics
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.