Bart Westenenk profile

Bart Westenenk

My name is Bart Westenenk, I am a software engineer currently doing a Master’s degree in Computer Science at the University of Twente. I am currently very interested in formal verification of software. Hoping to do my thesis in this area or close to it. For my work I have been doing full stack web development for the past 4 years.

Junior Software Engineer at Booking Experts

Since July 2024.

  • Full-stack Ruby on Rails
  • SQL optimizations
  • Refactoring large parts of existing codebases

Globy

Globy is a small SaaS platform for (sports) associations that want to raise funds by selling items or services. It started when our own Scouting Association needed to digitally transform its yearly fundraiser during Corona. Besides allowing us to keep raising funds, it dramatically reduced waste from leftover oliebollen. We are now helping other associations optimize their fundraising actions too.

  • E-commerce
  • API design
  • Software architecture
  • Frontend and website design
  • Entrepreneurship

See more

  • DutchMother tongue
  • EnglishProfessional experience
  • GermanB2 - VWO
  • IndonesianDuolingo score 27 ;)
  • Cub Scout LeadersScouting Raalte
    Since 2019
  • Team leaderScouting Raalte
    Since 2026
  • Bachelor Technical Computer ScienceUniversiteit Twente
    September 2021 - February 2025
  • Master Computer Science, specialization Software TechnologyUniversiteit Twente
    February 2026 - February 2028
  • Formal verification of Software
  • Mathematics related to logic
  • Model Checking
  • Software compilation and optimization

Get in touch or find me on LinkedIn.

Email: [email protected]

LinkedIn: https://www.linkedin.com/in/bartwestenenk/