Élodie-Jane Sims, Ph.D. url: http://www.normalesup.org/~sims

Professional Experience

• 2015 -- current : Mathematics and Computer Science teacher for the french government
• 2010-2012 : Research scientist at NASA Ames Research Center in Mountain View, California (USA), in the Robust Software Engineering Group.
• 2007-2010 : Post-doc at the computer science department of École Normale Supérieure
• 2002-2007 : Graduate research assistant at École Polytechnique (Ph.D. fellowship from C.N.R.S.)
• 2003-2007 : Graduate research assistant at Kansas State University
• 2002-2005 : Teaching assistant in computer science at École Polytechnique
• 2001-2001 : Research assistant in computer science at Kansas State University

Education

• 2015 : Master's degree in mathematics, teaching major, École Normale Supérieure de Cachan, grade A
  • Passed the french civil servant contest "agrégation externe de mathématiques"
• 2014 : Master's degree in mathematics, teaching major, Université Pierre et Marie Curie (Paris 6)
  • Passed the french civil servant contest "CAPES externe de mathématiques"
• 2007 : Ph.D., Computer Science, Kansas State University
• 2007 : Ph.D., Computer Science, École Polytechnique
• 1999-2002 : (M.S.) MMFAI, École Normale Supérieure, Paris, France
  • 2002 : M.S., Computer Science, grade A
  • 2001 : Graduation, Computer Science, grade A
• 1999 : B.S., Math-Computer Science, University Pierre et Marie Curie (Paris VI), grade A
• MOOC
  • 2020: "Machine Learning" by Stanford University on Coursera

Teaching

• 2015 - current : Mathematics and Computer Science teacher for the french government
• 2002-2005 : Teaching assistant in computer science at École Polytechnique
  • Programing languages with Gilles Dowek
  • Programing in OCaml
  • Programing in Java
• 1998 Sept : Teaching assistant in mathematics and physics at the Université Pierre et Marie Curie (Paris 6)
• 1996-1999: Private lessons of mathematics to middle and high school students
• 1997-1999: Sailing instructor at the Association des Glénans

Research

• Research interests
  • Static analysis of programs
    • pointer analysis (shape-analysis, alias-analysis, ...)
    • synchronous control/command programs
  • Abstract interpretation
  • 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)
• Talks
  • 02/06/2010: Pointer analysis and separation logic, Static analysis with ASTRÉE, talk at NASA Ames Research Center (San Francisco, USA)
  • 07/24/2009: A glimpse of my Ph.D.: pointer analysis and separation logic, talk at Dagstuhl (G) for the seminar 09301
  • 01/12/2007: Soutenance de thèse, at École polytechnique (F).
  • 25/10/2007: Ph.D. defense, at Kansas State University (USA).
  • 06/22/2006: An abstract domain for separation logic formulae, talk at Paris (F) for Séminaire au CEA
  • 06/19/2006: An abstract domain for separation logic formulae, talk at Paris (F) for Séminaire Vérification - LIAFA
  • 03/26/2006: An abstract domain for separation logic formulae, talk at Vienna (AU) for EAAI'06
  • 11/24/2004: Extending Separation Logic with Fixpoints and Postponed Substitution , talk at Rennes (F) for Séminaire 68SQRT - IRISA
  • 07/16/2004: Extending Separation Logic with Fixpoints and Postponed Substitution , talk at Stirling (UK) for AMAST'04
• Miscellanenous
  • Participation to international conferences
    • 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 for international conferences (amast, esop, fossacs, pldi, popl, sas, tacas, vmcai, nfm)
  • Member of the organising committee and webmistress of the international conference VMCAI'05.
  • Member of the organizing committee of the ACM-SWERC'03 Programming Contest
• 2002-2007 : Ph.D. at École Polytechnique and Kansas State University. Advisors: David Schmidt et Radhia. Cousot. Pointer Analysis and Separation Logic
  • 2003: taking courses at Kansas State University and passing the prelims
• 2002 Apr-Sept : Pointers static analysis and BI-logic (Master's dissertation)
            Location: École Polytechnique (Palaiseau, France)
            Advisor : Radhia Cousot
• 2001 Feb-Aug : Alloy and temporal logics - Shape analysis (report)
            Location: Kansas State University (Manhattan, KS, USA)
            Advisor : David Schmidt
• Internships
  • Summer 2000 : Implementation of path for non holonome robots and integration into the generic platform for path planification Move3D, C language (report )
              Location: LAAS (Toulouse, France)
              Advisors : Florent Lamiraux and Jean-Paul Laumond
  • Summer 1999 : Implementation of a modelisation of Titan's atmosphere, Fortran 90 language
              Location: NASA Ames Research Center (San Francisco, USA)
              Advisor : Christopher McKay

Miscellaneous

• 2003-2006 : resident of the Maison Heinrich Heine at the Cité Internationale Universitaire de Paris (computer tutor)
• 2000-2003 : Webmistress and member of the Ciné-Club Normale Sup' (movies's student association)
• French Federal Diploma for Sailing Instructor. Instructor at the Association des Glénans
• 2010-2012: Member of NASA Ames sailing club, various regata in the Bay Area
• 2007-2008: Member of ENS's yacht-racing club, participation to the Trophée Atlantique 2008

---

© Copyrights / Disclaimer