Guillaume is a software engineer. He is interested in compilers, programming languages, and formal methods. He enjoys working on challenging problems that require a deep understanding of both theory and practice. He likes to learn new things and share his knowledge with others. He is always looking for new opportunities to grow and contribute to the field of computer science.