{{ flashMessage.message }}
{{ flashMessage.linkText }}
{{ flashMessage.linkText }}
{{ flashMessage.linkText }}
Zeinab Nehaï
Computer Science Engineer, CEA List
Doha, Qatar
Contact
Request a Business account
to Reach Zeinab and Similar
Professionals
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
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