Dre Élodie-Jane Sims Agrégée de mathématiques url: http://www.normalesup.org/~sims Page professionnelle

Expérience professionnelle

• 2015 -- présent : Professeure agrégée de mathématiques à l'Éducation Nationale
• 2010-2012 : Chercheuse au NASA Ames Research Center (USA) dans le Robust Software Engineering Group.
• 2007-2010 : Post-doctorat au département d'informatique de l'École Normale Supérieure
• 2002-2007 : Doctorante à l'École Polytechnique (lauréate d'une bourse BDI du C.N.R.S.)
• 2003-2007 : Assistante de recherche, doctorante à Kansas State University
• 2002-2005 : Enseignante monitrice en informatique à l'École Polytechnique
• 2001 : Assistante de recherche en informatique à Kansas State University

Jury et concours

• Concours de recrutement
  • 2020 : Membre du jury du CAPES NSI
• Concours de classes préparatoires scientifiques
  • 2019-2020 : Correctrice au concours Centrale-Supélec
  • 2018: Jury aux épreuves orales de TIPE au concours de l'ESM Saint Cyr
  • 2017-2018: Correctrice au concours E3A

Formation

• 2020 : MOOC "Machine Learning" by Stanford University on Coursera
• 2015 : (M2) Master de mathématiques mention Formation d'enseignants pour le supérieur de l'École Normale Supérieure de Cachan, mention Bien
  • Admise à l'agrégation externe de mathématiques, option D (informatique)
• 2014 : (M1-M2) Master de mathématiques spécialité Éducation et Formation de l'Université Pierre et Marie Curie (Paris 6), mention Assez bien
  • Admise au CAPES externe de mathématiques
• 2007 : Doctorat en informatique de l'École Polytechnique, sous la direction de Radhia Cousot, mention Très honorable
• 2007 : Ph.D. en informatique de Kansas State University, sous la direction de David Schmidt
• 1999-2002 : (M2) Magistère en informatique au MMFAI à l'École Normale Supérieure, mention Bien
  • 2002 : (M2) DEA de Programmation, Sémantique et Preuves, mention Très bien
  • 2001 : (M1) Maîtrise d'informatique, mention Très bien
  • 2000 : (L3) Licence d'informatique
• 1999 : (L1-L2) Deug MIAS à l'Université Pierre et Marie Curie (Paris 6), mention Très bien

Enseignement

• 2015 - présent : Professeure de mathématiques et informatique à l'Éducation Nationale
  • 2018 - présent : classes préparatoires au lycée Pierre-Gilles de Gennes - ENCPB (Paris)
    • PCSI : Mathématiques et informatique
    • PC et PSI : cours d'informatique de 2019 à 2022
  • 2016-2018 : classes préparatoires au lycée Louis Thuillier (Amiens)
    • PCSI : Mathématiques et informatique, professeure principale
    • MPSI: option informatique et TIPE
  • 2015-2016 : collège-lycée Jacques Decour (Paris)
• 2002-2005 : Enseignante monitrice en informatique à l'École Polytechnique
  Majeure d'informatique (3ème année)
  • Langages de programmation avec Gilles Dowek
  • Programmation en OCaml
  Tronc commun (1ère année)
  • Programmation en Java
• 1998 Sept : Tutorat en mathématiques et physique pour stage de rentrée à l'Université Pierre et Marie Curie (Paris 6)
• 1996-1999 : Cours particuliers de mathématiques à des collégiens et lycéens
• 1997-1999 : Monitrice de voile au Centre nautique des Glénans

Recherche

• Thèmes de recherche
  • Analyse statique de programmes
    • analyses de pointeurs (shape-analysis, alias-analysis, ...)
    • analyses de programmes synchrones de contrôle/commande
  • Interprétation abstraite
  • Separation logic
• Publications
  • Astrée: Nachweis der Abwesenheit von Laufzeitfehlern, D. Kästner, C. Ferdinand, S. Wilhelm, S. Nenova, O. Honcharova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival, É.-J. Sims, Workshop "Entwicklung zuverlässiger Software-Systeme" 2009
  • Pointer Analysis and Separation Logic, Élodie-Jane Sims, dec. 2007, thèse de doctorat (École Polytechnique, France), Ph.D. thesis (Kansas State University, USA).
  • An abstract domain for separation logic formulae, Élodie-Jane Sims, EAAI'06
  • Extending Separation Logic with Fixpoints and Postponed Substitution, Élodie-Jane Sims, TCS 351-2
  • Extending Separation Logic with Fixpoints and Postponed Substitution , Élodie-Jane Sims, AMAST'04 (see TCS's version)
