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

Sessions will take place in room 2E29 (ENS Paris-Saclay, Gif-sur-Yvette) on Wednesdays from 14:00 to 18:30, starting on November 18th. Some sessions will use the lab room 1S53.

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