Huaweis Hilbert Research Center is a product-motivated research and development center. We do research on industrial formal methods, weak memory model and concurrency, parallelization, and the full systems stack from hardware over operating system to web/rendering engines.
At Huawei Hilbert Research Center (Dresden), our mission is to explore operating system, Web, concurrency, virtualization technologies on multicore heterogeneous architectures, aiming to provide a high-performance, reliable abstraction layer for efficient resource utilization. Collaborating with top universities
Huaweis Hilbert Research Center is a product-motivated research and development center. We do research on industrial formal methods, weak memory model and concurrency, parallelization, and the full systems stack from hardware over operating system to web/rendering engines.