Willem Vanhulle

Software engineer / scientist

Ghent, Belgium

♡
Rust | Haskell | Julia
Agda | Coq | Lean

I build safe, robust and high-performance software for embedded, back-end, robotics and distributed systems. I am also a passionate teacher and mentor.

In my spare time I organize SysGhent, an open community for systems programmers around Ghent, Belgium and play with micro-controllers.