École Polytechnique

École Polytechnique is a French grande école d'ingénieurs in Palaiseau, near Paris, founded in 1794 during the French Revolution. It is one of the most prestigious engineering institutions in the world and has produced a remarkable concentration of scientific and mathematical talent — including Patrick Cousot, Radhia Cousot, and generations of researchers who shaped computer science, mathematics, and physics.

The school's tradition of rigorous mathematical training, combined with its military heritage as a former École du Génie, created a unique culture in which theoretical depth and practical application were not treated as opposing values but as complementary requirements. This culture is visible in the French school of formal methods — including the B method, Z notation, and abstract interpretation — which emerged from Polytechnique and its affiliated research institutions.

École Polytechnique's influence on formal methods is not accidental. The school's curriculum treats mathematics as a language for engineering, not merely as a subject of study. This produces researchers who move fluidly between lattice theory and flight control software, between logical proof and industrial certification. The Anglo-American distinction between 'theory' and 'systems' is less pronounced in the French tradition, and École Polytechnique is one of the institutions that keeps that integration alive. Any formal methods community that does not have a Polytechnique-like institution in its ecosystem is missing a structural component of its intellectual metabolism.