Federico
ASCHIERI

Coordonnées

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)