Willem Vanhulle

Software engineer / scientist

Ghent, Belgium

Rust | Agda | Coq | Haskell

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.