Dr. Changwook Kim

EDUCATION
PhD, Computer Science, Northwestern University
MS, Computer Science, Pennsylvania State University
BS, Applied Mathematics, Seoul National University

EXPERIENCE
Professor, University of Oklahoma
Associate Professor, University of Oklahoma
Assistant Professor, University of Oklahoma
Systems Programmer, Korea Telecommunications, Seoul, Korea

RESEARCH INTERESTS
Discrete structures, algorithms and complexity, formal languages and automata, parsing theory, programming languages and compilers, artificial intelligence, graph and picture languages, and biomolecular computing.

BIOGRAPHY
Dr. Changwook Kim received his BS degree in Applied Mathematics from Seoul National University in 1975, his MS degree in Computer Science from Penn State University in 1982 and his PhD degree in Computer Science from Northwestern University in 1986. He served in the Korean Navy from 1975 to 1978, as a navigation officer (1975-1976) and a systems analyst in the Operations Research Group, Korea Navy Headquarters (1976-1978). He worked as a systems programmer in Korea Telecommunications Company, Seoul, Korea, from 1978 to 1980. Dr. Kim has been with the University of Oklahoma School of Computer Science since 1986, where he is currently a professor. His areas of research include Algorithms and Complexity, Formal Languages and Automata, Artificial Intelligence, Programming Languages and Compilers. He has been publishing in journals such as Theoretical Computer Science, Journal of computer and Systems Sciences, and Information and Computation. He is a member of the Association for Computing Machinery, its special interest groups SIGACT (Algorithms and Computation Theory) and SIGART (Artificial Intelligence), and the European Association for Theoretical Computer Science.

AWARDS, HONORS & PROFESSIONAL ACTIVITIES
Faculty Appeals Board

Graduate College Appeals/Misconduct Panels

Graduate Council 

College of Engineering Academic Misconduct & Grade Appeal Board

Graduate Liaison

Undergraduate Advising Committee (Chair)

SELECTED PUBLICATIONS
Changwook Kim, Quasi-Rocking Real-Time Pushdown Automata, Theoretical Computer Science 412, 6720-6735 (2011).

Changwook Kim, On The Structure of Linear Apex NLC Graph Grammars, Theoretical Computer Science, in press.

Changwook Kim and Mahiro Ando, Node replacement graph grammars with dynamic node relabeling, Theoretical Computer Science 583 (2015), 40-50.