Photo de Eun-Young KANG
  • Source : Scopus
  • Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
19992020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Présentation

Eun-Young's area of expertise is formal modeling, design and analysis of real-time embedded systems. Her research interest lies in combining several different formal method techniques to handle large and complex systems, either automatically or with less manual intervention. Prior to joining PReCISE in 2011, she worked at PROGRESS, the Swedish national strategic research centre on embedded software in Mälardalen Real-Time Research Centre (MRTC) and previously at United Nations University - International Institute for Software Technology in Macau. She received her PhD from Loria-INRIA in Nancy, France. The topic of her thesis was, "Tool-supported real-time system verification based on a combination of predicate abstraction and model checking."

Présentation

Eun-Young's area of expertise is formal modeling, design and analysis of real-time embedded systems. Her research interest lies in combining several different formal method techniques to handle large and complex systems, either automatically or with less manual intervention. Prior to joining PReCISE in 2011, she worked at PROGRESS, the Swedish national strategic research centre on embedded software in Mälardalen Real-Time Research Centre (MRTC) and previously at United Nations University - International Institute for Software Technology in Macau. She received her PhD from Loria-INRIA in Nancy, France. The topic of her thesis was, "Tool-supported real-time system verification based on a combination of predicate abstraction and model checking."

Expertise relative aux objectifs de développement durable des Nations Unies

En 2015, les États membres des Nations Unies ont convenu de 17 objectifs de développement durable (Sustainable Development Goals, SDG) pour éradiquer la pauvreté, protéger la planète et assurer la prospérité de tous. Le travail de cette personne contribue à la poursuite du/des SDG suivant(s) :

  • SDG 7 - Énergie abordable et propre
  • SDG 9 - Industrie, innovation et infrastructure

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Eun-Young KANG est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 6 Profils similaires

Réseau

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.