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
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
Wenn du schon mal eine CAD-Zeichnung gesehen hast und dachtest: „Da steckt doch mehr drin als nur Linien und Maße“, dann wirst du dich bei uns schnell zu Hause fühlen. Denn genau das glauben wir auch!