Vincent Rahli
Senior Lecturer at University of Birmingham
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolVincent Rahli is a Senior Lecturer and researcher with 13 years’ experience specializing in the implementation, specification, and formal verification of fault-tolerant distributed systems. He has a strong academic and research track record spanning Heriot-Watt, Cornell, and the University of Birmingham, with deep expertise in Byzantine Fault-Tolerant protocols and theorem-prover–based verification. His work blends practical programming and verification tool development with formal intuitionistic logic, targeting high-assurance distributed systems increasingly relevant to blockchain and resilient infrastructure. At SnT he translated cutting-edge research into tools for specifying and proving correctness of BFT systems, a thread he continues at Birmingham. Vincent’s profile reflects a rare mix of hands-on tool building and rigorous formal methods, making him effective at turning abstract proofs into verifiable implementations. Based in England, he maintains an accessible personal site showcasing implementations and specifications that bridge theory and practice.
13 years of coding experience
6 years of employment as a software developer
Heriot-Watt University Edinburgh Campus
Github Skills (29)
ordinal10
topological-data-analysis9
sml9
homotopy-type-theory8
logic8
type-theory8
polyhedra8
sat-solver8
refinement8
theory8
agda8
polynomials8
algebra7
discrete-mathematics7
symbolic-computation7
Programming languages (4)
Github contributions (5)
veri-fit/Asphalion
Aug 2019 - Sep 2021
Contributions:2 releases, 17 commits, 9 pushes in 2 years 1 month
vrahli/vrahli.github.io
Apr 2017 - Feb 2025
Contributions:102 pushes, 1 branch in 7 years 11 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.