Teacher: Mihaela Sighireanu (LSV, ENS Paris-Saclay).

This module presents the main concepts used in computer networks like addressing, data exchange, routing, and transport protocols. The presentation employs a formal approach by presenting these concepts using formal models like message sequence charts, process algebra, communicating automata. The module also introduces the socket programming and proposes as projet the programming of a distributed application.

Planned contents:

• Principles of data networks (addressing, architecture, data encapsulation)
• ISO/OSI reference model and reliable data transfer
• Application protocols (HTTP, SMTP, FTP, DNS)
• Transport protocols and socket programming
• Routing algorithms and protocols

The lectures will take place online. During the labs, the lab room 1S53 may be used on request.

The material of the course is available on the eCampus space for this course. A framateam working space is available for asynchronous communication.

The class will be taught in English if at least one non-French-speaking student requires it.