Here are a few ways to contact me and/or follow my activities:
- Email
You can send me emails at guillaume [dot] bury [arobase] gmail.com
- Github
I'm active on a few projects on github. They are mainly projects related to ocaml or automated deduction. You can check out my profile.