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

Email: a.f.goy@soton.ac.uk

Address: B32, East Highfield Campus, University Road, SO17 1BJ

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

Back
to top