Research
LMF - the new IT laboratory on campus!
… Research The “Laboratoire méthodes formelles” (Formal methods laboratory) (LMF - Université Paris-Saclay, ENS … is today the leading authority in research into the safety and security of IT systems using mathematical tools. It aims to share its methods of analysis with other fields. The “Laboratoire …Published on: