|
|
Brief
Biography
|
|
 Assistant Professor in Department of
Computer Science, Baylor
University (2007- current)
Lecturer in Department of
Computer Science, Baylor
University (2006- 2007)
Ph.D. in Computer
Science Department, Colorado State
University (2001 - 2007): dissertation: "An Aspect-based Approach to Modeling Access Control
Policies",
Advisors: Dr. Robert France
& Dr. Indrakshi Ray
Student Instructor for CS517DL (Software
Specification & Design), Colorado
State University (Spring 2006)
Research Assistant, Computer Science Department, Colorado State University (Funded by
AFOSR, Jul. 2004 - Jan. 2006)
Student Instructor for CS414DL (Object-Oriented
Design Distance Learning), Colorado
State University (Fall 2001, Fall 2002, Fall 2003)
Teaching Assistant, Computer Science Department, Colorado State University (1999 -
2001)
M.S. in Computer
Science from Colorado State
University (1999 - 2001)
Part-time Instructor at Tamna University. Republic of Korea (1997-
1998)
Software Engineer at IBM Korea, Republic
of Korea (1991 - 1996)
B.S. in Computer
Engineering from Seoul National University,
Republic of Korea (1989 - 1991)
B.S. in Architecture
from Seoul National University, Republic
of Korea (1984 - 1988)
|
Research
|
|
My primary research area is software engineering, with emphasis on applying
aspect-oriented modeling (AOM) techniques to software security concerns. My
research interests include model-driven engineering, software design and
specification, property formalization and analysis for high confident
systems, software security, model verification, formal methods, and
modeling, simulation, analysis, and adaptive control of complex
real-time/embedded systems.
Publications
Current
Students
Wuliang (Peter) Sun, MS Student (Spring 2008 - current)
Vidhi Thapa, MS Student (Summer 2008 - current)
Past
Student
Nate Roberts, M.S. Aug., 2008, currently PhD Student at UT Austin
|
Teaching
|
|
CSI 5V93- Advanced Software Engineering: Spring
2009, Spring
2008
CSI 5324- Software Engineering: Fall 2009, Fall
2008, Fall 2007,
Fall 2006
CSI 3372- Software Engineering II: Fall 2009, Spring
2009
CSI 3342- Principles of Software Design: Spring 2008, Spring 2007
CSI 2350- Discrete Structures: Fall
2008, Fall
2007
|
Last updated on April 1, 2009
|
|
|
