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 : Set Theory vs. Type Theory, Thursday Jan 9, 14:30 – 16:00
Personal website : https://www.fing.edu.uy/~amiquel/