Person. Marc Pouzet Professor · Ecole Normale Superieure · di.ens.fr/~pouzet · 0000-0002-2651-7708 · https://github.com/marcpouzet Papers Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types dane-2026-towardsNFM · 2026 DOI