Alexandre Miquel is a professor at the IMERL, Universidad de la República, Uruguay.
Alexandre’s research focuses on classical realizability and its connection with Cohen forcing.
Alexandre received his MS and Ph.D. from the École Normale Supérieur de Cachan and the Université Paris Diderot, France.
Talk : Realizability, Thursday Jan 9, 14:30 PM – 16:00 PM
Personal website : https://www.fing.edu.uy/~amiquel/