معرفی
Neng-Fa Zhou is a Professor of Computer and Information Science at Brooklyn College and the Graduate Center of the City University of New York (CUNY). He holds a BS from Nanjing University (1984), and MS and PhD from Kyushu University (1988, 1991). Before joining CUNY, he served as an Associate Professor at Kyushu Institute of Technology (1991-1999) and held visiting positions at Yale, Alberta, Tokyo Tech, and Melbourne.
- Specializes in programming languages, constraint logic programming, and compiler design
- Developed Picat and B-Prolog languages with constraint-based graphics libraries
- Contributed to SAT encodings, multi-agent pathfinding, and declarative programming
Scientific Awards:
- Most Practical Paper Award at PADL 2017
- Award in ASP Solver Competition for BPSolver (2011)
۰مقاله منتشرشده
