Suggestions
Xavier Denis
Formal Verification of Rust
Xavier Denis is a former software engineer who worked as a Production Engineer at Shopify.12 He studied computer science at McGill University, where he helped organize McGill's first major hackathon called McHacks in 2014.1
After graduating from McGill, Xavier joined Shopify's Production Engineering team.1 During his time at Shopify, he likely contributed to the company's engineering efforts and infrastructure.
Xavier appears to have a background in complex systems and research. His LinkedIn profile indicates that he later pursued further education at ETH Zürich and Université Paris-Saclay.2 His interests include evolving complex systems.
While at Shopify, Xavier gained insights into tech company culture and workplace dynamics. In a conversation with Wendy Liu, he discussed topics like tech company perks, loyalty, and the potential for worker organization in the tech industry.1
It's worth noting that Xavier has since left his position at Shopify.1 The exact timeline of his departure and subsequent career moves are not clearly specified in the available information.
