Month: September 2020

[Sep. 2020] Jules Chouquet joins LMV

[Apr. 2022] Térence Clastres joined LMV for a 3 months internship on the compilation of SaIL to LLVM.
[Mar. 2022] Computer Languages for the Internet of Things (Special issue of Journal of Computer Languages)
[Mar. 2022] Florian Groult joined LMV on a research engineer position
[Feb. 2022] DeSSUF project : new joint project between the University of Orleans, LIFO, France and the University of Maribor, LPM, Slovenia (43k€, funded in the context of the Athena European University, http://www.athenaeuropeanuniversity.eu).
[Dec. 2021] Ziani Yani joined LMV for a Ph.d. on “Vérification formelle des couches de confiance dans les logiciels”