I am an assistant professor (maître de conférences) at LACL (UPEC). I teach in the computer science department of IUT Créteil-Vitry.
Contact details
Mailing address:
LACL
Université Paris-Est Créteil
94010 Créteil Cedex
Scientific interests
Realizability, constructive mathematics, type theory, set theory...
Research
Proceedings
- Concurrent Realizability on Conjunctive Structures. Emmanuel Beffara, Félix Castro, Mauricio Guillermo and Étienne Miquey. FSCD 2023.
- An Interpretation of E-HAw inside HAw. Félix Castro. LFMTP 2023.
Preprint
- Implicative Assemblies. Félix Castro, Alexandre Miquel and Krzysztof Worytkiewicz. 2023.
PhD manuscript
- The ramified analytic hierarchy in second-order logic. Félix Castro, directed by Hugo Herbelin and Alexandre Miquel. 2024.