Loading 3D model...

Hi, I am Vincent!

Ph.D. student

I am a Ph.D. student at INRIA, Loria, Nancy, France. My main research interests are logic, formal methods, theorem proving, automated reasoning.

Contact Me
Scroll down

About Me

My introduction

I am a computer science engineer and graduated from the École des Mines de Nancy, (University of Lorraine, France).

Since October 2023, I have been working as a Ph.D. student at INRIA, Loria, Nancy, France. I am working on enhancing B language reasoners with SAT and SMT techniques.

Apart from my studies, I like cycling and playing guitar. I am also have experience in photography and video editing, which has been another passion of mine since my childhood.

Download CV

Cycling

Some of my cycling activities

Skills

My technical level

Development

10+ years

Python

Isabelle(HOL), Lean, B

LaTeX, Git

C, C++, JS, OCaml

HTML, CSS

Science

10+ years

Formal Methods, Logic, Theorem Proving

Satisfiability Modulo Theories (SMT)

Algebra

Analysis, General Maths

Quantum Physics, General Physics

Qualification

My personal journey
Education
Work

École Nationale Supérieure des Mines de Nancy

University of Lorraine, Nancy, France
2020 - 2023

Technical University of Munich

Munich, Germany
2022 - 2023

French Preparatory Classes for Higher Education

Orléans, France
2018 - 2020

Ph.D. at INRIA

Loria, Nancy, France
2023 - today

Technical University of Munich

Research Intern at the Chair for Logic and Verification, Munich, Germany
2022 - 2023

Clearsy

R&D Engineer, Aix-en-Provence, France
2023

Publications

Substitutions for λ-free higher-order terms

Archive of Formal Proofs, 2024 Vincent Trélat

Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph

Archive of Formal Proofs, 2022 Vincent Trélat, Stephan Merz

Contact Me

Get in touch

Location

B206, INRIA Nancy Grand-Est, Loria, France

Email

vincent.trelat@inria.fr
vincent.trelat@depinfonancy.net