{{ flashMessage.message }}
Zeinab Nehaï
Computer Science Engineer, CEA List
Doha, Qatar
Request a Business account to Reach Zeinab and Similar Professionals
Experience
- Oct, 2018 - Jan, 2022
- Palaiseau, France
Engineer in the modelling and verification of distributed algorithms
CEA List
- Mar, 2018 - Aug, 2018
- Palaiseau, France
Intern in formal verification of programs
CEA List
- Apr, 2017 - Aug, 2017
- Chatou, France
Intern in formal verification of programs
EDF
- Jun, 2016 - Aug, 2016
- Courbevoie, France
Intern in smart grid's Demand-Response modelling
DeVinci Research Center
Show all
Show less
Education
- Sep, 2018 - Jul, 2022
Doctorate(PhD), Formalisation and verification of blockchain systems
Université Paris Cité, Paris, France
- Oct, 2017 - Jun, 2018
Master (MSc/MA), Complex systems engineering
Ecole Normale Supérieure Paris-Saclay, Cachan, France
- Sep, 2015 - Jun, 2018
Other, General engineering degree
Ecole Supérieure d'Ingénieurs Léonard de Vinci, Courbevoie, France
Show all
Show less
IT Skills
Blockchain, Distributed Systems, Smart Grid, C#, Python, Solidity, MS Office, LateX, Deductive verification, Model-checking
Languages
French, English, Arabic
Profiles you may be interested in