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.