Bram Vandenbogaerde is a doctoral researcher in computer science at Vrije Universiteit Brussel with 11 years of practical and teaching experience, funded by Research Foundation Flanders for work on modular static analysis and soft contract verification for distributed programs. He combines rigorous academic training—Master's with greatest distinction—with hands-on Python instruction and tutoring in numerical libraries like NumPy, bringing both pedagogical clarity and research depth. His research focuses on making contract-based guarantees scalable across distributed code, blending program analysis theory with pragmatic tooling goals. Based in the Antwerp metro area, he has a track record of translating complex formal methods into teachable concepts and reusable software artifacts.
11 years of coding experience
Master's degree, Computer Science, Graduated with Greatest Distinction 93%, Master's degree, Computer Science, Graduated with Greatest Distinction 93% at Vrije Universiteit Brussel
(Abstract) Abstract Machine Experiments using Scala
Contributions:40 pushes, 2 branches in 4 years 7 months
scaladotty
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.
Request Free Trial
Bram Vandenbogaerde - Doctoral Researcher at Vrije Universiteit Brussel