倉頡編程語言是一款面向全場景智能化應用開發的現代編程語言，具有原生智能化、天生全場景、高性能，強安全等技術特色，擁有現代語言特性的集成、全方位的編譯優化和運行時實現、簡潔易用的智能 Agent 聲明式編程框架、以及開箱即用的 IDE 工具鏈支持。
除了派出程序設計語言學術帶頭人馮新宇教授擔任華為編程語言首席專家，南京大學和華為還圍繞下一代程序設計技術開展了長期全面的合作。當前多個團隊依托華為-南京大學軟件新技術聯合實驗室，在泛在操作系統應用開發框架、IDE 代碼提示和智能代碼生成技術、程序分析框架和工具、跨語言互操作和代碼轉換工具等方面開展聯合研發，共同為倉頡編程語言構建軟件生態環境。
南京大學官網顯示，馮新宇教授于 1999 年獲得南京大學計算機科學學士學位，2002 年獲得南京大學計算機科學碩士學位，2007 年獲得耶魯大學計算機科學博士學位。
馮新宇教授的介紹顯示，他的研究興趣是形式方法和編程語言領域。他對開發理論、編程語言和工具并構建經過正式認證的系統軟件特別感興趣，并嚴格保證安全性和正確性。
此外，他曾在南京大學、香港理工大學計算機系、AT&T 香農實驗室、耶魯大學計算機科學系、芝加哥豐田技術研究所、三星電子(中國)研究中心、丹麥技術大學(DTU)、中科大?耶魯高可信軟件聯合研究中心、中國科大?國創高可信軟件工程中心、中國科學技術大學(USTC)任職，于 2018 年回到南京大學任教。
海報生成中...
ITBees科技資訊&itbees.com.cn ©2009-2024 京ICP備18037198號-6 
京
ITBees科技資訊專注新科技新經濟 新商業新經濟生態價值發現平臺