Login
From:
Cryspen
(Uncensored)
subscribe
Cryspen Welcomes Maxime
https://cryspen.com/post/welcome_maxime/
links
backlinks
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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!