personal picture

Ph.D Student

Sorbonne University, Laboratoire d'Informatique Paris 6 (LIP6), CNRS
Biskra University, Laboratoire d'Intelligence Artificielle (LINFI)


Teaching

Software engineering
Software development
Formal Methods
 

Curriculum vitea




Research

Software engineering
Formal methods
Business processes
Distributed Systems