Login
From:
Cryspen
(Uncensored)
subscribe
Cryspen Welcomes Maxime
https://cryspen.com/post/welcome_maxime/
links
backlinks
Roast topics
Find topics
Find it!
We’re thrilled to announce that Maxime Buyse has joined the Cryspen team as a Formal Verification Engineer! 🎉 Maxime is a whiz when it comes to formal methods, software verification, compilers, and functional programming.
