Chenxi Fu

Los nuevos detectores 4H-SiC ofrecen mejor rendimiento en entornos de alta radiación.

Un nuevo sistema de tipos mejora la generación de C++ a partir de especificaciones de Isabelle/HOL, aumentando la precisión.