ameyeddarine.isg

ameyeddarine.isg's picture

Research profile

Thesis Title
Formal approach for context prediction based on PCTL and Model checking // Modélisation et spécification formelle de contexte et sa prédiction dans les systèmes diffus : Une approche basée sur la logique temporelle et le modèle stochastique
Research interest

Her research interests include: ubiquitous computing, context-aware systems, predictive modelling, user behavior, activity recognition, smart space, machine learning, ambient intelligence, and human centred computing.

Short Biography

She obtained her Ph.D in software engineering in the École de Téchnologie Supérieure (E.T.S.) University of Quebec (Montreal, Canada) in 2016.
She received her M.Sc. in Digital Art and Technology from the university Rennes 2 (U.R.2) (University of Upper Brittany, France) in 2010.
She obtained her M.Sc. Multimedia Engineering from the university Paris Est Marne la Vallée (U.P.E.M) (University of Paris 11, France) in 2008.
She received the B.Sc. in Software and Management from the Institut Supérieur de Gestion (I.S.G) (University of Tunis, Tunisia) in 2005.
She had also several years of industry experience in Canada and Africa in the areas of software engineering, IOT, Mobile Computing, ERP system and Management.

Personal information

Name
Darine Ameyed
Personal web page
https://www.linkedin.com/in/darine-ameyed-a9526124/
Synchromedia enrollment date
2016-11-29
Synchromedia exit date
2020-11-29

User terms

User category
  • Post-Doctoral Fellow

History

Member for
1 year 33 weeks
ericssonlogo
inocybelogo
canalogo
cienalogo
Civimetrix Telecom logo
mitacslogo
risq logo
nserclogo
promptlogo
ecolepolytechniquelogo
University of Torontologo
frqntlogo
uqlogo
MDEIE logo
cfilogo
ciraiglogo