On March 25, Jolan Philippe represented LMV at a conference hosted by then IAE (School of Management), organised by students of the MSI (Management of Information Systems) Master program. He shared his insights as a researcher and noted that as AI reshapes cybersecurity, system safety and formal verification are no longer optional but essential. This shift reinforces the value of the team’s research into creating secure software.