Skip to content

Joint Meeting With San Diego

Photo of Dorian
Hosted By
Dorian
Joint Meeting With San Diego

Details

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.

Photo of Twin Cities C & C++ Meetup group
Twin Cities C & C++ Meetup
See more events