Ayoub Nouri

Formal Methods Expert and R & d Lab Director @Huawei

Grenoble, FR
MOBILE NUMBERS
+91 *********19

Signup · Get unlimited contacts

WORK HISTORY

Nov 2023 — Present

Formal Methods Expert and R & d Lab Director @Huawei

View department →

Grenoble, FR

EDUCATION

2004 — 2010

High Institue of Computer Science (Tunis, Tunisia)

Engineer's degree

2010 — 2011

High Institute of Computer Science (Tunis, Tunisia)

Master of Science (M.Sc.)

2011 — 2015

Université Grenoble Alpes

Doctor of Philosophy (Ph.D.)

SKILLS

C++CAlgorithmsStatistical Model CheckingSqlLinuxComponent-Based DesignFormal MethodsREmbedded SystemsMachine LearningUnified Modeling Language (Uml)UmlSoftware EngineeringModel-Based DesignStochastic ModelingReal TimeSystemcSoftware DevelopmentJavaVhdlSimulationsComputer ScienceMysqlLatexXml

ABOUT AYOUB NOURI

As a R&D Lab Director at Huawei, I lead a team of PhDs in developing innovative solutions for complex problems. With over 10 years of experience in the field of computer science, I have a strong background in formal methods and software engineering. I hold a PhD in Computer Science from Université Grenoble Alpes and a Master\'s degree in Software Engineering and Critical Systems. My expertise lies in applying formal methods to ensure the reliability and safety of software systems. I am also proficient in English and have a certification in Machine Learning from Coursera. My goal is to leverage my skills and knowledge to contribute to the advancement of technology and solve real-world challenges.

This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.

Ayoub Nouri — Formal Methods Expert and R & d Lab Director at Huawei in Grenoble, FR | Unifers