Neng-Fa Zhou 
Faculty of Computer Science and Systems Engineering
Kyushu Institute of Technology
680-4 Kawazu, Iizuka, FUKUOKA 820-8502, JAPAN
zhou@mse.kyutech.ac.jp
Tel.+81-948-29-7774
Fax.+81-948-29-7760 eFax. (603) 307-0279
Background |
Research |
Selected publications |
Teaching |
Professional memberships
B-Prolog |
Declarative Java |
Hobbies |
Useful links |
Useful commands |
Japenese version
I am an Associate Professor of computer science at
Kyushu Institute of Technology.I received a BS degree in computer science from
Nanjing University,
China, in 1984, and MS and PhD degrees in computer engineering from
Kyushu University,
Japan, in 1988 and 1991, respectively. During April, 1997 and October, 1997, I was a visiting scholar at
Yale University, USA.
I am interested in the design, implementation, and applications of Constraint
Logic Programming (CLP) languages. Programming languages will progress towards
higher levels of abstractions that will allow programmers to describe more
about "what" to do than about "how" to do it.
We have witnessed remarkable progress of programming languages in this direction, from assembly languages to C, and from C to Java. This trend will never stop. CLP requires programmers to describe only the relations among variables, and
not the algorithms necessary to satisfy the relations.
Because of this declarativeness, CLP can greatly improve the productivity
and maintainability of software. I agree that CLP will never replace
procedural languages like C and Java, but I believe it will be widely used
in industry in the near future.
Most of my research time has been spent in designing and implementing efficient
abstract machines and compilation algorithms for Prolog and constraints.
I have also jointly developed several applications of CLP to VLSI design and
Graphical User Interface (GUI) design.
The research results include
B-Prolog
, a compact but complete and efficient
compiler for Prolog and finite-domain constraints,
CLP-Router
, a multi-layer channel router, and
DJ
, a constraint language based on
Java for developing applets declaratively.
Have a look at the list of publications on
the DBLP server.
- "DJ: A Java-based Constraint Language and System",
Proc. of the Annual JSSST conference, 1998 (Neng-Fa Zhou, Sousuke Kaneko, and Kouji Yamauchi).
- "A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints",
Proc. Joint International Conference and Symposium on Logic Programming, pp.70-84, MIT Press, 1998 (Neng-Fa Zhou).
- "Parameter Passing and Control Stack Management in Prolog Implementation Revisited"
ACM Transactions on Programming Languages and Systems, Vol18, No6, pp.752-779, November, 1996 (Neng-Fa Zhou).
- "A Novel Implementation Method for Delay"
Joint Internatinal Conference and Symposium on Logic Programming, pp.97-111, MIT Press, 1996 (Neng-Fa Zhou).
- "Channel Routing with Constraint Logic Programming and Delay"
The 9th International Conference on Industrial Applications of AI, pp.217-231, Gordon and Breach Science Publishers, 1996 (Neng-Fa Zhou)
- "On Translating Prolog Programs into C" (In Japanese),
JIPS Transactions on Information Processing,
Vol. 37, No.6, pp.1130-1137, 1996 (K. Katamine, T. Hirota, N.F. Zhou, and Isao Nagasawa).
- "A Logic Programming Approach to Channel Routing",
Proc. 12th International Conference on Logic Programming,
MIT Press,pp.217-231, 1995 (Neng-Fa Zhou).
- "On the Scheme of Passing Arguments in Stack Frames
for Prolog",
Proc. Eleventh International Conference on Logic Programming,
MIT Press, pp.159-174, 1994 (Neng-Fa Zhou).
- "An Efficient Finite-domain Constraint Solver in Beta-Prolog",
Journal of Japanese Society for Artificial Intelligence,
Vol.9, pp.275-282, 1994 (N.F. Zhou and I. Nagasawa).
.
- "Global Optimizations in a Prolog Compiler for the TOAM",
Journal of Logic Programming, pp.275-294, 1993 (Neng-Fa Zhou).
- "Beta-Prolog: An Exted Prolog with Boolean Tables
for Combinatorial Search",
Proc. 5th IEEE International Conference on Tools with Artificial
Intelligence, IEEE Computer Society, pp.312-319,
November 1993 (Neng-Fa Zhou).
- "Bidirectional Inference of Mode Information for Logic Programs",
Trans. IEICE Japan, Vol.J73-DI,No.2, 1990 (In Japanese),
English version appears in ``Systems and Computers in Japan'',
Vol.5, No.1, 1991 (N.F. Zhou: T. Takagi, and K.Ushijima).
- "A Matching Tree Oriented Abstract Machine for Prolog",
Proc. 7th International Conference on Logic Programming,
MIT Press, pp.159-173, 1990 (N.F. Zhou: T. Takagi, and K.Ushijima).
- prtscrn(95) -- save the screen into the buffer
- alt-prtscrn(95) -- save a window into the buffer
- B-O -- Switch Debug and Release in Microsoft Developer Studio
- Sports including tennis, table tennis, jogging, and swimming.
- Karaoka
- Wiqi(GO) and Chinese chess
- SAKE
Background