Ayoub Nouri is a Formal Methods Expert and R&D Lab Director at Huawei, where they lead a team of PhDs in developing innovative solutions for complex problems. With over 10 years of experience in computer science, Ayoub has a robust background in formal methods and software engineering. They earned a PhD in Computer Science from Université Grenoble Alpes and a Master of Science in Software Engineering and Critical Systems. Ayoub's expertise focuses on applying formal methods to ensure the reliability and safety of software systems. They are also proficient in English and hold a certification in Machine Learning from Coursera.
This person is not in the org chart
This person is not in any teams
This person is not in any offices