Eunjee Song

Eunjee Song is an Associate Professor and Graduate Program Director in the Department of Computer Science at Baylor University, Waco, Texas. She joined Baylor in 2006 and has held positions ranging from Lecturer (2006-2007) to Assistant Professor (2007-2013), Associate Professor (since 2013), and Graduate Program Director (2017-2021, 2023-current).

• PhD (2006) and MS (2001) in Computer Science from Colorado State University
• BS in Computer Engineering (1991) and Architecture (1988) from Seoul National University

Her research focuses on software engineering, particularly aspect-oriented modeling for software security. Key interests include model-driven engineering, software verification, formal methods, and adaptive control of real-time systems. Her work often integrates property formalization and model verification for high-confidence systems.

Recent publications emphasize hybrid access control systems, testability frameworks, and adaptive user interfaces, reflecting her expertise in model-driven security solutions. She has co-authored 15+ papers, with several appearing in SCI-indexed journals.

• Best Conference Paper Award at RACS 2012

She has advised 13 graduate students (PhD and MS) since 2007, including collaborations with Dr. Tomas Cerny (University of Arizona) and Dr. David Lin (SMU). Courses taught include Advanced Software Engineering, Software Verification & Validation, and Software Quality Assurance.