Rémy Boutonnet

Rémy Boutonnet Email and Phone Number

Founder @ TuringDB.ai
London, GB
Rémy Boutonnet's Location
London, England, United Kingdom, United Kingdom
Rémy Boutonnet's Contact Details

Rémy Boutonnet work email

Rémy Boutonnet personal email

n/a
About Rémy Boutonnet

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.

Rémy Boutonnet's Current Company Details
TuringDB.ai

Turingdb.Ai

View
Founder
London, GB
Rémy Boutonnet Work Experience Details
  • Turingdb.Ai
    Founder
    Turingdb.Ai
    London, Gb
  • Turing Biosystems
    Co-Founder
    Turing Biosystems Jan 2023 - Present
    Londres Et Périphérie, Royaume-Uni
    Making tools to design better drugs.Interpretable AI, automated reasoning, multiscale simulation and very fast graph database engines.
  • Mentor Graphics
    R&D Software Engineer
    Mentor Graphics Dec 2019 - Dec 2022
    Paris Area, France
    Compiler 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
  • Université Grenoble Alpes
    Phd Researcher In Computer Science
    Université Grenoble Alpes Oct 2016 - Dec 2019
    Grenoble Area, France
    Automated 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

Program Analysis Static Analysis Abstract Interpretation C C++ Ocaml Linux

Rémy Boutonnet Education Details

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

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

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.