John W. Case

Department of Computer and Information Sciences

University of Delaware

101A Smith Hall
Newark, DE 19716-2586

Phone: (302) 831-2714
Fax: (302) 831-4091

  • B.S., Physics (with honors), Iowa State University, 1964
    M.S., Mathematics, University of Illinois in Champaign-Urbana, 1966
    Ph.D., Mathematics, University of Illinois in Champaign-Urbana, 1969

Research Overview:

Dr. Case is best known for his work in Gold-style computational learning theory and inductive inference and for his work on machine self-reference and recursion theorems. His research also includes the application of recursion-theoretic techniques to the theoretical study of the structure, succinctness, and complexity of programs, both in general and in subrecursive settings. He is additionally interested in interconnection scheme, processor, and algorithm design for multi-dimensional lattice computers with application to the analogical representation of motion in space. He has also recently begun working inmachine learning applied to bioinformatics. Dr. Case is on the Editorial Board of the Journal for Universal Computer Science.

Since 1989 Dr. Case has been at The University of Delaware and was Chair of the department 1989-1994. Previously he was in the Computer Science Departments of SUNY at Buffalo 1973-1989 and of The University of Kansas 1969-1973. He was Visiting Professor of Computer Science at The University of Rochester in NY 1987-1988, Associate Dean in the Faculty of Natural Science and Mathematics at SUNY Buffalo, 1985, Visiting Associate Professor of Computer Science at Courant Institute, New York University and Visiting Fellow in Computer Science at Yale University 1980-1981, and a National Science Foundation Graduate Fellow in Mathematics at The University of Illinois 1966-1969.