Maxime Lucas

Maxime Lucas Email and Phone Number

Research engineer at SYSNAV | Computer Scientist | Mathematician @ SYSNAV
vernon, normandy, france
Maxime Lucas's Location
Paris, Île-de-France, France, France
Maxime Lucas's Contact Details

Maxime Lucas work email

Maxime Lucas personal email

n/a
About Maxime Lucas

Mathematician - Computer Scientist, Normalien.Specializes in program certification and verification using interactive theorem provers (e.g. Coq, Agda).Research on the semantics of programming languages, using techniques from homotopical and homological algebra.

Maxime Lucas's Current Company Details
SYSNAV

Sysnav

View
Research engineer at SYSNAV | Computer Scientist | Mathematician
vernon, normandy, france
Website:
sysnav.com
Employees:
55
Maxime Lucas Work Experience Details
  • Sysnav
    Ingénieur Algorithmes
    Sysnav Jun 2021 - Present
    Vernon, Normandie, France
    View
  • Université Sorbonne Paris Nord
    Chercheur Postdoctoral
    Université Sorbonne Paris Nord Sep 2020 - Jun 2021
    View
  • Inria
    Chercheur Postdoctoral
    Inria Sep 2018 - Aug 2020
    Nantes, Pays De La Loire, France
    Equipe Gallinette dirigée par Nicolas Tabareau.Travail sur le logiciel Coq et la théorie homotopique des types, en particulier cubique.
    View

Maxime Lucas Education Details

Frequently Asked Questions about Maxime Lucas

What company does Maxime Lucas work for?

Maxime Lucas works for Sysnav

What is Maxime Lucas's role at the current company?

Maxime Lucas's current role is Research engineer at SYSNAV | Computer Scientist | Mathematician.

What is Maxime Lucas's email address?

Maxime Lucas's email address is ma****@****snav.fr

What schools did Maxime Lucas attend?

Maxime Lucas attended Datascientest.com, Université Paris Diderot, École Normale Supérieure, Université Paris Diderot, Lycée Sainte-Geneviève.

Who are Maxime Lucas's colleagues?

Maxime Lucas's colleagues are Edouard Tapissier, Damien Eggenspieler, Bruno Petit, Camila González Barral, Chen Yeh, Irene M., Alexis Berthou.

Not the Maxime Lucas you were looking for?

View similar profiles

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.