Yann Bolliger
Protocol Engineer at delta Network
Bern, Bern, Switzerland
Summary
👤
Senior🎓
Top SchoolYann Bolliger is a protocol engineer based in Bern with eight years of software engineering experience focused on Rust, TypeScript and Scala, and a strong emphasis on functional programming, correctness and clean design. He has moved from full-stack and time-series systems work into protocol and verification roles, including a master’s thesis building a tool to translate Rust IR to the Scala-based Stainless verifier and verifying Tendermint components. Yann has production experience building large-scale time-series storage and real-time Kafka ingestion pipelines, and now applies that systems thinking to protocol engineering at delta Network. Equally at home in low-level verification and high-level product stacks, he brings practical engineering rigor coupled with over a decade of voluntary leadership experience and a communicative, team-oriented style. Notably, his background bridges formal methods and production systems—a rare combo that helps deliver both provable correctness and operational reliability.
8 years of coding experience
8 years of employment as a software developer
Matura Physik und angewandte Mathematik, Matura Physik und angewandte Mathematik at Gymnasium NeufeldMaster of Science - MS Data Science, Master of Science - MS Data Science at EPFLBachelor's degree Computer Science, Bachelor's degree Computer Science at University of Bristol
German, French, English
Stackoverflow
454reputation
9kreached
13answers
3questions
Github Skills (149)
storybook10
cosmos10
date-fns10
x-plane10
hybrid10
javascript10
browser10
react-framework10
leon10
z310
compiler10
smt10
static-site-generator10
typescript10
verification10
Programming languages (12)
Github contributions (5)
yannbolliger/bolliger-io-nextjs
Mar 2019 - Jun 2024
Personal website for the Bolliger family built with nextjs.
Contributions:21 PRs, 85 pushes, 6 branches in 5 years 3 months
reactjsreactnextjstypescript
epfl-lara/rust-stainless
Oct 2020 - Aug 2021
An experimental Rust frontend for Stainless
Contributions:24 reviews, 170 commits, 86 PRs in 10 months
rustfrontendwasmrust-frontend
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.