|
|
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 and
Former Students
-
Jun Lin, M.S. Candidate, Fall 2011 – present.
-
Xiyan Cao, M.S.
Candidate, Fall 2010 – present.
-
Wuliang (Peter) Sun, M.S. May 2010, working on a Ph.D. at
Colorado State Univ.
-
Vidhi Thapa, M.S. Dec.
2009.
-
Nate Roberts, M.S. Aug.,
2008, working on a Ph.D. at UT Austin
|
|
Teaching
-
CSI 5354- Advanced
Software Engineering: Spring
2012, Spring 2011, Spring 2010,
Spring 2009, Spring 2008
-
CSI 5324- Software
Engineering: Fall
2011, Fall 2010, Fall 2009, Fall 2008, Fall 2007, Fall 2006
-
CSI 3373- Software
Quality Assurance and Testing: Spring
2012, Spring 2011
-
CSI 3372- Software
Engineering II: Fall
2011, Fall 2010, Spring 2010, 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 10, 2012
|
|
|