Nicolas Jeannerod

Top

I am:

You may want:

Talks

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates

Jul. 2018
IJCAR'18
Slides
Article

Unix Filesystem and Graph Constraints

Oct. 2017
IRIF's « Journées PPS » Seminar
Slides

A Formally Verified Interpreter for a Shell-like Programming Language

Jul. 2017
VSTTE'17
Slides
Article

A Formally Verified Interpreter for a Shell-like Programming Language

Jul. 2017
Seminar VALS
Slides

Publications

Verification of Shell Scripts Performing File Hierarchy Transformations

Nicolas Jeannerod
Ph.D. Thesis

Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters

Benedikt Becker, Nicolas Jeannerod, Claude Marché and Ralf Treinen
Technical Report
Article

Teaching

Internet et outils (IO2)

Feb. 2020 (36h)
Practical exercises
Université Paris-Diderot, Paris, France
Introduction to web programming in HTML5/CSS/PHP/MySQL/JS for first year students in computing.

Principe de fonctionnement des machines binaires (PF1)

Sept. 2019 (24h)
Written exercises
Université Paris-Diderot, Paris, France
Introduction to binary, circuits and processors for first year students in computing.

Concepts informatiques (CI2)

Feb. 2019 (24h)
Written exercises
Université Paris-Diderot, Paris, France
Introduction to compilation for first year students in computing.

Programmation fonctionnelle (PF5)

Sept. 2018 (36h)
Practical exercises
Université Paris-Diderot, Paris, France
Introduction to functional programming in OCaml for third year students in computing.

Internet et outils (IO2)

Feb. 2018 (48h)
Practical exercises
Université Paris-Diderot, Paris, France
Introduction to web programming in HTML5/CSS/PHP/MySQL/JS for first year students in computing.

Concepts informatiques (CI2)

Feb. 2018 (24h)
Written exercises
Université Paris-Diderot, Paris, France
Introduction to compilation for first year students in computing.

Projet informatique (PI4)

Feb. 2017 (24h)
Tutoring
Université Paris-Diderot, Paris, France
Tutoring of second year students in computing during their programming project.

Introduction à la programmation (IP1)

Sept. 2016 (24h)
Practical exercises
Université Paris-Diderot, Paris, France
Introduction to programming in Java for first year students in computing.