Bram Vandenbogaerde

Doctoral Researcher at Vrije Universiteit Brussel

Antwerp Metropolitan Area Belgium
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
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.
code11 years of coding experience
bookMaster's degree, Computer Science, Graduated with Greatest Distinction 93%, Master's degree, Computer Science, Graduated with Greatest Distinction 93% at Vrije Universiteit Brussel
languagesDutch, English
stackoverflow-logo

Stackoverflow

Stats
175reputation
10kreached
9answers
0questions
github-logo-circle

Github Skills (115)

abstract-syntax-tree10
vim10
collaboration10
sms-gateway10
email-marketing10
mattermost10
zerotier10
golang10
monorepo10
text-editor10
storage10
private-network10
transactional-emails10
scp10
docker10

Programming languages (9)

TypeScriptC++RustSchemeScalaJavaScriptGoSMT

Github contributions (5)

github-logo-circle
bramvdbogaerde/go-scp

Jul 2016 - Dec 2022

Simple Golang scp client
Contributions:6 releases, 9 reviews, 58 commits in 6 years 6 months
golangscp
bramvdbogaerde/scala-am

Sep 2020 - Mar 2025

(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