Professor Feng Xinyu: The person behind Huawei’s Next-Generation Programming Language “Cangjie”

At the HDC 2024 Huawei Developer Conference keynote yesterday, Gong Ti, President of Huawei’s Consumer BG Software Department, officially announced Huawei’s self-developed Cangjie programming language. The language, which has undergone five years of research and development, is now open for developer previews.

Huawei initiated the Cangjie programming language project in 2019, with Professor Feng Xinyu of the Department of Computer Science and Technology at Nanjing University serving as the chief architect, leading the Huawei Programming Language Laboratory in the project’s development.

Cangjie is a modern programming language designed for the development of intelligent applications across all scenarios, featuring native intelligence, inherent full-scenario capabilities, high performance, and strong security. It integrates modern language features, offers comprehensive compilation optimization and runtime implementation, a simple and easy-to-use declarative programming framework for intelligent agents, and out-of-the-box support for IDE toolchains.

In addition to appointing Professor Feng Xinyu, an academic leader in programming languages, as Huawei’s chief expert in programming languages, Nanjing University and Huawei have engaged in long-term comprehensive cooperation on next-generation programming technologies. Currently, multiple teams are relying on the Huawei-Nanjing University Joint Laboratory for New Software Technologies to conduct joint research in areas such as ubiquitous operating system application development frameworks, IDE code hinting and intelligent code generation technologies, program analysis frameworks and tools, cross-language interoperability and code conversion tools, and are jointly building a software ecosystem for the Cangjie programming language.

According to the Nanjing University website, Professor Feng Xinyu received his bachelor’s degree in computer science from Nanjing University in 1999, his master’s degree in computer science from Nanjing University in 2002, and his Ph.D. in computer science from Yale University in 2007. Professor Feng’s profile indicates that his research interests lie in the fields of formal methods and programming languages. He is particularly interested in developing theories, programming languages, and tools to build formally certified system software with strict guarantees of safety and correctness.

In addition, he has held positions at Nanjing University, the Department of Computer Science at Hong Kong Polytechnic University, AT&T’s Shannon Laboratory, the Department of Computer Science at Yale University, the Toyota Technological Institute at Chicago, Samsung Electronics (China) Research Center, the Technical University of Denmark (DTU), the USTC-Yale Joint Research Center for High-Assurance Software, the USTC-Guochuang High-Assurance Software Engineering Center, and the University of Science and Technology of China (USTC), returning to teach at Nanjing University in 2018.