Name: | 左正康 |
Professional Title: | Associate Professor |
Research Fields: | Software formalization development research, Generic programming |
E-mail: | kerrykaren@126.com |
Short Bio: | Zhengkang Zuo, Male, born in 1980, Doctor, Master Tutor, member of China Computer Federation, member of ACM. He graduated from the computer department of Jiangxi Normal University in 2004 with a master's degree. In 2011, he graduated from the national key laboratory of computer science of the Chinese academy of sciences. |
Publications: | 1. Zuo ZK, Xue JY. Research on generic constraints of Apla. Ruan Jian Xue Bao/Journal of Software, 2015,26(6):1340−1355 (in Chinese). (EI:20152600981999) 2. Zuo ZK, Xue JY, Wang CJ. Constraint verification of generic algorithmic program for solving general network path problems. Journal of Networks, 2013, 8(5):1050-1057. (EI:20132316405487) 3. Zuo ZK, Xue JY, Wang CJ. Closed Semi-ring Constraint Verification of Generic Kleene Algorithm. Journal of Computational Information Systems, 2013, 9(22):9047-9054. (EI:20135017075158) 4. Zuo ZK, Wang CJ. Research on a new abstract programming language for generic constraints. 2015 International Conference on Artificial Intelligence and Industrial Engineering. Advances in Intelligent Systems Research, 2015,123(7):283-285. (ISTP:000360009400079) 5. Zuo ZK, Xue JY, Wang CJ. Research on Generic Constraints Mechanisms of Apla Language. International Conference on Applied Robotics for the Power Industry, 2012, 1187-1190.(ISTP: 000393821600321) 6. Zuo ZK, You Z, Xue JY. Derivation and Formal Proof of Non-Recursive Postorder Binary-Tree Traversal Algorithm. COMPUTER ENGINEERING & SCIENCE, 2010,32(3):119-123. (in Chinese).(CSCD) 7. You Z, Xue JY, Zuo ZK. Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms. Cluster Computing-The Journal of Networks Software Tools and Applications. 2016, 19(4):2145-2156(SCI: 000388972000035) 8. Wang CJ, Luo HM, Zuo ZK. Formal Software Specification Generation Approach Based on Problem Patterns. 2013,50(2):352-360. (in Chinese) (EI:20131216135871) 9. Wang CJ, Xue JY, Zuo ZK. SRLtoRadl Generation System and Its Category Semantics. 2014,42(1):137-143. (EI:20141017430883) |
Projects: | 1. Research of Generic Constraints Based on Algebraic Structures and Axiomatic Semantics. National natural science foundation project(61462039), 2015.1--2018.12. 2. The method and application of generic constraint in Apla. Jiangxi natural science foundation project(20142BAB217023), 2014.1--2015.12 3. Research and application of Apla generic constraint method based on PAR.The Science and technology project of Jiangxi provincial education department (GJJ14268), 2014.1--2014.12 4. Study on general validation and generation method of generic algorithm on tree and graph.The Science and technology project of Jiangxi provincial education department (GJJ150349), 2015.1—2018.12 |
Personal profile: |