Hi! 👋

I am Guillaume Chirache, a computer science student currently pursuing my master’s degree (Master parisien de recherche en informatique, M2 MPRI) in Paris. This year also corresponds to the fourth year of my studies in the Cycle ingénieur program at École polytechnique.

I am primarily interested in areas at the intersection of mathematics and computer science, namely (post-quantum) cryptography, formal verification, programming languages, and computability.

You are welcome to contact me at [first]@[last].fr (you can use my PGP key).