That, and the main author of CompCert [1], as well as (apparently) the author of the original threading support in the Linux kernel [2].

[1]: https://en.wikipedia.org/wiki/CompCert

[2]: https://en.wikipedia.org/wiki/Xavier_Leroy