Pascal Poizat / teaching

M2R MOPS - Méthodes formelles pour la conception des logiciels
2nd year of research master - Formal Methods for Software Design
LOTOS process algebra
application to (Web) service verification, composition and adaptation
lecture on LTS and LOTOS (by R. Mateescu)
lecture on adaptation
work on LOTOS (with CADP)
M2P CCI - Bases de données
2nd year of professional master - Databases
database design, relational algebra, SQL
lectures #1-#3 (by G. Gardarin, in French)
lecture #4 (by D. Herman, P. Burgevin and P. Fresnais, in French)
L3 - Génie logiciel
3rd year of licence - Software Engineering
LTS, LTS products, FSP process algebra, equivalences, basics of temporal logic
application to java threaded programs
lectures (final version 2008-2009, June, 1st, 2009, in French)
practical work 1-2 (solutions),
practical work 3-5 (solutions),
practical work 6-7 (partial solutions)
CWB-NC, LTSA

M1 - Modélisation objet
1st year of master - Object Modelling
M1 - Conception et programmation d'applications réparties
1st year of master - Design and Programming of Distributed Applications
L3 - Génie logiciel
3rd year of Licence - Software Engineering
L3 - Systèmes d'Information (Merise)
3rd year of Licence - Information Systems

(see also above)

Software Engineering and Behavioural Formal Methods
(transition system formalisms, process algebras, temporal logic)
lectures on CCS (in French)
lecture on additional concepts for LTS (in French)
work on LTS modelling, work on CCS (with CWB-NC), work on temporal logic (with SPIN and with NuSMV) (in French)
UML
Programming (Python, Java, C, CaML)
lecture on programming basics (in French)
lectures on python (in French)
Databases, Client-Server and Web Design & Programming
lectures on Web technologies (by L. Seinturier, in French)
lecture on UML for Web design (in French)
Computer Architecture, Operating Systems, Networking

INRIA "délégation" file, p10.
note: my old teaching documents repository has been cleaned up (documents available upon request).

pascal.poizat