Pauline Bonnet
About
Pauline Bonnet is from Greater Paris Metropolitan Region France;. In Pauline's previous role as a Stage de recherche en informatique at MegaRide - applied vehicle research, Pauline worked in until Jan 2023. Prior to joining MegaRide - applied vehicle research, Pauline was a Research internship in computer science at CNRS - Centre nationale de la recherche scientifique and held the position of Research internship in computer science. Prior to that, Pauline was a Research internship in mathematical logic at Laboratoire d'informatique et systèmes, Marseille, France from to Jan 2021.
Pauline Bonnet's contact information is available for free on finalscout.com, a web-based professional networking database with more than 500 million business contacts and 200 million company profiles.
Pauline Bonnet's past jobs
Application de méthodes mathématiques à la détection et au traitement d’anomalies dans des données acquises et calculées. Utilisation de propriétés mathématiques des tendances attendues pour accélérer et préciser les méthodes en place.
Expressing temporal modal logics (CTL) in Dedukti
Definition and establishment of a deductive system for a deontic logic built on an intuitionistic base, with specific properties. Working with miscellaneous modal logics.