Alexandre Goy

Alexandre Goy

PhD Student

MICS, CentraleSupélec

About Me

Welcome on my academic page!

I am a PhD student in the LogiMICS team of laboratory MICS, at CentraleSupélec, France. My supervisors are Daniela Petrişan and Marc Aiguier. My research focuses on weak distributive laws and their application to computer science, e.g. automata.

Interests

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

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

(2020). Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws. Logic in Computer Science.

PDF

(2019). From Structuring Elements to Structuring Neighborhood Systems. Mathematical Morphology and Its Applications to Signal and Image Processing.

PDF

(2018). (In)finite Trace Equivalence of Probabilistic Transition Systems. Coalgebraic Methods in Computer Science.

PDF

Contact

You can contact me by mail at $\lambda w \lambda x \lambda y \lambda z(w.x @ y.z)$ alexandre goy centralesupelec fr
If you do not know $\lambda$-calculus, you can also contact me via the following form.

  • 9 rue Joliot Curie
    91190 Gif-sur-Yvette