• Présentations
  • 02/06/2010: Pointer analysis and separation logic, Static analysis with ASTRÉE, présentation au NASA Ames Research Center (San Francisco, USA)
  • 07/24/2009: A glimpse of my Ph.D.: pointer analysis and separation logic, présentation à Dagstuhl (G) pour le seminaire 09301
  • 01/12/2007: Soutenance de thèse, à l'École polytechnique (F).
  • 25/10/2007: Ph.D. defense, à Kansas State University (USA).
  • 06/22/2006: An abstract domain for separation logic formulae, présentation à Paris (F) pour le Séminaire au CEA
  • 06/19/2006: An abstract domain for separation logic formulae, présentation à Paris (F) pour le Séminaire Vérification - LIAFA
  • 03/26/2006: An abstract domain for separation logic formulae, présentation à Vienna (AU) pour EAAI'06
  • 11/24/2004: Extending Separation Logic with Fixpoints and Postponed Substitution , présentation à Rennes (F) pour le Séminaire 68SQRT - IRISA
  • 07/16/2004: Extending Separation Logic with Fixpoints and Postponed Substitution, présentation à Stirling (UK) pour AMAST'04
• Divers
  • Participations à des conférences internationales
    • Typing, Analysis and Verification of Heap-Manipulating Programs, Reasoning about Shape
    • EAAI'06, VMCAI'05, AMAST'04, SAS'02 '03 '05, ETAPS'02 '06
  • Reviews pour des conférences internationales (amast, esop, fossacs, pldi, popl, sas, tacas, vmcai, nfm)
  • Membre du comité d'organisation et webmistress de la conférence internationale VMCAI'05.
  • Membre du comité d'organisation du concours de programmation ACM-SWERC'03
  • 2009-2010 : Membre du conseil de laboratoire du LIENS
• 2002-2007 : Ph.D./Doctorat à l'École Polytechnique et à Kansas State University en cotutelle sous la direction de David Schmidt et Radhia Cousot : Analyse statique de pointeurs et separation logic
  • 2003: Cours à Kansas State University dans le cadre du Ph.D. et obtention des prelims
• 2002 Apr-Sept : Analyses statiques de pointeurs et separation logic (Mémoire de DEA )
            Lieu: École Polytechnique (Palaiseau, France)
            Directeur : Radhia Cousot
• 2001 Feb-Aug : Alloy et logiques temporelles - Shape analysis (rapport )
            Lieu: Kansas State University (Manhattan, KS, USA)
            Directeur : David Schmidt
• Stages
  • Été 2000 : Implémentation de mouvements pour robots non holonomes et intégration dans la plateforme de planification de mouvements sans collision Move3D, langage C (rapport)
              Lieu: LAAS (Toulouse, France)
              Directeurs : Florent Lamiraux et Jean-Paul Laumond
  • Été 1999 : Implémentation d'une modélisation de l'atmosphère de Titan, langage Fortran 90
              Lieu: NASA Ames Research Center (San Francisco, USA)
              Directeur : Christopher McKay

Divers

• 2003-2006 : résidente à la Maison Heinrich Heine à la Cité Internationale Universitaire de Paris (tutrice informatique)
• 2000-2003 : Webmistress et membre du Ciné-Club Normale Sup'
• Monitorat fédéral de voile de la FFV, encadrements au Centre nautique des Glénans
• 2010-2012: Membre du club de voile de NASA Ames, participation à diverses régates de la Bay Area
• 2007-2008: Membre du pôle régate du club de voile de l'ENS, participation au Trophée Atlantique 2008
• 1994-1997: Membre de l'orchestre du lycée Claude Monet, sous la direction d'Annick Chartreux
• Permis de conduire B (voiture), Permis Mer (côtier), Attestation de formation aux premiers secours

---

Un MOOC gratuit : Être en responsabilité demain : se forme à l'égalité femmes-hommes
Éduthèque

---

Des idées de développements info et maths pour l'agreg de math option D. (Attention, je suis tombée sur 2 leçons de géométrie, ça arrive !)
Mes fichiers TI-nspire.

---

"Sans optimisme, il n'y aurait pas eu de résistance." Raymond Aubrac
"Entre le hasard et le mystère se glisse l'imagination." Luis Buñuel

---

© Copyrights / Disclaimer