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

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 Postdoc position on Empirical Data-Driven Bug Localisation -- Joint Research Project between Huawei and The Open University Join Huawei R&D for Trusted Programming -- Job Opportunities