Postdocs 2012


Federico-ASCHIERIMember of the Labex MILYON from 01/10/2012 to 30/09/2014

Hosts: Alexandre Miquel, Laboratoire de l’Informatique du Parallélisme (LIP), ENS de Lyon

Course: PhD in computer science at the University of Turin and Queen Mary, University of London (UK) from 2008 to 2010.

Post-doctoral student (Labex MILYON) at the University of Lyon, Laboratory of Informatics of Parallelism (LIP), team Plume (Lyon, France) from 2012 to 2014.

Currently at Institute of Discrete Mathematics and Geometry at the Technical University of Vienna (Austria).

Areas of research: mathematical logic. Computational Content of Classical Proofs


  • 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

MILYON Prepublications:

  • 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)

Personal webpage



Jonathan-Rouzaud-CornabasMember of the Labex MILYON from 19/09/2011 to 18/09/2012

Hosts: Frédéric Desprez, Laboratoire de l’Informatique du Parallélisme (LIP), ENS de Lyon 

Previously: PhD at the University of Orléans (France) from 2007 to 2010

Temporary teaching and research assistant (ATER) at ENSI (Ecole Nationale Supérieure d’Ingénieurs de Bourges) in 2010-2011.

Post-doctoral (Labex MILYON) at the University of Lyon, Laboratory of Informatics of Parallelism (LIP), ENS of Lyon, in 2011-2012.

Currently working as a Lecturer at INSA Lyon, Beagle Team LIRIS-Inria (France).

Areas of research: allocation of resources in large-scale systems, the security of these systems. Algorithm for the allocation of resources for Cloud with consideration of isolation objectives.


  • Eddy Caron, Frédéric Desprez, and Jonathan Rouzaud-Cornabas. « Smart resource allocation to improve cloud security ». In Surya Nepal and Mukaddim Pathan, editors, Security, Privacy and Trust in Cloud Systems, pages 103–143. Springer Berlin Heidelberg, 2014
  • Eddy Caron, Jonathan Rouzaud-Cornabas. « Improving Users’ Isolation in IaaS: Virtual Machine Placement with Security Constraints ». IEEE CLOUD 2014: 64-7
  • Stéphane Betgé-Brezetz, Aline Bousquet, Jérémy Briffaut, Eddy Caron, Laurent Clevy, Marie-Pascale Dupont, Guy-Bertrand Kamga, Jean-Marc Lambert, Arnaud Lefray, Bertrand Marquet, Jonathan Rouzaud-Cornabas, Lamiel Toch, Christian Toinard, Benjamin Venelle. « Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures ». Future Internet Assembly 2013: 153-158

Personal webpage


Riccardo BRASCA

Riccardo-BrascaMember of the Labex MILYON from 01/10/2012 to 31/08/2013

Hosts: Vincent Pilloni, Unité de mathématiques pures et appliquées (UMPA), ENS de Lyon

Previously: PhD at Universita degli studi di Milano (Italy) from 2008 to 2011.

Max Planck Institute for Mathematics, Bonn (Germany) from April 2012 to September 2012.

Post-doctoral (Labex MILYON) at the University of Lyon, Unit of pure and applied mathematics (UMPA), ENS of Lyon, from 2012 to 2013.

Currently Lecturer at the Mathematics Institute of Jussieu-Paris (France).

Areas of research: arithmetic geometry. P-adic modular forms for PEL type Shimura varieties

Personal webpage