Franck Cassez
Independent Researcher at Remote
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolFranck Cassez is an independent researcher and formal-methods expert based in Sydney, combining decades of academic and industry experience in distributed systems, blockchain, smart contracts, static analysis and real-time program verification. He has led research teams at ConsenSys, NICTA and multiple startups while holding faculty roles including Associate Professor in Software Engineering at Macquarie University, bringing theory-driven verification into production blockchain protocol design. His work spans worst-case execution time analysis for real-time systems to formal specification and verification of consensus protocols, and he actively applies tools like Dafny and Scala to bridge proofs and implementation. Notable for moving between deep academic research (Marie Curie fellowships, CNRS) and applied R&D, he excels at making mission-critical decentralized systems auditable and verifiable.
9 years of coding experience
30 years of employment as a software developer
Baccalaureat Mathematics and Physics, Baccalaureat Mathematics and Physics at Lycée Faidherbe, Lille, FranceHabilitation Computer Science, Habilitation Computer Science at Nantes UniversitéPhD Computer Science, PhD Computer Science at Centrale Nantes
English, French, Spanish, German
Github Skills (60)
spec10
solidity10
verification10
blockchain-network10
blockchain-platform9
dafny9
beacon9
blockchain9
coq9
ethereum9
user-experience9
move9
smart-contracts9
artemis8
formal-verification8
Programming languages (11)
Github contributions (5)
Consensys/deposit-sc-dafny
Jul 2020 - Sep 2021
Deposit smart contract in Dafny
Contributions:455 commits, 4 PRs, 131 pushes in 1 year 2 months
smart-contractethereumdafnycontractblockchain
franck44/evm-dis
Oct 2023 - Dec 2024
An EVM bytecode disassembler/assembler
Contributions:3 releases, 1 review, 26 PRs in 1 year 2 months
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.