Skip to content
View tiptenbrink's full-sized avatar
4 followers · 2 following
  • Leiden
  • 18:45 (UTC +02:00)

Achievements

Achievement: Pull Sharkx3Achievement: Public SponsorAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Public SponsorAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Block or report tiptenbrink

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
tiptenbrink/README.md

Hi, I'm Tip ten Brink.

I am a C++ Software Engineer at Zenz Technologies, where I help develop the C++ web backend and data querying pipeline, as well as the supporting infrastructure.

I have a MSc in Computer Science at the TU Delft, as well as BSc in Applied Mathematics and a BSc in Applied Physics. I'm interested in building fast and reliable systems, mathematical optimization and formal verification. I also like building useful applications. My MSc project involved helping write and formally verify a proof checker for the Pumpkin Constraint Programming solver.

Pinned Loading

  1. DSAV-Dodeka/dodeka DSAV-Dodeka/dodeka Public

    Backend and deployment repository for Dodeka

    Python

  2. freetser freetser Public

    Minimal free-threaded HTTP/1.1 server with built-in storage layer built on h11

    Python

  3. tiauth-faroe tiauth-faroe Public

    Opinionated distribution of the Faroe auth server

    Python