T Kerckhove

Zurich, Zurich, Switzerland

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

T Kerckhove is a Zurich-based software engineer and technology leader with 12 years of experience building robust systems and leading engineering teams across startups and research institutions. He combines deep functional-programming expertise—demonstrated by notable contributions to the Glasgow Haskell Compiler and the widely used Stack tool—with hands-on leadership roles including CTO and Director of Technology positions. His work improving network resilience, error reporting, and precise timing tests shows a practical focus on reliability and observability in distributed and low-level systems. Educated at KU Leuven and ETH Zurich, he blends academic rigor with production experience from internships at Google and Facebook. Known on GitHub as a “Professional Weirdo,” he brings a curious, methodical approach to hard engineering problems and open-source collaboration.

13 years of coding experience

6 years of employment as a software developer

Bachelor’s Degree, Informatics, focus: mathematics, Cum Laude, Bachelor’s Degree, Informatics, focus: mathematics, Cum Laude at KU Leuven

Swiss-European Mobility Programme (former Erasmus) during Masters degree, Program analysis and verification, Swiss-European Mobility Programme (former Erasmus) during Masters degree, Program analysis and verification at Eidgenössische Technische Hochschule Zürich

English, Dutch, French, German

Github Skills (10)

system-testing10

haskell10

ghc10

testing10

pipe9

stacker9

socket9

stack9

functional-programming8

documentation8

Programming languages (23)

CSSC++RustCTeXMakefilePLpgSQLGo

Github contributions (5)

commercialhaskell/stack

Oct 2017 - May 2022

The Haskell Tool Stack

Role in this project:

Backend Developer

Contributions:4 reviews, 12 commits, 6 PRs in 4 years 7 months

Contributions summary:T primarily focused on improving network request handling and error reporting within the Haskell Tool Stack. They implemented retry mechanisms with exponential backoff for network downloads, improving robustness. Further contributions included refactoring and using Stack.PrettyPrint for more informative error messages and warnings. The user also updated and enhanced existing test suites.

haskell

ghc/ghc

Oct 2017 - Mar 2021

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Role in this project:

QA Engineer / Test Automation Engineer

Contributions:7 commits in 3 years 5 months

Contributions summary:T contributed significantly to the testing infrastructure of the Glasgow Haskell Compiler. Their commits focused on creating and refining tests to ensure the accuracy of specific functionalities, particularly related to time-based operations such as timeouts and waiting for input. They wrote tests that used both sockets and pipes, and added checks for the precise timing of operations. The user also updated documentation to clarify the return value of certain functions.

compilerghcgitlabhaskell

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