Eunjee Song, Associate Professor, Graduate Program Director,
is currently working in the Department of Computer Science, School of
Engineering and Computer Science at Baylor University, Waco, TX, USA. She obtained a
B.Sc. in Architecture from Seoul National University, Republic of Korea in 1988
and a B.Sc. in Computer Engineering from Seoul National University, Republic of
Korea in 1991. She received an M.Sc. in Computer Science from Colorado State
University in 2001 and earned a Ph.D in Computer Science from Colorado
State University in 2007. From 2007 to 2013, she was an Assistant Professor in the
Department of Computer Science, Baylor University. Since 2013, she has been an Associate
Professor at the same institition. Her primary research area is software engineering, with an emphasis on
applying aspect-oriented modeling (AOM) techniques to software security
concerns. Her research interests include model-driven engineering, software
design and specifications, property formalization and analysis for high-confidence systems,
software security, model verification, formal methods, and
modeling, and the simulation, analysis, and adaptive control of complex
real-time/embedded systems. She is a member of the Association for Computing
Machinery and of the IEEE.
Eunjee Song, Associate Professor, Graduate Program Director,
is currently working in the Department of Computer Science, School of
Engineering and Computer Science at Baylor University, Waco, TX, USA. She obtained a
B.Sc. in Architecture from Seoul National University, Republic of Korea in 1988
and a B.Sc. in Computer Engineering from Seoul National University, Republic of
Korea in 1991. She received an M.Sc. in Computer Science from Colorado State
University in 2001 and earned a Ph.D in Computer Science from Colorado
State University in 2007. From 2007 to 2013, she was an Assistant Professor in the
Department of Computer Science, Baylor University. Since 2013, she has been an Associate
Professor at the same institition. Her primary research area is software engineering, with an emphasis on
applying aspect-oriented modeling (AOM) techniques to software security
concerns. Her research interests include model-driven engineering, software
design and specifications, property formalization and analysis for high-confidence systems,
software security, model verification, formal methods, and
modeling, and the simulation, analysis, and adaptive control of complex
real-time/embedded systems. She is a member of the Association for Computing
Machinery and of the IEEE.