Welcome to my academic page!
Even before that, I was a PhD student in the LogiMICS team of the MICS laboratory, at CentraleSupélec, France. My amazing supervisors were Daniela Petrişan and Marc Aiguier. My research there focused on weak distributive laws and their application to computer science, e.g. automata. I successfully defended my PhD thesis on Tuesday 19 October 2021. You can download the manuscript and the slides.
PhD in Theoretical Computer Science, 2021
MSc in Engineering, 2018
MSc in Mathematical Logic and Foundations of Computer Science, 2017
You can contact me by email at $\lambda w \lambda x \lambda y \lambda z(w.x @ y.z)$ alexandre goy pm me
If you do not know $\lambda$-calculus, you can also contact me via the following form.