Les post-doctorants en 2011 et 2012

En 2011

Jonathan ROUZAUD CORNABAS

Jonathan-Rouzaud-CornabasPage personnelle

Membre du Labex MILYON du 19/09/2011 au 18/09/2012 (1 an)

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

Parcours : doctorat à l’Université d’Orléans (France) de 2007 à 2010

Attaché temporaire d’enseignement et de recherche (ATER) à l’ENSI (Ecole nationale supérieure d’ingénieurs de Bourges) en 2010-2011.

Post-doctorant (Labex MILYON) à l’Université de Lyon, Laboratoire de l’Informatique du Parallélisme (LIP), ENS de Lyon, en 2011-2012.

Actuellement en poste en tant que Maître de Conférences à INSA de Lyon, Equipe Beagle LIRIS-Inria (France).

Thématiques de recherche : allocation de ressources dans les systèmes à large échelle, la sécurité de ces systèmes.

Sujet de recherche : algorithme d’allocation de ressources pour Cloud avec prise en compte d’objectifs d’isolation.

Publications issues de la collaboration :

  • 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

 

En 2012

Federico ASCHIERI

Federico-ASCHIERIPage personnelle

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

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)

Thématique de recherche : logique mathématique

Sujet de recherche : Computational Content of Classical Proofs

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)

 

Riccardo BRASCA

Riccardo-BrascaPage personnelle

Membre du Labex MILYON du 01/10/2012 au 31/08/2013

Encadrant et laboratoire d’accueil : Vincent Pilloni, Unité de mathématiques pures et appliquées (UMPA), ENS de Lyon

Parcours : doctorat à Universita degli studi di Milano, Milan (Italie) de 2008 à 2011

Max Planck Institute for Mathematics, Bonn (Alemagne) d’avril 2012 à septembre 2012

Post-doctorant (Labex MILYON) à l’Université de Lyon, Unité de mathématiques pures et appliquées (UMPA), ENS de Lyon, de 2012 à 2013.

Actuellement Maître de Conférences à l’Institut de Mathématiques de Jussieu-Paris (France)

Thématique de recherche : géométrie arithmétique

Sujet de recherche : formes modulaires p-adiques pour variétés de Shimura de type PEL

 

Autres post-doctorants soutenus partiellement par MILYON

 

Cristóbal Rivas Espinosa

Soutenu dans le cadre de son post-doctorat à l’UMPA, l’ENS de Lyon de 2011 à 2013.

Page personnelle

 

Juan-Juan CAI

Soutenue dans le cadre de son post-doctorat à l’ICJ, University Claude Bernard Lyon 1 de septembre 2012 à janvier 2013.

Page personnelle