Rémy Boutonnet work email
- Valid
Rémy Boutonnet personal email
Rémy Boutonnet is a Founder at TuringDB.ai. They possess expertise in program analysis, static analysis, abstract interpretation, c, c++ and 2 more skills. They is proficient in English.
-
FounderTuringdb.AiLondon, Gb -
Co-FounderTuring Biosystems Jan 2023 - PresentLondres Et Périphérie, Royaume-UniMaking tools to design better drugs.Interpretable AI, automated reasoning, multiscale simulation and very fast graph database engines. -
R&D Software EngineerMentor Graphics Dec 2019 - Dec 2022Paris Area, FranceCompiler design & development for distributed FPGA prototyping of large-scale semiconductor designsCustomer support for challenging designsExpert in software high performance optimization, algorithms and compiler designAdvanced netlist transformations & optimizationDesign of a new strategy optimization tool for FPGA synthesis & place and routeExploration of new product flows and architecturesLead C++ best practices & software quality developer training activities for a globally distributed team across 4 continents -
Phd Researcher In Computer ScienceUniversité Grenoble Alpes Oct 2016 - Dec 2019Grenoble Area, FranceAutomated reasoning & analysis of safety-critical software by abstract interpretationSafety analysis of large industrial, railway, avionics control command systemsScalable analysis of very large C++ programsDevelopment of the MARS static analysis platform for the numerical analysis of C programs,based on LLVM & Clang.Working in Nicolas Halbwachs group at VERIMAG.
Rémy Boutonnet Skills
Rémy Boutonnet Education Details
-
Computer Science -
(Pdes) Parallel Distributed Embedded Systems
Frequently Asked Questions about Rémy Boutonnet
What company does Rémy Boutonnet work for?
Rémy Boutonnet works for Turingdb.ai
What is Rémy Boutonnet's role at the current company?
Rémy Boutonnet's current role is Founder.
What is Rémy Boutonnet's email address?
Rémy Boutonnet's email address is re****@****tor.com
What schools did Rémy Boutonnet attend?
Rémy Boutonnet attended Université Grenoble Alpes, Université Grenoble Alpes.
What skills is Rémy Boutonnet known for?
Rémy Boutonnet has skills like Program Analysis, Static Analysis, Abstract Interpretation, C, C++, Ocaml, Linux.
Not the Rémy Boutonnet you were looking for?
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial