-
Recherche
- Présentation
- Trimestres et mois thématiques
- Evénements scientifiques
-
Chercheurs invités
- Chercheurs invités 2021
- Chercheurs invités 2022
- Chercheurs invités 2023
-
Post-doctorants Milyon
- Post-doctorants 2022
- Post-doctorants 2023
- Publications
- Prix, honneurs, bourses de recherche
- Portraits de chercheurs
- Formation
- Médiation
- Entreprise
- Appels à candidature
- Contacts
Vous êtes ici : Version française > Présentation > Post-doctorants Milyon
-
Partager cette page
Federico
ASCHIERI
Coordonnées
- Site internet.
- http://dmg.tuwien.ac.at/aschieri/
Thèmes de recherche
Thématique de recherche : logique mathématique
Sujet de recherche : Computational Content of Classical Proofs
Activités / CV
Parcours : doctorat en informatique à l’Université de Turin et à la Queen Mary, University of London (Royaume-Uni) de 2008 à 2010
Post-doctorant (Labex MILYON) à l’Université de Lyon, Laboratoire de l’Informatique du Parallélisme (LIP), équipe Plume (Lyon, France) de 2012 à 2014.
Actuellement à Institute of Discrete Mathematics and Geometry à l’Université technique de Vienne (Autriche)
Publications du MILYON :
- Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 (see below), Federico Aschieri, Margherita Zorzi, A « Game Semantical » Intuitionistic Realizability Validating Markov’s Principle, Post-Proceedings of TYPES 2013, Leibniz International Proceedings in Informatics, vol. 26, 2014
- Federico Aschieri, Interactive Realizability for Second-Order Heyting Arithmetic with EM1 and SK1, Mathematical Structures in Computer Science, vol. 24, n. 6, 2014
- Federico Aschieri, Strong Normalization for HA + EM1 by Non-Deterministic Choice Proceeding of First Workshop on Control Operators and their Semantics 2013 (COS 2013), Electronic Proceedings in Theoretical Computer Science, vol. 127, 2013
- Federico Aschieri, Margherita Zorzi, Non-Determinism, Non-Termination and the Strong Normalization of System T, Proceedings of Typed Lambda Calculi and Applications 2013 (TLCA 2013), Springer Lecture Notes in Computer Science, vol. 7941, 2013
- Federico Aschieri, Stefano Berardi, Giovanni Birolo, Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1, Computer Science Logic 2013 (CSL 2013), Leibniz International Proceedings in Computer Science, vol. 23, 2013
Prépublications MILYON :
- Federico Aschieri, Margherita Zorzi, On Natural Deduction in Classical First-Order Logic: Curry-Howard Correspondence, Strong Normalization and Herbrand’s Theorem, HAL, 2014 (submitted)
- Federico Aschieri, Constructive Forcing, CPS Translations and Witness Extraction in Interactive Realizability, HAL, 2014 (submitted)
Membre du Labex MILYON
du 01/10/2012 au 30/09/2014
Encadrant et laboratoire d’accueil
Alexandre Miquel, Laboratoire de l’Informatique du Parallélisme (LIP), ENS de Lyon