Doctor Alexandre Goy

Dr Alexandre Goy

Research Fellow in Automated Verificatn

Research interests

  • Theoretical Computer Science
  • Logic
  • Category Theory

More research

Connect with Alexandre

About

Since January 2023, I am a Research Fellow in the University of 网络彩票APP下载_澳客彩票网-官方游戏, 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