Teaching

(back)

Lectures at MPRI:

2016: course on Weak memory concurrency (also 2015 2014, 2013, 2012, 2011).

2010: course on Proof Methods for Concurrent Programs (also 2009).

2008: course on pi-calculus (also CCS and pi-calculus 2007, and pi-calculus 2006).


Courses at École Polytechnique:

2016: A Programmer's Introduction to Computer Architectures and Operating Systems (INF 559) (also 2015).


Lectures in Summer Schools:

Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming, June 2015.

Semantics and tools for low-level concurrent programming, January 2013. [Resources]

UPMARC Multicore Computing summer school, course on Shared memory: an elusive abstraction, June 2011.

BISS 2005, course on Strong Static Typing and Advanced Functional Programming, 2005.


Organisation of CEA-EDF-INRIA Summer Schools:

Functional Programming for Parallel and Concurrent Applications, 11-22 June 2012, CEA Cadarache.

Modelling and Verifying Algorithms in COQ: an introduction, 14-18 November 2011, INRIA, Paris.

Deep into SmallTalk, 7-11 March 2011, IRCICA, Lille.

Modelling and Verifying Algorithms in COQ: an introduction, 7-11 June 2010, INRIA, Paris.


Last update: