Rémy Boutonnet

Co-Founder at Turing Biosystems
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Greater Paris Metropolitan Region, FR
Languages
  • French Native or bilingual proficiency
  • English Full professional proficiency
Skills

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Credentials

  • Certificate of Attendance
    2018 International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning
    Jul, 2018
    - Nov, 2024

Experience

  • Turing Biosystems
    • United Kingdom
    • Biotechnology Research
    • 1 - 100 Employee
    • Co-Founder
      • Jan 2023 - Present

  • Mentor Graphics
    • United States
    • Software Development
    • 700 & Above Employee
    • R&D Software Engineer
      • Dec 2019 - Dec 2022

  • Université Grenoble Alpes
    • France
    • Higher Education
    • 700 & Above Employee
    • PhD in Computer Science
      • Oct 2016 - Dec 2019

      Disjunctive relational summaries for interprocedural analysis by abstract interpretation, modular numerical analysis of synchronous reactive programs. Development of the MARS static analysis platform for the numerical analysis of C programs, based on Clang. Supervised by Nicolas Halbwachs. C++, OCaml, LLVM, Clang, Git Disjunctive relational summaries for interprocedural analysis by abstract interpretation, modular numerical analysis of synchronous reactive programs. Development of the MARS static analysis platform for the numerical analysis of C programs, based on Clang. Supervised by Nicolas Halbwachs. C++, OCaml, LLVM, Clang, Git

Education

  • Université Grenoble Alpes
    Master of Science in Informatics at Grenoble (MOSIG), (PDES) Parallel Distributed Embedded Systems
    2011 - 2016

Community

You need to have a working account to view this content. Click here to join now