Abdelraouf Ouadjaout

I am a postdoc in the APR team (LIP6/Sorbonne Universté, Paris) working under the direction of Prof. Antoine Miné. Before that, I was a research assistant at CERIST Research Center (Algiers).

Currently, I participate in the Mopsa project that aims at building a modular and extensible framework for developing sound static analyzers using abstract interpretation.

During my PhD, I worked on using abstract interpretation for verifying two kinds of properties of low-power embedded programs: safety of device drivers and performance evaluation of communication protocols.

Here are my recent publications:

The full list can be found here.