AeroLeads people directory · profile
Nicolas Ayache Email & Phone Number
R and D Engineer
at
Nomadic Labs
1 work email found
@ikosconsulting.com
LinkedIn matched
4 data sources
Profile completeness 100%
Current company
Role
R and D Engineer
Location
Greater Paris Metropolitan Region, France, France
Company size
Who is Nicolas Ayache? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Nicolas Ayache is listed as R and D Engineer at Nomadic Labs, a company with 69 employees, based in Greater Paris Metropolitan Region, France, France. AeroLeads shows a work email signal at ikosconsulting.com and a matched LinkedIn profile for Nicolas Ayache.
Nicolas Ayache previously worked as Engineering Manager at Nomadic Labs and R&D Engineer at Nomadic Labs. Nicolas Ayache holds Doctor Of Philosophy (Ph.D.), Computer Science from Université Paris Sud (Paris Xi).
Company email context
Email format at Nomadic Labs
This section adds company-level context without repeating Nicolas Ayache's masked contact details.
{first_initial}{last}@ikosconsulting.com
86% confidence
AeroLeads found 1 current-domain work email signal for Nicolas Ayache. Compare company email patterns before reaching out.
Profile bio
About Nicolas Ayache
Interested in formal methods, software verification, static analyses, teachings.
Listed skills include Formal Verification, Algorithms, Computer Science, Ocaml, and 15 others.
Current workplace
Nicolas Ayache's current company
Company context helps verify the profile and gives searchers a useful next step.
Nomadic Labs
12 roles
Nicolas Ayache work experience
A career timeline built from the work history available for this profile.
Oct 2023 - Present
R&D Engineer
Sep 2021 - Oct 2023
Engineer-Researcher
R&D project manager.B-method training manager.Software development manager.Software verification manager.
Jan 2017 - Sep 2021
Teachings
Various Institutions
2020-2021:ESIEE - Systèmes embarqués 3ème année - Vérifications formelles (20h)UPEC - Master 2ème année - Logiciels de preuve 2 (21h)2019-2020:ESIEE - Systèmes embarqués 3ème année - Vérifications formelles (20h)UPEC - Master 2ème année - Génie logiciel formel (21h)2018-2019:ESIEE - Systèmes embarqués 3ème année - Vérifications formelles (16h)UPEC - Master.
Feb 2006 - Sep 2021
Engineer-Researcher
Development of a reference database for the RER railway elements, with an emphasis on their functional specification.Model of the communication flows and agent processes at work in the RER control rooms.Internship supervision with ISTIA: a new, general purpose modelling language based on functional programming.Technical assistance at RATP.Key words.
Sep 2015 - Jan 2017
Engineer-Researcher
Development of safety critical railway systems using formal methods: informal and formal specifications, implementation, proof, test, documentation, traceability and validation of software components. Comparison between formalisms for proofs.Technical assistance at RATP, Alstom-Transport and Ansaldo STS.Consulting team management:- communication between.
Jun 2012 - Sep 2015
Postdoctoral Researcher
CerCo [1] (certified complexity) project: development of the full C compiler prototype in OCaml.Internship supervision: the Cost plugin for the Frama-C [2] platform allows to call CerCo on a C program, synthesizes the cost of each function of the program, generates corresponding proof obligations and discharges some automatically.Key words: formally.
Mar 2010 - May 2012
Teaching And Research Temporary Attaché
Development of methodologies and tools to ease the formal verification of critical embedded software. A mix of abstract interpretation, model checking, and observer automata is used to semi-automatically reduce the combinatorial state explosion by replacing a part of a system by a smaller one.Key words: formal verification, abstract interpretation, model.
Sep 2008 - Aug 2009
Ph.D. Student
Development of methodologies and tools to ease the formal verification of critical embedded software. A mix of abstract interpretation, model checking, and observer automata is used to semi-automatically reduce the combinatorial state explosion by replacing a part of a system by a smaller one. Study of SystemC as a target language.Key words: formal.
Nov 2005 - Aug 2008
Master Internship
Development of tactics for the Coq proof assistant that allow to call external first-order logic provers (CVCLite, Simplify, Zenon). Translation of a goal of a higher-order logic, the Calculus of Inductive Constructions, into a less expressive formalism.Key words: higher- and first-order logics, Coq, decision procedures.
Mar 2005 - Sep 2005
Undergraduate Teaching Assistant
Oct 2004 - Feb 2005
Team & coworkers
Colleagues at Nomadic Labs
Other employees you can reach at nomadic-labs.com. View company contacts for 69 employees →
LF
Lucas Felli
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
DZ
Damien Zonda
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
FA
Ferdinand Attivi
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
LR
Lucas Randazzo
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
VC
Valentin Chaboche
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
VA
Victor Allombert
Colleague at Nomadic Labs
Orléans, Centre-Val De Loire, France, France
View →
SR
Sylvain Ribstein
Colleague at Nomadic Labs
France, France
View →
ES
Eden Shefki
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
KD
Killian Delarue
Colleague at Nomadic Labs
Évry, Île-de-France, France, France
View →
DA
Dana Aubac
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
Lucas Felli
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
DZ
Damien Zonda
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
FA
Ferdinand Attivi
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
LR
Lucas Randazzo
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
VC
Valentin Chaboche
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
VA
Victor Allombert
Colleague at Nomadic Labs
Orléans, Centre-Val De Loire, France, France
View →
SR
Sylvain Ribstein
Colleague at Nomadic Labs
France, France
View →
ES
Eden Shefki
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
KD
Killian Delarue
Colleague at Nomadic Labs
Évry, Île-de-France, France, France
View →
DA
Dana Aubac
Colleague at Nomadic Labs
Paris, Île-de-France, France, France
View →
3 education records
Nicolas Ayache education
Doctor Of Philosophy (Ph.D.), Computer Science
Master, Computer Science
Licence, Computer Science
FAQ
Frequently asked questions about Nicolas Ayache
Quick answers generated from the profile data available on this page.
What company does Nicolas Ayache work for?
Nicolas Ayache works for Nomadic Labs.
What is Nicolas Ayache's role at Nomadic Labs?
Nicolas Ayache is listed as R and D Engineer at Nomadic Labs.
What is Nicolas Ayache's email address?
AeroLeads has found 1 work email signal at @ikosconsulting.com for Nicolas Ayache at Nomadic Labs.
Where is Nicolas Ayache based?
Nicolas Ayache is based in Greater Paris Metropolitan Region, France, France while working with Nomadic Labs.
What companies has Nicolas Ayache worked for?
Nicolas Ayache has worked for Nomadic Labs, Clearsy, Various Institutions, Ikos Group, and Cnrs- Université Paris-Diderot.
Who are Nicolas Ayache's colleagues at Nomadic Labs?
Nicolas Ayache's colleagues at Nomadic Labs include Lucas Felli, Damien Zonda, Ferdinand Attivi, Lucas Randazzo, and Valentin Chaboche.
How can I contact Nicolas Ayache?
You can use AeroLeads to view verified contact signals for Nicolas Ayache at Nomadic Labs, including work email, phone, and LinkedIn data when available.
What schools did Nicolas Ayache attend?
Nicolas Ayache holds Doctor Of Philosophy (Ph.D.), Computer Science from Université Paris Sud (Paris Xi).
What skills is Nicolas Ayache known for?
Nicolas Ayache is listed with skills including Formal Verification, Algorithms, Computer Science, Ocaml, Programming, Latex, C, and Software Engineering.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Nicolas Ayache you were looking for.
View similar profiles
