|
|
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 August 27, 2009
|
|
|
