Jamie Shea and TrustInSoft CEO Fabrice Derepas discuss formal methods
Cybersecurity is a quickly developing industry. NATO’s objective is to detect emerging cybersecurity challenges. Jamie Shea, Deputy Assistant Secretary General for Emerging Security Challenges at NATO is tasked with this monumental undertaking.
In the above picture Jamie Shea discusses how mathematical methods can help guarantee software behavior.
Jamie Shea talks with Fabrice Derepas and Najoua Kaabi (located on the right of the photo) of TrustInSoft. TrustInSoft is a start-up based in both the United States and France. TrustInSoft provides mathematical solutions that guarantee software quality. Jean-Noël de Galzain (located on the left side of the photo) also participated in the discussion. Jean-Noël de Galzain is the president of Hexatrust, a club founded by a group of French SMEs that are complementary players with expertise in information security systems, cybersecurity, and digital trust.