Pascal Poizat / teaching

M2R MOPS - Méthodes formelles pour la conception des logiciels
2nd year of research master - Formal Methods for Software Design
process algebras, LOTOS, CADP tool
lecture notes (by R. Mateescu), practical work [subject], last exam
M1 - Conception et programmation d'applications réparties
1st year of master - Design and Programming of Distributed Applications
threads, sockets, RPC, RMI, Web services (modelling - programming - verification)
lecture notes (in collaboration with T. Melliti) [introduction, concurrence / threads, communication / sockets, RPC / RMI, services Web, compléments services Web], practical work [subject#1, subject#2, subject#3, sujet#4 : application WS du sujet 3], last exam (to appear)
M1 - Génie logiciel 2
1st year of master - Software Engineering 2
behavioural and interaction aspects in systems, transition systems (modelling - verification)
lecture notes (in collaboration with T. Melliti), practical work [subject#1 - correction, subject#2 - correction, subject#3 - elements of correction], last exam

M1 - Conception et programmation d'applications réparties
1st year of master - Design and Programming of Distributed Applications
L3 & M1 - Modélisation objet
3rd year of licence & 1st year of master - Object Modelling
ENSIIE 1A - Programmation fonctionnelle
1st year of the ENSIIE engineers' school - Functional Programming

Formal methods
transition systems, process algebras, Petri nets, transition systems' products, behavioural equivalences, basics of temporal logics, CWB-NC and LTSA tools
Software Engineering
UML
Databases
DBMS, E-A model, relational algebra, SQL
Operating Systems, Networking
OS principles, Unix, network layers 1-4, Internet principles
Programming
bases with python, concurrent and distributed programming in Java (threads, sockets, RMI, Web services), Web (HTML, PHP, javascript)

directory with old teaching documents

Formal Methods (transition systems, process algebras, Petri nets, verification)
Software Engineering (UML, Merise, Grafcet)
Programming (imperative with Pascal/C/python, functional with caml, object-oriented with Java, Web with HTML/javascript, concurrent and distributed with Java)
Databases (E-A model, relational algebra, tuple calculus, SQL)
Computer Architecture, Operating Systems, Networking (Assembly language, Unix, network setup, DNS, ...)

pascal.poizat