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-Jane
Sims
polytechnique
edu
Last modified:
April 2010
Back