Trusted Programming

We are leading the smooth transition towards more trustworthy software engineering through innovative R&D in programming theory, e.g., lambda calculus-based functional programming, deep code learning-based intelligent software engineering; programming technology and methods, e.g., model-driven software development (MDSD), domain-specific languages (DSL), and programming tools, e.g., code transpiler, deep code learner, bug localizer, etc.

Blog posts

Reflections on RustConf 2022 Rustconf Reflections Explainer of Deep Code Learning Our Rust Mission at Huawei

Huawei and opensource §

Huawei's opensource contributions Huawei's opensource work in progress
Rust Conference 2021 Huawei is one of the founding contributors to the Rust Foundation The 1st Rust China Conf 2020, Shenzhen, China Full-time PhD on Machine Learning for Software Engineering -- Joint Research Project between Huawei and The Open University (Closing date: 31 March, 2022 - 17:00) Join Huawei R&D for Trusted Programming -- Job Opportunities