top of page
EDUCATION & WORK
RESEARCH INTERESTS
Software Engineering
...
1996- 2004
University of Biskra
Ingineer and Magister Diplomas
Formal methods
Petri nets, Automata, Logic, Model-checking, ...
Performance evaluation
WSNs, protocols, Markov Chains, GSPNs, ...
Reconfigurable Systems
RMSs, Mobile Systems, Mobile Multi-agent Systems,...
2004- until now
Biskra University
associate professor
bottom of page