EECS Department

Professor Zhang's research interests broadly lie in theoretical and applied computer science. They include domain theory and programming languages, formal concept analysis and document classification/navigation, partial information and secure information flow, digital topology, image processing and phenotyping, as well as web application development using Zope and Plone.

Professor Zhang received his Ph.D. in Computer Science from Cambridge University, England in 1990. He was a Research Associate at Aarhus University in Denmark from 1988 to 1989. He joined the University of Georgia in 1989 as an Assistant Professor in Computer Science. He was promoted to Associate Professor with tenure in 1996 at the completion of a five-year residence; during his two-year (1991-1993) research leave from University of Georgia Dr. Zhang was Research Assistant Professor at the AI Laboratory of the University of Michigan, Ann Arbor. He was a Visiting Associate Professor at Case's CS Department from 1998 to 1999 before formally joining Case's EECS Department in 2000.

Professor Zhang is internationally known for his work in domain theory. He is a founding member of the conference series International Symposium on Domain Theory and the Editor-in-Chief of Springer's bookseries “Semantics in Computation”. He is the author of a Birkhauser research monograph “Logic of Domains”, and an editor of two edited books on domains, topology, and computation. Professor Zhang has over 50 publications in leading computer science journals such as Theoretical Computer Science, Information and Computation, and conferences such as ICALP, MFPS, LICS, and AAAI. He has served on over 10 conference program committees.

Professor Zhang received Glennan Fellowship from the Case Center for Instruction and Teaching Excellence during 2000-2001 and enjoys research interactions with students.

1. GQ Zhang and W. Rounds. Reasoning with power defaults. Theoretical Computer Science, Vol. 323/1-3, pp 321-350, 2004.
2. GQ Zhang, J. Staiger, G. Shen, A. Troy, and J. Sun. Web-menu design using formal concept analysis. In Pfeiffer Wolff and Delugach (Eds.) Conceptual Structures at Work, Shaker Verlag, pp 141-145, 2004.
3. P. Hitzler and GQ Zhang. A cartesian closed category of approximable concepts. Proceedings of 12th International Conference on Conceptual Structures, Huntsville, AL, July 2004, Lecture Notes in Artificial Intelligence Vol 3127, pp 170-185, 2004.
4. GQ Zhang. Compact coverages generate spectral frames. Electronic Notes in Theoretical Computer Science, Vol. 83, 7 pages, 2004.
5. GQ Zhang. Chu spaces, concept lattices, and domains. Electronic Notes in Theoretical Computer Science, Vol. 83, 17 pages, 2004.
6. GQ Zhang and G. Shen. Approximable concepts, algebraic lattices, and information systems. Theory and Applications of Categoiries. Special Issue on Chu Spaces, V. de Paiva, V. Pratt (eds.), accepted.
7. GQ Zhang, J. Lawson, Y. Liu, and M.-K. Luo (eds). Domain Theory, Logic, and Computation. Kluwer Academic Publishers, 2003.
8. T. Coquand and GQ Zhang. A representation of stably compact spaces, and patch topology. Theoretical Computer Science, Vol. 305, pp 77-84, 2003.
9. M. Droste and GQ Zhang. On transformations of formal power series. Information and Computation, Vol. 184, pp 369-383, 2003.
10. GQ Zhang. Domain mu-calculus. Theoretical Informatics and Applications, Vol 37, pp 337-364, 2003

For more information please visit http://newton.case.edu.