Christoph Amrein
Senior Software Engineer at Google
Dublin, Ireland
Summary
🤩
Rockstar🎓
Top SchoolChristoph Amrein is a Senior Software Engineer and architect with nine years of industry experience, currently at Google after two impactful years at AWS focused on concurrency, compilers and developer tooling. He holds a Master’s in Computer Science and has a strong track record in banking and higher education research, combining practical production work with formal-methods contributions. Christoph contributes to notable open-source projects such as the Dafny verifier—enhancing its language server, LSP support and cross-platform testing—which reflects his interest in verification-aware languages and tooling. He excels in parallel programming, distributed systems, and compiler construction, and brings a pragmatic research mindset to building reliable, scalable developer-facing systems. An unassuming detail: he moved from apprenticeship at UBS to senior engineering and research roles, showing a steady trajectory from hands-on implementation to shaping language and tooling infrastructure.
9 years of coding experience
14 years of employment as a software developer
Master of Science FHO in Engineering Information and Communication Technologies, Master of Science FHO in Engineering Information and Communication Technologies at HSR Hochschule für Technik Rapperswil
Github Skills (13)
programming-language10
language-server10
verification10
language-server-protocol10
dafny10
csharp9
dotnet-core9
integration-testing9
githubaction-workflow9
github-ci9
test-integration9
serilog7
omnisharp7
Programming languages (2)
Github contributions (5)
dafny-lang/dafny
Apr 2021 - Jul 2022
Dafny is a verification-aware programming language
Role in this project:
Back-end Developer & Automation Engineer
Back-end Developer & Automation EngineerContributions:142 reviews, 35 commits, 21 PRs in 1 year 3 months
Contributions summary:Christoph's primary focus was on enhancing the Dafny Language Server. They implemented new features like support for print statements and nested match expressions, and expanded language server capabilities by including decreases support and resolving symbols. Furthermore, the user upgraded the LSP implementation and logging dependencies. The user also contributed to the build and integration tests, including fix for windows paths, and addressed testing scenarios related to document loading and verification timeouts.
compilerdafnyprogramming-languageverification
dafny-lang/language-server-csharp
Sep 2020 - Apr 2021
Dafny Language Server implementation in C#
Contributions:3 releases, 450 commits, 68 PRs in 7 months
dafnylsplanguage-serverlanguage-server-protocol
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.