Raouda Kamoun
Assistant Professor
Raouda KAMOUN is an associate professor at the ESME Engineering School since 2019. Doctor in Computer Science since May 2017 from the Faculty of Economics and Management of Sfax (Tunisia). Her main research expertise and interests concern the formal verification of software architectures based on components, services and component services, the formalization of the UML2.0 component model using the Model Driven Engineering approach, modeling and verification services composed with formal ADLs, formalization and verification of the specification of resources in Cloud environments, and formalization and verification for Big Software.