Skip to main content
Doctor Alexandre Goy

Dr Alexandre Goy

Research Fellow in Automated Verificatn

Research interests

  • Theoretical Computer Science
  • Logic
  • Category Theory

More research

About

Since January 2023, I am a Research Fellow in the 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.

See my website: agoy.fr