OCamlPro is a powerful team of world-class Language and Formal Methods experts. Our 3 business lines: - Language Audit, Optimization, and Design; - Security and Safety with Formal Methods; - Technical Debt Challenges.- Our services & Products: Audit and Optimization, Consulting and Training, Language (DSL) design ; we develop and maintain several Open Source industrial products.- Clients and what we did for them: https://ocamlpro.com/references- See OCamlPro's diverse activities and clients here https://ocamlpro.com/blog/2022_01_31_2021_at_ocamlpro- See OCamlPro's main events through this timeline: https://timeline.ocamlpro.com- The quality of our latest works for the French Tax Administration (DGFiP) acknowledged here https://www.linkedin.com/feed/update/urn:li:activity:6996069839362531328Before that, I used to run the Free & Open Source WG of the French Innovation & Deep Tech Systematic cluster, where I created the Information Systems Working Group in 2018. I took pride in designing and launching the Open Source Innovation Spring events that were a rally for many important academic and industrial tech partners, as well as the short series "Les Livrets bleus du Logiciel Libre". I also was for 10+ years chief editor of IT book collections in the famous Paris publishing house Editions Eyrolles. I have been supporting the Free and open source software + Web standards movements since the early 2000s.NB When I was holding the position of general secretary of Systematic Paris-Region 's Working Groups "Information Systems for the Digital Transformation" and "Smart Energy", and as head of the "Free & Open Source Software" WG from Oct. 2013 to July. 2017, I loved to initiate partnerships, matchmakings between labs and enterprises. I also did some community management (digital communication, publishing, and events organization being a necessary tool).As editor in Editions Eyrolles, I had been designing editorial strategy, searching computer-related themes, mining expert authors - helping them all through the process of making a book, starting with the conception of the TOC, writing, creating book series concepts. I did team coordination and motivation, quality control, cost control, marketing, diffusion...