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 (130)
notion10
date-fns10
validity10
hybrid10
markdown10
browser10
react-framework10
z310
compiler10
smt10
cli10
static-site-generator10
verification10
ssg10
nodejs10
Programming languages (15)
Github contributions (5)
epfl-lara/rust-stainless
Oct 2020 - Aug 2021
An experimental Rust frontend for Stainless
Contributions:24 reviews, 170 commits, 86 PRs in 10 months
frontendrust
who-owns-lausanne/who-owns-lausanne
Nov 2018 - Dec 2018
The project is the main grading item of the course.
Contributions:39 commits, 25 pushes in 1 month
javascriptitemgrading
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.