[November 2024] Frédéric Dabrowski defended his HDR

Congratulations!

Post navigation

[November 2024] Talk by Thibaut Benjamin
[November 2024] Poste de MCF dans l’équipe LMV au concours 2025
[November 2024] Frédéric Dabrowski defended his HDR
[October 2024] Tomaž Kosar from the University of Maribor, Slovenia, visits the LMV team
[July 2024] The two-year VéDySec project is funded by Agence de l’Innovation de Défense

A Mechanized Formalization of an FRP Language with Effects
Formalisation d’une analyse de région pour Frama-C/WP
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs