AeroLeads people directory · profile
Nicolas Blanco Email & Phone Number
Postdoctoral Researcher
at
CEA-List
LinkedIn matched
✓ Verified July 2026
3 data sources
Profile completeness 86%
Current company
Role
Postdoctoral Researcher
Location
Paris, ÎLe-De-France, France
Company size
Who is Nicolas Blanco? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Nicolas Blanco is listed as Postdoctoral Researcher at CEA-List, a with 450 employees, based in Paris, ÎLe-De-France, France. AeroLeads shows a matched LinkedIn profile for Nicolas Blanco.
Nicolas Blanco previously worked as Research Assistant at University Of Birmingham and Research Intern at Riverlane. Nicolas Blanco holds Doctor Of Philosophy - Phd, Computer Science from University Of Birmingham.
Company email context
Email format at CEA-List
This section adds company-level context without repeating Nicolas Blanco's masked contact details.
CEA-List
Review company-level records connected to Nicolas Blanco before choosing the right outreach path.
Profile bio
About Nicolas Blanco
★ Research Interests ★My main research areas are logic, category theory and their applications. I am always interested in learning about new projects connected to one of the following topics:- (Applied) category theory- (Linear) logic and type theory- Quantum computing- Formal methods★ About me ★Versatile and passionate about a lot of things, I am fueled by substantial amounts of curiosity and tea. I am currently a third year PhD student at the University of Birmingham.I have been investigating how methods from Computer Science can be adapted to non classical frameworks such as probabilistic or quantum computing, with an emphasis on logical and categorical tools. More generally, I am good at assimilating new concepts by taking out unnecessary details to abstract the key elements.★ Previous experience ★This ability and my strong interest in Logic have guided my decisions career-wise.As a Safety Engineer, I discovered how the very same abstract principles (redundancy, control operation,...) can be implemented in various ways.Understanding these concepts helped me as a Software Engineer, working on Safety-Critical Embedded Systems deployed all around the world. After a few months I started mentoring new people on the project.It was a real positive experience since I love exchanging with people.★ Researcher in Theoretical Computer Science ★I went back to academia to pursue a Research career in Theoretical Computer Science. My weapons of choice are applied category theory and type theory.I have also been fascinated by the quantum realm and its mathematical structures for a long time.Both my master theses were connected to that topic.
Current workplace
Nicolas Blanco's current company
Company context helps verify the profile and gives searchers a useful next step.
Cea-List
7 roles
Nicolas Blanco work experience
A career timeline built from the work history available for this profile.
Postdoctoral Researcher
Research Assistant
Teaching assistant for the following modules:- 2018/2019 Semester 1 - Compiler and Languages3rd year BSc & 1st year MSc http://www.cs.bham.ac.uk/internal/modules/2018/06-02578/- 2018/2019 Semester 2 - Team Project2nd year BSchttp://www.cs.bham.ac.uk/internal/modules/2018/06-26263/- 2019/2020 Semester 1 - Systems Programming in C/C++2nd year BSchttp://www.cs.bham.ac.uk/internal/modules/2019/06-30203/- 2019/2020 Semester 2 - Network Security3rd year BSchttps://www.cs.bham.ac.uk/internal/modules/2019/06-29636/-2020/2021 Semester 1 - System Programming in C/C++"nd year BSchttps://www.cs.bham.ac.uk/internal/modules/2020/06-30203/
Oct 2018 - Jun 2023
May 2020 - Aug 2020
Formal Methods Software Engineer
Software development for a CBTC (~8 months)- Both vital (critical) and non-vital part for the onboard equipment (ATP and ATO)- Use of the B Method (Formal Method), Ada and C- Formal proofs of properties verified by the software- Simulation and test of scenarios- Formation and supervision of new colleaguesVirtualisation and automation of all the generation/compilation process (~4months)- Interdependent Virtual Machines for Linux (CentOS), Windows (3.1, 10) and Solaris- Various languages used in the environment : B Method, C, Ada, Python, Bash- Vital programs compiled multiple times with different compilers- Communication with a License server- Creation of scripts for automation- Creation and configuration of a server to develop and test the project
Dec 2017 - Sep 2018
Safety Engineer
Safety analysis of a SIL4 remote I/O platform (Software and micro-controller part)- Hazard and Risk Analysis- Safety Requirements Specification- Development of a Safety Demonstration based on the realization of the product- Documentation- Joint work with the Design team and the V&V team- Regular discussion with the certifier- Analysis of the software and the tools from the high level language to the hardware including formal methods, translators, compilers, communication protocols, micro-controllers- Standards : EN 50128, IEC 62279
Jun 2017 - Sep 2018
2 education records
Nicolas Blanco education
Doctor Of Philosophy - Phd, Computer Science
Master Of Science - Ms, Logic
FAQ
Frequently asked questions about Nicolas Blanco
Quick answers generated from the profile data available on this page.
What company does Nicolas Blanco work for?
Nicolas Blanco works for CEA-List.
What is Nicolas Blanco's role at CEA-List?
Nicolas Blanco is listed as Postdoctoral Researcher at CEA-List.
Where is Nicolas Blanco based?
Nicolas Blanco is based in Paris, ÎLe-De-France, France while working with CEA-List.
What companies has Nicolas Blanco worked for?
Nicolas Blanco has worked for Cea-List, University Of Birmingham, Riverlane, and Clearsy Railway.
How can I contact Nicolas Blanco?
You can use AeroLeads to view verified contact signals for Nicolas Blanco at CEA-List, including work email, phone, and LinkedIn data when available.
What schools did Nicolas Blanco attend?
Nicolas Blanco holds Doctor Of Philosophy - Phd, Computer Science from University Of Birmingham.
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 Blanco you were looking for.
View similar profiles
