Rate My Professor Kuang-Nan Chang

Dr. Kuang-Nan Chang is Chair and Professor in the Department of Computer Science at Eastern Kentucky University, where he has served since 2003. He earned his Ph.D. in Computer Science from The University of Texas at Arlington, completing his dissertation titled "Inductive Model Checking for State-Based Systems." Prior to his tenure at Eastern Kentucky University, his graduate work included contributions to software verification techniques, such as inductive model checking published in proceedings like the 25th IEEE International Computer Software and Applications Conference in 2000, co-authored with David Kung and Pei Hsia.

Dr. Chang's research focuses on software engineering methodologies, particularly consistency verification in UML diagrams. Notable publications include "Consistency Checks on UML Diagrams," presented at the Software Engineering Research and Practice conference in 2007, and "Model Checking Consistency Between Sequence and State Diagrams" in 2008. He has also explored UML applications for web development. His scholarly contributions extend to conference proceedings and collaborative works on software modeling and design. As an active member of the academic community, Dr. Chang served as Conference Chair for the ACM Southeast Conference (ACMSE) 2023, hosted key program committees for the International Conference on Software Engineering and Knowledge Engineering (SEKE) in 2017 and 2020, and continues as a member of the ACMSE Steering Committee. At Eastern Kentucky University, he has mentored student research projects, including the "Sauron" networked monitoring program for Posters-at-the-Capitol in 2008 and the honors thesis "Video Game Violence and Addiction" by Douglas K. Peterson. As department chair, he leads the Computer Science and Information Technology programs within the College of Science, Technology, Engineering, and Mathematics, fostering undergraduate and graduate education in computing disciplines from his office in Wallace 417.