2月22日 Yunja Choi:A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems


Bio

Yunja Choi is Professor of School ofComputer Science and Engineering, Kyungpook National University. Her mainresearch interests include Software Safety Analysis, Model Checking, FormalTesting, Component-based Software Engineering. Choi got her Ph.D in ComputerScience at University of Minnesota, United States. Before joining KNU, she hasworked as a research scientist at Fraunhofer Institute for ExperimentalSoftware Engineering, Kaiserslautern, Germany from 2003 to 2006. She alsoworked as a software engineer at Samsung Data Systems in Seoul from 1993 to1996.