Joint Meeting With San Diego

Once again Kobi is bringing us an awesome online meeting. The guest speaker is in Europe so the time is a bit different than usual. Here is the description:

San Diego C++ meetup #28 - virtual meeting - Wednesday 7-7-2021

Please note - our speaker resides in Europe hence the special day and time (Wednesday 7-7-2021 12pm).
Hope you can make it!

Title: Proving the absence of undefined behaviors in C++ code.

Abstract: Formal methods, through sound code analysis techniques, are transforming C++ source code into a mathematically provable language. The goal for the presentation and the demo is to share with the developer community how industry leaders in the Semiconductor, Telecom/Mobile and other verticals are using formal methods to enable detection of all undefined behaviors, by exhaustively analyzing and proving the absence of vulnerabilities through a combination of mathematical algorithms and advanced modeling techniques - to achieve high quality C++ code.

Bio: Fabrice Derepas is the CEO and co-founder of the cybersecurity startup TrustInSoft. Fabrice got his start in the Telecom industry as a systems architect and then worked as the CTO for startup companies. In 2003, Fabrice joined the CEA, a French technology research laboratory, where he directed the business development and managed a department, led programs, and provided strategy for the CEA-LIST institute. Fabrice has a Ph.D. from the University of Paris 7 as well as an engineering degree from the Ecole Polytechnique.