Arthur Gontier (Preferred)
Arthur Gontier
Postdoc, University of Glasgow
- Joined December 2024
Names
Emails
****@glasgow.ac.uk (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Postdoc
University of Glasgow (glasgow.ac.uk)
2024 – 2025
PhD student
Université Rennes I (univ-rennes1.fr)
2020 – 2023
MS student
Université de Nantes (univ-nantes.fr)
2018 – 2020
MS student
Université Libre de Bruxelles (ulb.ac.be)
2019 – 2019
Undergrad student
Université de Nantes (univ-nantes.fr)
2015 – 2018
Advisors, Relations & Conflicts
Expertise
constraint programming, proof logging, explanations
2024 – 2025
symmetric cryptography, linear programming
2020 – 2023