Samuel Chassot
PHD Candidate
Lausanne, Vaud, Switzerland
Summary
👤
Senior🎓
Top SchoolSamuel Chassot is a PhD candidate in Computer Science at EPFL with a decade of engineering experience focused on software verification and automated reasoning. Currently an applied scientist intern at AWS in Austin, he contributes to the Dafny verifier and the Strata static analysis framework, blending research-grade formal methods with practical tooling. His background spans research engineering, teaching assistantships in software engineering and computer architecture, and industry roles delivering production .NET and Android systems. Fluent in moving between rigorous proofs and pragmatic software development, he brings both strong academic credentials and hands-on implementation experience—often surfacing in his public repositories and academic publications.
10 years of coding experience
6 years of employment as a software developer
Baccalauréat, Physique / Maths appliqués, Baccalauréat, Physique / Maths appliqués at Collège du SudMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at Ecole polytechnique fédérale de Lausanne
Github Skills (91)
verilog10
simulator10
digital-logic10
vhdl10
object-oriented-programming10
timing-diagram10
leon10
z310
fpga10
smt10
logic10
jvm-languages10
tlaplus10
extension-functions10
verification10
Programming languages (8)
Github contributions (5)
dslab-epfl/svshi
Nov 2021 - Sep 2022
Formal verification for smart infrastructure (buildings, cities, etc.)
Contributions:4 releases, 1 review, 438 commits in 10 months
securityinfrastructureformal-verificationformalverification
samuelchassot/bolts
Apr 2021 - Apr 2025
Bolts: Stainless Verified Scala Examples
Contributions:4 PRs, 517 pushes, 91 branches in 4 years
scalaverifiedboltsdotty
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.