## Alexandre Goy

### MICS, CentraleSupélec

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.

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

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

# 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