Personal profile

External positions

Collaborateur Scientifique, University of Namur

Research areas

  • Software Methodology
  • Software Engineering
  • Software Quality Assurance
  • Safety-critical systems
  • Verification & Validation
  • Cyber-Physical Systems
  • Energy-aware Real-Timed Embedded Systems
  • Model-Driven Design & Implementation
  • Component-based Development and Re-use
  • Programming Languages And formal Models
  • Safety & Security
  • Model-Checking
  • SMT/SAT-Solver
  • Computer Aided Design, Modeling, Analysis and Simulation
  • Dependability & Reliability of Embedded Software


Dive into the research topics where Eun-Young Kang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Researchers