|
|
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 ,
CV
Current and
Former Students
- Asif Imtiaz Shaafi, Ph.D. Student since Spring 2023
- Tingshuo Miao, Ph.D. Student since Fall 2022
- Amr Elsayed, Ph.D. Candidate (Co advised with Dr. Tomas Cerny @ Univ of Arizona)
- Md Shahidur Rahaman, M.S., Dec. 2023 (Co-advised with Dr. Tomas Cerny @ Univ of Arizona)
- Md Showkat Hossain Chy, M.S., Dec. 2023 (Co-advised with Dr. Tomas Cerny @ Univ of Arizona)
- Collin Rapp, M.S., Aug. 2023 (Co-advised with Dr. David Lin @ SMU), currently at Fiduciary Decisions, Beaverton, OR
- Jingya Wang, M.S., Aug. 2022, currently at Snap, Seattle, WA
- Joseph Huang, M.S. Aug. 2019.
- Jun Lin, M.S. Aug. 2013, currently at National Instrument, Austin, TX.
- Xiyan Cao, M.S., December 2014, currently at eMetric, San Antonio, TX
- Wuliang (Peter) Sun, M.S. May 2010, (Ph.D. from Colorado State Univ., 2015), currently at Amazon
- Vidhi Thapa, M.S. Dec. 2009, currently at Travel Sybdication Technology, GA.
- Nate Roberts, M.S. Aug., 2008, (Ph.D. from UT Austin, 2013), Post Doc at Argonne National Lab
|
|
Teaching
- CSI 5354 Advanced Software Engineering: Fa'23 & Sp'23 (for Online MS), Su'16, Sp'12, Sp'11, Sp'10, Sp'09, Sp'08
- CSI 5324 Software
Engineering: Fa'23, Fa'18, Fa'16, Fa'15, Fa'14, Fa'13, Fa'12, Fa'11, Fa'10, Fa'09, Fa'08, Fa'07, Fa'06
- CSI 5342 Software Verification & Validation: Sp'24, Su'23, Fa'22 (for Online MS); as CSI 5v93 (Special Topics): Su'18, Su'17
- CSI 5010 Graduate Seminar (jointly held with CSI 4010): Sp'24, Fa'23, Sp'20
- CSI 3372 Software
Engineering II: Sp'24, Fa'23, Sp'23, Fa'22, Sp'22, Fa'21, Sp'21, Fa'20, Sp'20, Fa'19, Sp'19, Fa'18, Sp'18, Fa'17, Sp'17, Fa'16, Sp'16, Fa'15, Fa'14, Fa'13, Fa'12, Fa'11, Fa'10, Sp'10, Fa'09, Sp'09
- CSI 3373 Software
Quality Assurance and Testing: Fa'23, Fa'22, Fa'21, Fa'20, Fa'19, Sp'18, Fa'14, Sp'14, Sp'13, Sp'12, Sp'11
- CSI 3471 Software Engineering I: Sp'23, Sp'18; as CSI 3371: Fa'17, Sp'17
- CSI 43C9 Capstone Design Project: Spring 2016, Spring 2014, Spring 2013 (with Prof. Michael Aars)
- CSI 3342 Principles of
Software Design: Spring 2008, Spring 2007
- CSI 2350 Discrete
Structures: Fall 2008, Fall 2007
|
|
