About Me

Welcome to my academic page!

Since January 2023, I am a Research Fellow in Automated Verification in University of Southampton, UK, within the COVER project of Corina Cîrstea.

Previously, I worked as a postdoc with Matteo Mio in the PLUME team of the LIP laboratory, at ENS Lyon, France.

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.

Interests

  • Theoretical Computer Science
  • Logic
  • Category Theory
  • Coalgebra
  • Probability Theory

Education

  • PhD in Theoretical Computer Science, 2021

    CentraleSupélec

  • MSc in Engineering, 2018

    CentraleSupélec

  • MSc in Mathematical Logic and Foundations of Computer Science, 2017

    Université Paris-Diderot

Publications

Alexandre Goy (2022). Weakening and Iterating Laws using String Diagrams. Mathematical Foundations of Programming Semantics.

PDF

Alexandre Goy (2021). On the Compositionality of Monads via Weak Distributive Laws. PhD Thesis.

PDF

Alexandre Goy, Daniela Petrişan, Marc Aiguier (2021). Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. International Colloquium on Automata, Languages and Programming.

PDF

Alexandre Goy, Daniela Petrişan (2020). Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws. Logic in Computer Science.

PDF

Alexandre Goy, Marc Aiguier, Isabelle Bloch (2019). From Structuring Elements to Structuring Neighborhood Systems. Mathematical Morphology and Its Applications to Signal and Image Processing.

PDF

Alexandre Goy, Jurriaan Rot (2018). (In)finite Trace Equivalence of Probabilistic Transition Systems. Coalgebraic Methods in Computer Science.

PDF

Alexandre Goy (2017). Trace Semantics via Determinization for Probabilistic Transition Systems. Master’s Thesis.

PDF

Contact

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.

  • B32, East Highfield Campus, University Road
    SO17 1BJ Southampton