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

Feature Constraints to Modelise Unix Filesystems

Feb. 2018
IRIF's PhD Seminar
Slides

Unix Filesystem and Graph Constraints

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

Formalising an Intermediate Language for POSIX Shell

Sept. 2017
Seminar Gallium
with Yann Régis-Gianas
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

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.