Yuxin Deng

Un enfoque nuevo para asegurar que los programas cuánticos y clásicos combinados sean correctos.

Trusta y los TDTs mejoran el proceso de crear casos de garantía para la seguridad del sistema.

Analizando problemas de terminación en programas cuánticos no deterministas usando técnicas matemáticas.