Yann RADENAC

En résumé

Entreprises

• Irisa, Rennes - Ingénieur de recherche

  2013 - 2013 * Extension du système de cloud ConPaaS avec la migration de services ( www.conpaas.eu )
  * Direction du développement logiciel de ConPaaS (Python).

• INRIA - Ingénieur expert

  Le Chesnay 2010 - 2013 * Exécution efficace d'applications distribuées adaptables et implémentation dans le système grille XtreemOS
  * Direction du développement logiciel de XtreemOS ( www.xtreemos.eu ) (Java)
  * Co-encadrement de deux jeunes ingénieurs et d'un stage de master.

• Institute of Computing Technology (ICT), Pékin, Chine - Post-doctorant

  2007 - 2008 Comparaison formelle entre un modèle de programmation développé à l'ICT et mon travail de thèse de doctorat.

• Université de Rennes 1 - Attaché Temporaire à l'Enseignement et à la Recherche (ATER)

  2006 - 2007 Enseignements : systèmes d'exploitation, conception objet, design patterns, complexité algorithmique.

Formations

• Université Rennes 1

  Rennes 2003 - 2007 Doctorat mention informatique
  
  * Passage à l'ordre supérieur d'un modèle de programmation dit « chimique »
  * Spécification de la coordination de systèmes auto-organisant dans ce modèle
  * Publications et présentations dans plusieurs conférences internationales et dans deux journaux scientifiques.

Réseau

Pas de contact professionnel