Hi. I'm Dr. Ayoub Nouri

PostDoc researcher
Rigorous System Design (RSD)
Verimag, University of Grenoble Alpes
IMAG Building -- 700, avenue centrale
38401 Saint Martin d'Hères, France

My PhD. thesis is selected among the best 18 thesis in the University of Grenoble Alpes 2015 (Nov. 15, 2016)

Biography

Dr. Ayoub Nouri is a Ph.D. in Computer Science from the university of Grenoble-Alpes in France since April 2015.
He did a PostDoc in the CEA Grenoble for 15 months where he worked on formalizing VHDL descriptions and
modeling/analyzing Sensor Networks. Dr. Nouri also hold a computer engineering degree from the High Institute
of Computer Science in Tunisia, and a Master of research in software engineering and critical systems from the same institute.

During his Ph.D., Dr. Nouri teach Introduction to Algorithmic in the University of Grenoble-Alpes for 3 years.
He also served as reviewer for several journals and conferences (STTT, JLAMP, ATVA, TACAS, VECoS, ...),
in addition in participating as a member of the program committee of VECoS'16.

Dr. Nouri is interested in developing formal methods, techniques, and tools for the System-level Design of
Embedded and Cyber-Physical Systems. Some of his interests are Model-based Design, Stochastic Component-based Design,
Statistical Inference, Machine Learning, Statistical/Probabilistic Model-checking, Abstraction Techniques.

Recent Publications

(More on DBLP)

Tools

BIP-SMC

A Statistical Model Checking Engine for Stochastic BIP models

BIP2MCAPI

A code generator for the STHORM Many-core platform/MCAPI runtime

Projects

Citadel Project

H2020 -- 2016-2019

Dynamic and adaptive systems, Critical infrastructure, Internet of Things, Safety and Security.

CopCams Project

ARTEMIS -- 2013-2016

Embedded computing, Integrated vision systems, Many-cores, greener, low-power smart cameras, gateways.

FP7 -- 2011-2013

Certification process, mixed-criticality embedded systems, heterogeneous system layout, resource availability

Teaching

  • 2015 (Second semester): Teaching assistant of Bachelor degree (License). Introduction to Algorithmic at Joseph Fourier University (UJF), Grenoble, France.
  • 2014 (Second semester): Teaching assistant of Bachelor degree (License). Introduction to Algorithmic at Joseph Fourier University (UJF), Grenoble, France.
  • 2013 (Second semester): Teaching assistant of Bachelor degree (License). Introduction to Algorithmic at Joseph Fourier University (UJF), Grenoble, France.

Find me on ...