Courses taken (after bachelor's degree)

• KSU

  Summer 2003
  • Advanced Type Systems
  Spring 03
  • Software Specifications
  • Programming Language Design
  • Data Bases
  • Theory of Programming Languages
  Spring 2001
  • Software Specifications
  • Foundations of Abstract Interpretation with Applications to Finite-state Verification

• Master

  Second trimester (Jan 02 - Mar 02)
  • Static analysis by abstract interpretation (B. Blanchet et L. Mauborgne)
  • Foundation of abstract interpretation (P. Cousot)
  • Geometrical semantics (É. Goubault) and probabilistic semantics (D. Monniaux)
  • Syncronous languages (M. Pouzet)
  • Temporal logic and automatons (H. Comon)
  • Verification of infinite systems (A. Bouajjani)
  • Linear logic (R. DiCosmo)
  First trimester (Oct 01 - Dec 02)
  • Terms in first order logic (J.-P. Jouannaud)
  • Lambda-calculus (J.-J. Lévy)
  • Proofs (preuves constructives?) (B. Werner)
  • Semantics (M. Fernandez)
  • Typing and programming (X. Leroy)

• MMFAI

  Second year (Sept 00 - Jan 01)
  • Path planing in robotics and graphics animation (J.-P. Laumond, F. Lamiraux)
  • Lambda-calculus and domains (P.-L. Curien)
  • Hard ware realisation (J. Vuillemin, M. Shand)
  First year (Sep 99 - Jun 00)
  • Semantics (course et TD : P. Cousot)
  • Formal languages (cours : P. Gastin, TD : M. Fernandez)
  • Databases (cours : N. Spyratos, TD : E. Waller)
  • Programming Languages and Compiler Construction (cours : P. Cousot, TD : L. Mauborgne)
    
  • Algorithmics (basic knowledges : sort, trees, graphs...) (cours : J. Stern, TD : L. Granboulan et L. Mauborgne)
  • Theory of Information technics (in fact it is an hardware oriented course) (J. Vuillemin)
    (Project written in Jazz : simulation of a microprocessor )
  • Logic (first order logic) (A. Louveau)

---

Classes projects and presentations

• KSU

  • 890 : presentation of the chapter on recursives types
  • 705 (typing) : project assignment 3
  • 705 (typing) : project assignment 2 other version
  • 705 (typing) : project assignment 2
  • 705 (typing) : project assignment 1

• Master

  • Presentation for the class on geometric semantics
  • Presentation for the class on synchronous languages
  • Presentation for the class on verification of infinite systems
  • Presentation for the class on abstract interpretation

• MMFAI

  • Presentation of an article for the robotics exam: (télécharger) : report , slides
  • Presentation for my master's intership in format ppt
  • Project of a micro-processor
  • Compilator for a stongly typed language (pretty simple
  • Presentation for the semantics class based on an article of John McCarthy and James Painter (download)
  • Presentation of an article for the data bases class on an article from Mark Levene and Georges Loizou (download) : report , slides
  • A library written in O2 for the data bases exam

---

Contact: Elodie-JaneSimspolytechniqueedu Last modified: April 2010

Back