Changwook Kim

Professor

Email: ckim@ou.edu
Phone: (405) 325-4281
Office: Devon Energy Hall Room 253

Education
Ph.D., Computer Science
Northwestern University
M.S., Computer Science
Pennsylvania State University
B.S., Applied Mathematics
Seoul National University, South Korea

Research Focus

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

Experience and Awards

Professor, University of Oklahoma
Associate Professor, University of Oklahoma
Assistant Professor, University of Oklahoma
Systems Programmer, Korea Telecommunications, Seoul, Korea
Faculty Appeals Board
Graduate College Appeals/Misconduct Panels
Graduate Council
College of Engineering Academic Misconduct & Grade Appeal Board
Graduate Liaison
Undergraduate Advising Committee (Chair)

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.

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.